証明作法 論理の初歩から証明の実践へ [ 石原 哉 ]
AD
24-09-17 16:00
【楽天ブックスならいつでも送料無料】論理の初歩から証明の実践へ 石原 哉 共立出版ショウメイサホウ イシハラ ハジメ 発行年月：2023年03月25日 予約締切日：2023年01月25日 ページ数：232p サイズ：単行本 ISBN：9784320114890 石原哉（イシハラハジメ） 1988年東京工業大学大学院理工学研究科情報科学専攻博士課程中途退学。現在、北陸先端科学技術大学院大学先端科学技術研究科教授、理学博士（東京工業大学）。専門：構成的数学、数理論理学（本データはこの書籍が刊行された当時に掲載されていたものです） 第1部 論理と証明（命題とは／命題と証明（1）／命題と証明（2）／否定と背理法／述語と証明）／第2部 証明の実践（集合とその構成／関係／写像／同値関係と順序／圏論への誘い） 本 科学・技術 数学
コメントを投稿するにはログインしてください。
