論理学の基礎と演習

ジョン・バーワイズ, ジョン・エチメンディ 著 ; 大沢秀介, 白旗優, 中川大, 中戸川孝治, 橋本康二 訳

[目次]

  • 序論
  • 第1部 命題論理(原子文
  • 原子文の論理
  • ブール結合子
  • ブール結合子の論理
  • ブール論理の証明方法
  • 形式的証明とブール論理
  • 条件文
  • 条件文の論理)
  • 第2部 限量子(限量入門
  • 限量子の論理
  • 複数の限量子
  • 限量子についての証明の方法
  • 形式的証明と限量子
  • 限量子についての捕足(オプション))
  • 第3部 応用とメタ理論(一階集合論
  • 数学的帰納法
  • 命題論理の更に進んだ話題
  • FOLの更に進んだ話題
  • 完全性と不完全性)
  • LPLソフトウェア・マニュアル(Submitを使う
  • Tarski's Worldを使う
  • Fitchを使う
  • Booleを使う)

「BOOKデータベース」より

この本の情報

書名 論理学の基礎と演習
著作者等 Allwein, Gerard
Barker-Plummer, Dave
Barwise, Jon
Etchemendy, John
中川 大
中戸川 孝治
大沢 秀介
橋本 康二
白旗 優
Liu Albert
エチメンディ ジョン
バーワイズ ジョン
書名ヨミ ロンリガク ノ キソ ト エンシュウ
書名別名 Language,proof and logic. (改訂版)

Language,proof and logic

Ronrigaku no kiso to enshu
出版元 慶應義塾大学出版会
刊行年月 2006.9
ページ数 748p
大きさ 23cm
付随資料 CD-ROM1枚 (12cm)
ISBN 476641313X
NCID BA78611017
※クリックでCiNii Booksを表示
全国書誌番号
21217977
※クリックで国立国会図書館サーチを表示
言語 日本語
原文言語 英語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想