数理論理学

コンピュータサイエンス教科書シリーズ　１８

コロナ社
古川康一　向井国昭　

• 価格: 3,080円（本体2,800円＋税）
• 発行年月: 2008年06月
• 判型: Ａ５
• ISBN: 9784339027181

内容情報

[BOOKデータベースより]

１　序論
２　論理と表現
３　命題論理
４　述語論理
５　ゲンツェンの自然演繹法
６　論理プログラム
７　論理プログラミング言語Ｐｒｏｌｏｇ
　８　発想論理プログラム
９　帰納論理プログラミング

[日販商品データベースより]

特に、実世界の問題を論理によって表現し、問題解決を行う能力を身に付けることを目指した線形代数学の入門書。問題の抽象化と形式化の能力を養うため、多くの例題や問題を収録。