数理論理学
著者
書誌事項
数理論理学
(コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員, 18)
コロナ社, 2008.6
- タイトル別名
-
Mathematical logic
- タイトル読み
-
スウリ ロンリガク
大学図書館所蔵 全116件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
引用・参考文献: p[203]-204
内容説明・目次
目次
- 1 序論
- 2 論理と表現
- 3 命題論理
- 4 述語論理
- 5 ゲンツェンの自然演繹法
- 6 論理プログラム
- 7 論理プログラミング言語Prolog
- 8 発想論理プログラム
- 9 帰納論理プログラミング
「BOOKデータベース」 より