資料詳細

  • 1 件中、 1 件目

証明と論理に強くなる 論理式の読み方から、ゲーデルの門前まで

小島 寛之／著

技術評論社 2017.2 (知の扉シリーズ)

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 3Fビジネス /410.96/ｺｼ/ 1108495688 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

ページの先頭へ

資料詳細

タイトル 証明と論理に強くなる
副書名 論理式の読み方から、ゲーデルの門前まで,決定版数理論理学の完全解説
叢書名 知の扉シリーズ
著者 小島 寛之 ／著  
出版者 技術評論社
出版年 2017.2
ページ数 351p
大きさ 19cm
一般件名 記号論理学 , 証明(数学)
NDC分類(9版) 410.96
内容紹介 たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。
ISBN 4-7741-8664-1

ページの先頭へ