資料詳細

【図書】 論理学の基礎と演習

ジョン・バーワイズ／著, ジョン・エチメンディ／著, 大沢秀介／〔ほか〕訳 -- 慶応義塾大学出版会 -- ２００６．９ -- ２３ｃｍ -- ７４８ｐ

タイトル	論理学の基礎と演習
著者名等	ジョン・バーワイズ／著, ジョン・エチメンディ／著, 大沢秀介／〔ほか〕訳
出版	慶応義塾大学出版会２００６．９
大きさ等	２３ｃｍ７４８ｐ
分類	116
件名	論理学
注記	Ｌａｎｇｕａｇｅ，ｐｒｏｏｆ　ａｎｄ　ｌｏｇｉｃ．／の翻訳
注記	付属資料（ＣＤ－ＲＯＭ１枚　１２ｃｍ）
注記	索引あり
目次	序論；第１部　命題論理（原子文；原子文の論理；ブール結合子；ブール結合子の論理；ブール論理の証明方法；形式的証明とブール論理；条件文；条件文の論理）；第２部　限量子（限量入門；限量子の論理；複数の限量子；限量子についての証明の方法；形式的証明と限量子；限量子についての捕足（オプション））；第３部　応用とメタ理論（一階集合論；数学的帰納法；命題論理の更に進んだ話題；ＦＯＬの更に進んだ話題；完全性と不完全性）；ＬＰＬソフトウェア・マニュアル（Ｓｕｂｍｉｔを使う；Ｔａｒｓｋｉ’ｓ　Ｗｏｒｌｄを使う；Ｆｉｔｃｈを使う；Ｂｏｏｌｅを使う）
ISBN(13)、ISBN	4-7664-1313-X
書誌番号	1106069281

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	５階人文科学 Map		116	一般書	利用可	-	2037504990