|
はじめての数理論理学
証明を作りながら学ぶ記号論理の考え方
森北出版
2018/07
9784627078017
|
| 分類記号1 | 41.96 |
|---|---|
| 著者記号 | YA |
| 所蔵部署コード | 0201 研究室 |
| 配架場所コード | FUJIMA A_藤田雅人研究室 |
| 書名 | はじめての数理論理学 証明を作りながら学ぶ記号論理の考え方 |
| 出版者 | 森北出版 |
| 出版年表記 | 2018.7 |
| 定価 | 2,400 |
| ページ | vii, 131p, 挿図 |
| サイズ | 22cm |
| ISBN1 | 9784627078017 |
| 登録番号 | 202500063 |
| 注記 | 三重大学工学部情報工学科の講義「数理論理学」の配布資料や講義ノートをもとにしたもの 参考文献: 巻末 |
| 件名 | NDLSH:記号論理学||キゴウロンリガク |
| 内容細目1 | TT:Mathematical logic for beginners |
|---|