メニュー


大岡山駅前 東工大正門

◎当店を紹介頂きました

『散歩の達人』
2014年3月号

『リサイクル通信』
2014年6月10日号

古本屋ツアー・イン・ジャパン

ピタットハウス大岡山店丸栄商事さんブログ

メーカー別

特定商取引法表示
トップページ ｜ 販売済み ｜ 数理論理学　コンピュータサイエンス教科書シリーズ　１８
詳細

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

価格: 2,100円(税別)
(税込: 2,310円)
定価: 2,940円
著者/訳者名 古川康一／共著　向井国昭／共著
出版社名 コロナ社 (ISBN：978-4-339-02718-1)
発行年月 2008年06月
20080705

状態：【並上
新品同様/並上/並/並下/可の5段階評価】

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