所蔵

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

所蔵館	所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般	一般資料室	410/2023/	00012770129	和書	帯出可	在庫

ページの先頭へ

資料詳細

タイトル	証明作法 ,
書名ヨミ	ショウメイ サホウ
副書名	論理の初歩から証明の実践へ
著者	石原 哉 ／著
著者名ヨミ	イシハラ,ハジメ
出版者	共立出版
出版年	2023.3
ページ数, 大きさ	8,218p, 21cm
NDC１０版	410
一般件名	証明(数学)
ISBN	978-4-320-11489-0
著者紹介	東京工業大学大学院理工学研究科情報科学専攻博士課程中途退学。理学博士(同大学)。北陸先端科学技術大学院大学先端科学技術研究科教授。
内容紹介	数学の授業でのオンザジョブトレーニングで学ぶことの多い証明の書き方を解説。論理の初歩から始まり、自然演繹と呼ばれる形式化に基づいて、日本語表現に近い形で証明の構成法をできるだけ丁寧に説明する。

ページの先頭へ