所蔵

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

所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
閲覧室	/410/ｲ/	117326181	成人一般	可能

ページの先頭へ

資料詳細

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

ページの先頭へ