|
情報理論のための数理論理学
板井昌典 著
[目次]
- 第1章 命題論理
- 第2章 述語論理
- 第3章 計算可能性とチューリング機械
- 第4章 命題論理の充足可能性問題
- 第5章 述語論理の決定不能性
- 第6章 ブール代数
- 第7章 形式手法と数理論理学
「BOOKデータベース」より
|
書名 |
情報理論のための数理論理学 |
著作者等 |
板井 昌典
|
書名ヨミ |
ジョウホウ リロン ノ タメ ノ スウリ ロンリガク |
書名別名 |
Mathematical Logic for Informatics |
シリーズ名 |
数学のかんどころ 31
|
出版元 |
共立 |
刊行年月 |
2017.8 |
ページ数 |
200p |
大きさ |
21cm |
ISBN |
978-4-320-11072-4
|
NCID |
BB24269023
※クリックでCiNii Booksを表示
|
全国書誌番号
|
22943894
※クリックで国立国会図書館サーチを表示
|
言語 |
日本語 |
出版国 |
日本 |
この本を:
|

件が連想されています

|