書誌詳細
この資料の書誌詳細情報です。
タイトルコード |
1000001004075 |
書誌種別 |
図書 |
著者名 |
石原哉/著
|
出版者 |
共立出版
|
出版年月 |
2023.3 |
ページ数 |
8,218p |
大きさ |
21cm |
ISBN |
978-4-320-11489-0 |
分類記号 |
410
|
書名 |
証明作法 |
書名ヨミ |
ショウメイ サホウ |
副書名 |
論理の初歩から証明の実践へ |
内容紹介 |
数学の授業でのオンザジョブトレーニングで学ぶことの多い証明の書き方を解説。論理の初歩から始まり、自然演繹と呼ばれる形式化に基づいて、日本語表現に近い形で証明の構成法をできるだけ丁寧に説明する。 |
著者紹介 |
東京工業大学大学院理工学研究科情報科学専攻博士課程中途退学。理学博士(同大学)。北陸先端科学技術大学院大学先端科学技術研究科教授。 |
件名1 |
証明(数学)
|
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
No. |
所蔵館 | 資料番号 | 請求記号 | 配架場所 | 帯出区分 | 状態 |
貸出 |
1 |
県立図 | 010526358 | 410/230/ | 一般開架 | 帯出可 | 在庫 | ○ |
もどる