2025/05/12
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| 書名｡ |
形式論理と計算可能性(ケイシキ/ロンリ/ト/ケイサン/カノウセイ)｡
|
| 著者名等｡ |
蓮尾/一郎‖著(ハスオ,イチロウ)｡
|
| 浅田/和之‖著(アサダ,カズユキ)｡
|
| 東京大学工学教程編纂委員会‖編(トウキョウ/ダイガク)｡
|
| 出版者｡ |
丸善出版／東京｡
|
| 出版年｡ |
2024.9｡
|
| ページと大きさ｡ |
11,192p／21cm｡
|
| シリーズ名｡ |
東京大学工学教程｡
|
| 情報工学｡
|
| 件名｡ |
数学基礎論｡
|
| 分類｡ |
NDC9 版：410.9｡
|
| NDC10版：410.9｡
|
| ISBN｡ |
978-4-621-31014-4｡
|
| 価格｡ |
¥2400｡
|
| タイトルコード｡ |
1000001700076｡
|
| 内容紹介｡ |
情報工学を含む情報関連分野の基礎となる形式論理と計算可能性に関して、理論のユーザーとしての視点でコンパクトに解説。これらの理論を専門分野に応用できるよう、理論展開の動機付けや全体のストーリーの構成に意を尽くす。｡
|
| 著者紹介｡ |
国立情報学研究所アーキテクチャ科学研究系教授。｡
|
| 東北大学電気通信研究所助教。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料 ｡ |
貸出可能な資料｡ |
貸出中の資料（割当または回送中含む） ｡ |
予約件数（割当含む）｡ |
- 所蔵数
- 1 冊
|
館内でのみ利用可能な資料 - 0 冊
|
- 貸出可能な資料｡
- 1 冊
|
貸出中の資料（割当または回送中含む） - 0 冊
|
- 予約件数（割当含む）
- 0 件
|
このページのURL：https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1000001700076