資料詳細

【図書】 証明作法

論理の初歩から証明の実践へ --
石原哉／著 -- 共立出版 -- ２０２３．３ -- ２１ｃｍ -- ２１８ｐ

タイトル	証明作法
副書名	論理の初歩から証明の実践へ
著者名等	石原哉／著
出版	共立出版２０２３．３
大きさ等	２１ｃｍ２１８ｐ
分類	410
件名	証明（数学）
注記	欧文タイトル：Ｔｈｅ　Ｐｒａｃｔｉｃｅ　ｏｆ　Ｐｒｏｏｆ　Ｗｒｉｔｉｎｇ
注記	文献あり　索引あり
著者紹介	１９８８年、東京工業大学大学院理工学研究科情報科学専攻博士課程中途退学。現在、北陸先端科学技術大学院大学先端科学技術研究科教授。理学博士（東京工業大学）。専門、構成的数学、数理論理学。（本データはこの書籍が刊行された当時に掲載されていたものです）
目次	第１部　論理と証明（命題とは；命題と証明（１）；命題と証明（２）；否定と背理法；述語と証明）；第２部　証明の実践（集合とその構成；関係；写像；同値関係と順序；圏論への誘い）
ISBN(13)、ISBN	978-4-320-11489-0　　 4-320-11489-2
書誌番号	1122041436
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1122041436

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	４階自然科学 Map		410	一般書	利用可	-	2074354060