資料詳細

  • 1 件中、 1 件目

【図書】 証明と論理に強くなる

論理式の読み方から、ゲーデルの門前まで -- 知の扉シリーズ --
小島寛之 ／著   -- 技術評論社 -- ２０１７．２ -- １９ｃｍ -- ３５１ｐ

資料詳細

タイトル 証明と論理に強くなる
副書名 論理式の読み方から、ゲーデルの門前まで
シリーズ名 知の扉シリーズ
著者名等 小島寛之 ／著  
出版 技術評論社 ２０１７．２
大きさ等 １９ｃｍ ３５１ｐ
分類 410.96
件名 記号論理学 , 証明（数学）
注記 文献あり　索引あり
著者紹介 １９５８年東京都生まれ。東京大学理学部数学科卒業。同大学院経済学研究科博士課程単位取得退学。経済学博士。現在、帝京大学経済学部経済学科教授。専攻は数理経済学、意志決定理論。数学エッセイストとしても多方面で活躍しており、そのわかりやすい語り口には文系・理系の読者を問わず定評がある。主な著書に『使える！経済学の考え方』（ちくま新書）など多数。（本データはこの書籍が刊行された当時に掲載されていたものです）
内容紹介 論理式が難しく思えるのは、単に慣れていないからだった。たった６個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する。
要旨 論理式が難しく思えるのは単に慣れていないからだった！たった６個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。論理学の金子塔ゲーデルの定理の入口までご案内。
目次 第１部　論理式に慣れよう；第２部　証明するとは何をすることか；第３部　自然数を舞台に公理系を学ぶ；第４部　ゲーデルの定理の予告編で終わる
ISBN(13)、ISBN 978-4-7741-8664-1　　 4-7741-8664-3
書誌番号 1113449277

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2058059288 iLisvirtual
保土ケ谷 公開 410 一般書 貸出中 - 2058144102 iLisvirtual
旭 公開 Map 410 一般書 利用可 - 2058066128 iLisvirtual
金沢 書庫 410 一般書 利用可 - 2058079858 iLisvirtual
港北 公開 Map 410 一般書 利用可 - 2064186640 iLisvirtual
山内 公開 Map 410 一般書 利用可 - 2058137505 iLisvirtual

ページの先頭へ