2025/08/11
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| タイトル｡ |
論理と計算のしくみ(ロンリ ト ケイサン ノ シクミ)｡
外部サイトで調べる: 
|
| 著者名等｡ |
萩谷昌己∥著(ハギヤ,マサミ)｡
|
| 西崎真也∥著(ニシザキ,シンヤ)｡
|
| 出版者｡ |
岩波書店／東京｡
|
| 出版年｡ |
2007.6｡
|
| ページと大きさ｡ |
256p／22cm｡
|
| 件名｡ |
数学基礎論｡
|
| 分類｡ |
NDC8 版：410.9｡
|
| NDC9 版：410.9｡
|
| ISBN｡ |
978-4-00-006191-9｡
|
| 4-00-006191-7｡
|
| 価格｡ |
3400円｡
|
| タイトルコード｡ |
1104686560｡
|
| 内容紹介｡ |
命題論理・述語論理など形式論理の基礎を学んだ後、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算をつなぐ「仕組み」を理解する。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料｡ |
貸出可能な資料｡ |
貸出中の資料｡ |
予約数｡ |
- 所蔵数
- 2 冊
|
- 館内でのみ利用可能な資料
- 0 冊
|
- 貸出可能な資料｡
- 2 冊
|
- 貸出中の資料
- 0 冊
|
- 予約数
- 0 件
|
| 番号｡ |
資料番号｡ |
所蔵館｡ |
配架場所（配架案内）｡ |
請求記号｡ |
状態｡ |
| 1｡ |
- 資料番号：
- 1015045949｡
|
- 所蔵館：
- 福井県立図書館｡
|
- 配架場所：
- 自然科学(緑)4自然科学(緑)4｡
|
- 請求記号：
- 410.9/ﾊｷﾔ｡
|
- 状態：
- 在架｡
|
| 2｡ |
- 資料番号：
- 2012145161｡
|
- 所蔵館：
- 若狭図書学習センター｡
|
- 配架場所：
- 棚番号１０棚番号１０｡
|
- 請求記号：
- 410.9/ﾊｷﾔ｡
|
- 状態：
- 在架｡
|
このページのURL：http://www.library-archives.pref.fukui.lg.jp/wo/opc_srh/srh_detail/1104686560