資料詳細

  • 1 件中、 1 件目

証明と論理に強くなる   貸出可

小島 寛之／著 -- 技術評論社 -- 2017.2 -- 410.96  (知の扉シリーズ )

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
科学産業 /410/Ｋｏ３９/ 0010016418789 一般図書 書架

ページの先頭へ

資料詳細

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

ページの先頭へ

著者紹介

著者紹介１－１ 1958年東京都生まれ。東京大学大学院経済学研究科博士課程単位取得退学。経済学博士。帝京大学経済学部経済学科教授。専門は数理経済学。著書に「無限を読みとく数学入門」など。