資料詳細

  • 1 件中、 1 件目

証明と論理に強くなる

小島 寛之／著 -- 技術評論社 -- 2017.2 -- 410.96

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 Ａ０４Ｂ 主配架/410.96/ｺｼﾞﾏ*ﾋ/ 10214868740 一般図書 書架 iLisvirtual

ページの先頭へ

資料詳細

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

ページの先頭へ