論理学の基礎と演習
Author(s)
Bibliographic Information
論理学の基礎と演習
慶應義塾大学出版会, 2006.9
- Other Title
-
Language, proof and logic
- Title Transcription
-
ロンリガク ノ キソ ト エンシュウ
Available at 140 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Search this Book/Journal
Note
その他の訳者: 白旗優, 中川大, 中戸川孝治, 橋本康二
原著共同作業者: ゲリー・アルウィン, デイブ・バーカー=プラマー, アルバート・リュウ
原著改訂版(CSLI publications 2003年刊)の翻訳
付属資料: CD-ROM(1枚 12cm)
Description and Table of Contents
Table of Contents
- 序論
- 第1部 命題論理(原子文;原子文の論理;ブール結合子;ブール結合子の論理;ブール論理の証明方法;形式的証明とブール論理;条件文;条件文の論理)
- 第2部 限量子(限量入門;限量子の論理;複数の限量子;限量子についての証明の方法;形式的証明と限量子;限量子についての捕足(オプション))
- 第3部 応用とメタ理論(一階集合論;数学的帰納法;命題論理の更に進んだ話題;FOLの更に進んだ話題;完全性と不完全性)
- LPLソフトウェア・マニュアル(Submitを使う;Tarski’s Worldを使う;Fitchを使う;Booleを使う)
by "BOOK database"