東京工業大学脇の古本屋が運営する古書古本通販サイト。一冊のご注文より送料無料でお届けします。




**************
古書・古本人気ランキング

ショップランキング オミセウェブ
古書古本・本
古書古本
************** 本を横断検索 理学・工学 コンピュータ 人文・社会・歴史


ホーム|カテゴリ別商品一覧: コンピュータ数理論理学 コンピュータサイエンス教科書シリーズ 18
商品詳細
数理論理学 コンピュータサイエンス教科書シリーズ 18

数理論理学 コンピュータサイエンス教科書シリーズ 18 [1173-9c]

販売価格: 2,100円 (税込)
希望小売価格:2,940円
数量:
著者/訳者名 古川康一/共著 向井国昭/共著
出版社名 コロナ社 (ISBN:978-4-339-02718-1)
発行年月 2008年06月
20080705

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

目次
1 序論
2 論理と表現
3 命題論理
4 述語論理
5 ゲンツェンの自然演繹法
6 論理プログラム
7 論理プログラミング言語Prolog
8 発想論理プログラム
9 帰納論理プログラミング