証明作法 : 論理の初歩から証明の実践へ
著者
書誌事項
証明作法 : 論理の初歩から証明の実践へ
共立出版, 2023.3
- タイトル別名
-
The practice of proof writing : from the elements of logic to proofs
- タイトル読み
-
ショウメイ サホウ : ロンリ ノ ショホ カラ ショウメイ ノ ジッセン エ
大学図書館所蔵 全86件
この図書・雑誌をさがす
注記
参考文献: p[194]-195
内容説明・目次
目次
- 第１部 論理と証明（命題とは；命題と証明（１）；命題と証明（２）；否定と背理法；述語と証明）
- 第２部 証明の実践（集合とその構成；関係；写像；同値関係と順序；圏論への誘い）
「BOOKデータベース」 より