図書 電子書籍・電子雑誌
書影書影書影

証明作法 : 論理の初歩から証明の実践へ

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

証明作法 : 論理の初歩から証明の実践へ

資料種別
図書 電子書籍・電子雑誌
著者
石原 哉 著・文・その他
出版者
-
出版年
-
資料形態
デジタル
ページ数・大きさ等
-
NDC
-
すべて見る

資料詳細

要約等:

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

書店で探す

目次

  • 第I部 論理と証明

  • 第1章 命題とは

  • 1.1 命題と真理値

  • 1.2 命題の構成

  • 1.3 真理値表と恒真な命題

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
図書
電子書籍・電子雑誌
ISBN
9784320952829
タイトルよみ
ショウメイサホウ : ロンリノショホカラショウメイノジッセンヘ
著者・編者
石原 哉 著・文・その他
著者標目
石原 哉 イシハラ ハジメ
出版地(国名コード)
JP
本文の言語コード
jpn
対象利用者
一般
資料の内容に関する注記
ジャンル : 文芸