資料詳細

検索条件

  • 著者
    ヘロドトス
ハイライト
  • 1 件中、 1 件目

記号論理・入門 利用可

上江洲忠弘／著 -- 遊星社 -- 199902 -- 1163

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 116.3/ｳｴｽ/一般Ｈ 113823325 一般 利用可

ページの先頭へ

資料詳細

タイトル 記号論理・入門
書名ヨミ キゴウ　ロンリ　ニュウモン
著者名 上江洲忠弘 ／著  
著者ヨミ ウエス，タダヒロ  
出版者 遊星社  
出版年 199902
ページ数等 １９０ｐ
大きさ ２１ｃｍ
内容細目 索引あり
一般件名 記号論理学  
ISBN 4-7952-6888-6
問合わせ番号（書誌番号） 1100400846
NDC8版 1163
内容紹介 記号論理の世界を物語として語りかけた本。対象とする論理を“数学の論証で用いる論理”に限定し、「命題論理」と呼ばれる論理の基本的な部分を対象とした。

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１章　証明の分析
第２章　証明の形式化
第３章　証明可能性と証明図の作成
第４章　命題の真偽と推論規則の正しさ
第５章　形式的論理体系の完全性
第６章　許容推論図
第７章　推件計算

ページの先頭へ