資料詳細

  • 1 件中、 1 件目

証明作法 貸出可

石原 哉／著 -- 共立出版 -- 2023.3 -- 410

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 貸出区分 状態 備考
仮設公開  410-イハ-2023 5106389417 一般 　 利用可 iLisvirtual

ページの先頭へ

資料詳細

タイトル 証明作法 
副タイトル 論理の初歩から証明の実践へ
著者 石原 哉／著 
出版地 東京
出版者 共立出版
出版年 2023.3
ページ数 8,218p
大きさ 21cm
一般件名 証明(数学)
NDC分類(10版) 410
NDC分類(9版) 410
ISBN 4-320-11489-0   国立国会図書館   カーリル   GoogleBooks
ISBN(新) 978-4-320-11489-0
内容紹介 数学の授業でのオンザジョブトレーニングで学ぶことの多い証明の書き方を解説。論理の初歩から始まり、自然演繹と呼ばれる形式化に基づいて、日本語表現に近い形で証明の構成法をできるだけ丁寧に説明する。

ページの先頭へ