資料詳細

【図書】 情報理論のための数理論理学

数学のかんどころ --
板井昌典／著 -- 共立出版 -- ２０１７．８ -- ２１ｃｍ -- ２００ｐ

タイトル	情報理論のための数理論理学
シリーズ名	数学のかんどころ
著者名等	板井昌典／著
出版	共立出版２０１７．８
大きさ等	２１ｃｍ２００ｐ
分類	410.96
件名	記号論理学 , 情報理論
注記	欧文タイトル：Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ　ｆｏｒ　Ｉｎｆｏｒｍａｔｉｃｓ
注記	文献あり　索引あり
著者紹介	１９５３年生まれ．１９７８年神戸大学理学部数学科卒業．１９８９年イリノイ大学シカゴ校大学院修了．Ｐｈ．Ｄ　現在東海大学理学部情報数理学科教授．著著『幾何学的モデル理論入門』，日本評論社，２００２．（本データはこの書籍が刊行された当時に掲載されていたものです）
目次	第１章　命題論理；第２章　述語論理；第３章　計算可能性とチューリング機械；第４章　命題論理の充足可能性問題；第５章　述語論理の決定不能性；第６章　ブール代数；第７章　形式手法と数理論理学
ISBN(13)、ISBN	978-4-320-11072-4　　 4-320-11072-2
書誌番号	1113515732

所蔵

所蔵は 2 件です。現在の予約件数は 0 件です。