証明作法 = The Practice of Proof Writing : 論理の初歩から証明の実践へ

• 資料種別: 図書
• ISBN: 978-4-320-11489-0
• タイトル: 証明作法 : 論理の初歩から証明の実践へ
• タイトルよみ: ショウメイ サホウ
• 著者・編者: 石原哉 著
• 著者標目: 著者 ： 石原, 哉 イシハラ, ハジメ ( 032757900 )典拠
• 出版事項: 東京 : 共立出版 (出版)
• 出版年月日等: 2023.3
• 出版年（W3CDTF）: 2023
• 数量: 218p
• 大きさ: 21cm
• 並列タイトル等: The Practice of Proof Writing ロンリ ノ ショホ カラ ショウメイ ノ ジッセン エ; The Practice of Proof Writing
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: 証明 (数学) ショウメイ (スウガク) ( 01190375 )典拠
• NDC10版: 410 : 数学
• NDLC: MA21
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 2700円
• 所蔵機関: 国立国会図書館
• 請求記号: MA21-M322
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 032698499; http://id.ndl.go.jp/bib/032698499
• 全国書誌番号: 23821124
• トーハンMARC番号: 34454100
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: 論理の初歩から始まり、自然演繹と呼ばれる形式化に基づいて、日本語表現に近い形で証明の構成法をできるだけ丁寧に解説。（提供元: 出版情報登録センター（JPRO））

目次

第I部　論理と証明

第1章　命題とは

1.1 命題と真理値

1.2 命題の構成

1.3 真理値表と恒真な命題