2025/05/13
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| 書名｡ |
証明と論理に強くなる(ショウメイ/ト/ロンリ/ニ/ツヨク/ナル)｡
|
| 副書名｡ |
論理式の読み方から、ゲーデルの門前まで(ロンリシキ/ノ/ヨミカタ/カラ/ゲーデル/ノ/モンゼン/マデ)｡
|
| 決定版数理論理学の完全解説(ケッテイバン/スウリ/ロンリガク/ノ/カンゼン/カイセツ)｡
|
| 著者名等｡ |
小島/寛之‖著(コジマ,ヒロユキ)｡
|
| 出版者｡ |
技術評論社／東京｡
|
| 出版年｡ |
2017.2｡
|
| ページと大きさ｡ |
351p／19cm｡
|
| シリーズ名｡ |
知の扉シリーズ｡
|
| 件名｡ |
記号論理学｡
|
| 証明(数学)｡
|
| 分類｡ |
NDC8 版：410.96｡
|
| NDC9 版：410.96｡
|
| NDC10版：410.96｡
|
| ISBN｡ |
978-4-7741-8664-1｡
|
| 価格｡ |
¥1780｡
|
| タイトルコード｡ |
1000001010071｡
|
| 内容紹介｡ |
たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。｡
|
| 著者紹介｡ |
1958年東京都生まれ。東京大学大学院経済学研究科博士課程単位取得退学。経済学博士。帝京大学経済学部経済学科教授。専門は数理経済学。著書に「無限を読みとく数学入門」など。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料 ｡ |
貸出可能な資料｡ |
貸出中の資料（割当または回送中含む） ｡ |
予約件数（割当含む）｡ |
- 所蔵数
- 1 冊
|
館内でのみ利用可能な資料 - 0 冊
|
- 貸出可能な資料｡
- 1 冊
|
貸出中の資料（割当または回送中含む） - 0 冊
|
- 予約件数（割当含む）
- 0 件
|
このページのURL：https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1000001010071