論理学の基礎と演習

Author(s)

Bibliographic Information

論理学の基礎と演習

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

慶應義塾大学出版会, 2006.9

Other Title

Language, proof and logic

Title Transcription

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

Available at  / 140 libraries

Note

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

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

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

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

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

  • NCID
    BA78611017
  • ISBN
    • 476641313X
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Original Language Code
    eng
  • Place of Publication
    東京
  • Pages/Volumes
    xiii, 748p
  • Size
    23cm
  • Attached Material
    CD-ROM1枚
  • Classification
  • Subject Headings
Page Top