論理学の基礎と演習

著者

書誌事項

論理学の基礎と演習

ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳

慶應義塾大学出版会, 2006.9

タイトル別名

Language, proof and logic

タイトル読み

ロンリガク ノ キソ ト エンシュウ

大学図書館所蔵 件 / 全140件

この図書・雑誌をさがす

注記

その他の訳者: 白旗優, 中川大, 中戸川孝治, 橋本康二

原著共同作業者: ゲリー・アルウィン, デイブ・バーカー=プラマー, アルバート・リュウ

原著改訂版(CSLI publications 2003年刊)の翻訳

付属資料: CD-ROM(1枚 12cm)

内容説明・目次

目次

  • 序論
  • 第１部　命題論理（原子文；原子文の論理；ブール結合子；ブール結合子の論理；ブール論理の証明方法；形式的証明とブール論理；条件文；条件文の論理）
  • 第２部　限量子（限量入門；限量子の論理；複数の限量子；限量子についての証明の方法；形式的証明と限量子；限量子についての捕足（オプション））
  • 第３部　応用とメタ理論（一階集合論；数学的帰納法；命題論理の更に進んだ話題；ＦＯＬの更に進んだ話題；完全性と不完全性）
  • ＬＰＬソフトウェア・マニュアル（Ｓｕｂｍｉｔを使う；Ｔａｒｓｋｉ’ｓ　Ｗｏｒｌｄを使う；Ｆｉｔｃｈを使う；Ｂｏｏｌｅを使う）

「BOOKデータベース」 より

詳細情報

  • NII書誌ID(NCID)
    BA78611017
  • ISBN
    • 476641313X
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 原本言語コード
    eng
  • 出版地
    東京
  • ページ数/冊数
    xiii, 748p
  • 大きさ
    23cm
  • 付属資料
    CD-ROM1枚
  • 分類
  • 件名
ページトップへ