資料詳細

論理学の基礎と演習貸出可

ジョン・バーワイズ／著 -- 慶應義塾大学出版会 -- 2006.9 -- 116

所蔵

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

所蔵館	所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般	一般資料室	116/2006/	00009077140	和書	帯出可	在庫

ページの先頭へ

資料詳細

タイトル	論理学の基礎と演習 ,
書名ヨミ	ロンリガク　ノ　キソ　ト　エンシュウ
著者	ジョン・バーワイズ／著, ジョン・エチメンディ／著, 大沢秀介／訳, 白旗優／訳, 中川大／訳, 中戸川孝治／訳, 橋本康二／訳
著者名ヨミ	バーワイズ,ジョン , エチェメンディ,ジョン , オオサワ,ヒデスケ , シラハタ,マサル , ナカガワ,ハジメ , ナカトガワ,コウジ , ハシモト,コウジ
出版者	慶應義塾大学出版会
出版年	2006.9
ページ数, 大きさ	13,748p, 23cm
NDC１０版	116
NDC８版	116
一般件名	論理学
注記	原タイトル:Language proof and logic 原著改訂版の翻訳, 付属資料：ＣＤ－ＲＯＭ（１枚　１２ｃｍ）
著者紹介	論理学の世界的権威。スタンフォード大学言語情報センターの初代所長を務めた。2000年逝去。
内容紹介	スタンフォード大学CSLIで執筆された論理学テキストの名著。初歩の命題論理から限量子、ゲーデルの不完全性定理に至るまでを丁寧に解説する。付属CD-ROM収録のソフトを使った練習問題も豊富に収録。

ページの先頭へ

目次

第Ⅰ部命題論理: 第1章原子文; 第2章原子文の論理; 第3章ブール結合子; 第4章ブール結合子の論理; 第5章ブール論理の証明方法; 第6章形式的証明とブール論理; 第7章条件文; 第8章条件文の論理
第Ⅱ部限量子: 第9章限量入門; 第10章限量子の論理; 第11章複数の限量子; 第12章限量子についての証明の方法; 第13章形式的証明と限量子; 第14章限量子についての補足(オプション)
第Ⅲ部応用とメタ理論: 第15章一階集合論; 第16章数学的帰納法; 第17章命題論理の更に進んだ話題; 第18章 FOLの更に進んだ話題; 第19章完全性と不完全性; 形式的証明規則の要約; 用語解説
LPL ソフトウェア・マニュアル: 1 はじめに; 2 Submitを使う; 3 Tarski's Worldを使う; 4 Fitchを使う; 5 Booleを使う

ページの先頭へ