論理学の基礎と演習
著者
書誌事項
論理学の基礎と演習
慶應義塾大学出版会, 2006.9
- タイトル別名
-
Language, proof and logic
- タイトル読み
-
ロンリガク ノ キソ ト エンシュウ
大学図書館所蔵 全140件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
その他の訳者: 白旗優, 中川大, 中戸川孝治, 橋本康二
原著共同作業者: ゲリー・アルウィン, デイブ・バーカー=プラマー, アルバート・リュウ
原著改訂版(CSLI publications 2003年刊)の翻訳
付属資料: CD-ROM(1枚 12cm)
内容説明・目次
目次
- 序論
- 第1部 命題論理(原子文;原子文の論理;ブール結合子;ブール結合子の論理;ブール論理の証明方法;形式的証明とブール論理;条件文;条件文の論理)
- 第2部 限量子(限量入門;限量子の論理;複数の限量子;限量子についての証明の方法;形式的証明と限量子;限量子についての捕足(オプション))
- 第3部 応用とメタ理論(一階集合論;数学的帰納法;命題論理の更に進んだ話題;FOLの更に進んだ話題;完全性と不完全性)
- LPLソフトウェア・マニュアル(Submitを使う;Tarski’s Worldを使う;Fitchを使う;Booleを使う)
「BOOKデータベース」 より