感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

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

所蔵数 3 在庫数 2 予約数 0

書誌情報サマリ

書名

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

著者名 小島寛之／著
出版者 技術評論社
出版年月 2017.2
請求記号 4109/00068/

この資料に対する操作

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

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

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

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

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0237109400一般和書１階開架　貸出中 
2 瑞穂2932196443一般和書一般開架　在庫 
3 名東3332406135一般和書一般開架　在庫 

関連資料

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

書誌詳細

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

請求記号 4109/00068/
書名 証明と論理に強くなる　論理式の読み方から、ゲーデルの門前まで 　(知の扉シリーズ)
著者名 小島寛之／著
出版者 技術評論社
出版年月 2017.2
ページ数 351p
大きさ 19cm
シリーズ名 知の扉シリーズ
ISBN 4-7741-8664-1
ISBN 978-4-7741-8664-1
分類 41096
一般件名 記号論理学 　 証明(数学)
書誌種別 一般和書
内容紹介 たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。
書誌・年譜・年表 文献:p346〜347
タイトルコード 1001610086412

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


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。