検索結果書誌詳細

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報

書名

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

著者名 小島 寛之/著
出版者 技術評論社
出版年月 2017.2


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


マイ本棚へ追加ログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0180076473410.9/コ/1階図書室51A一般図書一般貸出在庫  

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

小島 寛之
2017
410.96 410.96
記号論理学 証明(数学)

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1008001122770
書誌種別 図書
書名 証明と論理に強くなる 論理式の読み方から、ゲーデルの門前まで  知の扉シリーズ  
書名ヨミ ショウメイ ト ロンリ ニ ツヨク ナル 
著者名 小島 寛之/著
著者名ヨミ コジマ ヒロユキ
出版者 技術評論社
出版年月 2017.2
ページ数 351p
大きさ 19cm
分類記号 410.96
分類記号 410.96
ISBN 4-7741-8664-1
内容紹介 たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。
著者紹介 1958年東京都生まれ。東京大学大学院経済学研究科博士課程単位取得退学。経済学博士。帝京大学経済学部経済学科教授。専門は数理経済学。著書に「無限を読みとく数学入門」など。
件名 記号論理学、証明(数学)
言語区分 日本語

(他の紹介)内容紹介 論理式が難しく思えるのは単に慣れていないからだった!たった6個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。論理学の金子塔ゲーデルの定理の入口までご案内。
(他の紹介)目次 第1部 論理式に慣れよう
第2部 証明するとは何をすることか
第3部 自然数を舞台に公理系を学ぶ
第4部 ゲーデルの定理の予告編で終わる
(他の紹介)著者紹介 小島 寛之
 1958年東京都生まれ。東京大学理学部数学科卒業。同大学院経済学研究科博士課程単位取得退学。経済学博士。現在、帝京大学経済学部経済学科教授。専攻は数理経済学、意志決定理論。数学エッセイストとしても多方面で活躍しており、そのわかりやすい語り口には文系・理系の読者を問わず定評がある(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。