資料詳細

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

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 状態
一般1階 /410.9/コ/ 8134756735 一般 館内有

資料詳細

書名 証明と論理に強くなる
タイトル関連情報 論理式の読み方から、ゲーデルの門前まで
シリーズ名 知の扉シリーズ
著者名 小島 寛之 /著  
出版者 技術評論社
出版年 2017.2
ページ数 351p
大きさ 19cm
一般件名 記号論理学 , 証明(数学)
NDC分類(9版) 410.96
著者紹介 1958年東京都生まれ。東京大学大学院経済学研究科博士課程単位取得退学。経済学博士。帝京大学経済学部経済学科教授。専門は数理経済学。著書に「無限を読みとく数学入門」など。
内容紹介 たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。
ISBN 4-7741-8664-1
ISBN13桁 978-4-7741-8664-1