「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
数学の授業でのオンザジョブトレーニングで学ぶことの多い証明の書き方を解説。論理の初歩から始まり、自然演繹と呼ばれる形式化に基づいて、日本語表現に近い形で証明の構成法をできるだけ丁寧に説明する。【「TRC MARC」の商品解説】
本書は、「よい証明はわかりやすい」、「よい証明を書きたかったらよい証明をたくさん読むべきである」をモットーとして、数学の授業でオンザジョブトレーニングで学ぶことの多い証明の書き方について解説する書籍である。
前半では、まず論理への導入を行い、それから自然演繹と呼ばれる形式化に基づいて、日本語表現に近い形で証明の構成法をできるだけ丁寧に説明し、述語についても述べる。証明の構造の理解が容易になるよう、プログラミングで用いる字下げを活用している。
後半では、前半で学んだことをベースとして、集合に関係する様々な問題に証明を与えていく。集合演算の基本的性質など、直観的に明らかな命題にも証明を与える。関係、写像、同値関係、順序について説明し、有向完備順序についても簡単に触れ、圏論で締めくくる。
大学で証明を必要とする学生のみでなく、証明の書き方を学びたいすべての人にとって大変重宝する書籍となろう。【商品解説】
目次
- 第I部 論理と証明
- 第1章 命題とは
- 1.1 命題と真理値
- 1.2 命題の構成
- 1.3 真理値表と恒真な命題
- 第2章 命題と証明(1)
- 2.1 仮定と結論
- 2.2 ∧の導入と除去
著者紹介
石原 哉
- 略歴
- 〈石原哉〉東京工業大学大学院理工学研究科情報科学専攻博士課程中途退学。理学博士(同大学)。北陸先端科学技術大学院大学先端科学技術研究科教授。
関連キーワード
あわせて読みたい本
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む