ジョウホウ ノ ロンリ スウガク ニュウモン : ブール ダイスウ カラ ジュツゴ ロンリ マデ
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : 近代科学社 |
| 出版年 | 1991.4 |
| 本文言語 | 日本語 |
| 大きさ | viii, 210p ; 21cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | ISBN | 資料種別 | 利用注記 | 請求メモ | 予約 |
|---|---|---|---|---|---|---|---|---|---|
| 2F書庫1-和書 |
|
410.96/O 26 | 002179154 | 4764901803 | 図書 |
|
|
|
書誌詳細を非表示
類似資料
- 1 数理論理学 / 林晋著
- 2 情報科学のための論理数学 / 細井勉著
- 3 ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
- 4 不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
- 5 数理論理学入門 / 角田譲著
- 6 証明のすすめ : 数学の証明 / リュディガー・ティーレ原著 ; 金井省二訳
- 7 応用論理 / 桔梗宏孝著
- 8 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
- 9 知識と推論 / 森下真一著
- 10 含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう / 米谷達也共著 : 数理哲人共著