目次
１ 序論
２ 論理と表現
３ 命題論理
４ 述語論理
５ ゲンツェンの自然演繹法
６ 論理プログラム
７ 論理プログラミング言語Ｐｒｏｌｏｇ
８ 発想論理プログラム
９ 帰納論理プログラミング
著者等紹介
古川康一［フルカワコウイチ］
１９６５年東京大学工学部計数工学科卒業。１９６７年東京大学大学院工学系研究科修士課程修了。１９６７年通産省工業技術院電気試験所入所。１９８０年工学博士（東京大学）。１９８２年財団法人新世代コンピュータ技術開発機構出向。１９９２年慶應義塾大学教授。２００８年慶應義塾大学名誉教授
向井国昭［ムカイクニアキ］
１９７１年東京大学理学部数学科卒業。三菱電機株式会社勤務。１９８２年財団法人新世代コンピュータ技術開発機構出向。１９９１年工学博士（東京工業大学）。１９９２年慶應義塾大学助教授。１９９５年慶應義塾大学教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
kozima
0
後半は Prolog の話，前半はそれに向けての準備という感じでしょうか。数学寄りでない論理学の本を初めて通読しました。新鮮。2015/10/11
