論理学の基礎と演習 [単行本]

論理学の基礎と演習 [単行本] の 商品概要

• 目次

  詳細な目次はこちらから
  日本語版訳者による序言
  謝辞
  序論
  　
  第I 部　命題論理
  第1 章　原子文
  第2 章　原子文の論理
  第3 章　ブール結合子
  第4 章　ブール結合子の論理
  第5 章　ブール論理の証明方法
  第6 章　形式的証明とブール論理
  第7 章　条件文
  第8 章　条件文の論理
  
  第II 部　限量子
  第9 章　限量入門
  第10 章　限量子の論理
  第11 章　複数の限量子
  第12 章　限量子についての証明の方法
  第13 章　形式的証明と限量子
  第14 章　限量子についての補足（オプション）
  
  第III 部応用とメタ理論
  第15 章一階集合論
  第16 章　数学的帰納法
  第17 章　命題論理の更に進んだ話題
  第18 章　FOL の更に進んだ話題
  第19 章　完全性と不完全性
  
  形式的証明規則の要約
  用語解説
  
  ソフトウェア・マニュアル
  1 はじめに
  2 Submit を使う
  3 Tarski’s World を使う
  4 Fitch を使う
  5 Boole を使う
  
  一般索引
  練習問題ファイル索引
  マニュアル索引

• 内容紹介

  視覚で理解する画期的論理学テキスト、ついに翻訳刊行。
  ▼ゲーム感覚で学べる、スタンフォード大学 CSLI 論理学テキスト Language, Proof and Logic の翻訳書。付属のCD-ROM（Tarski's World）は1997年Educom Medalを受賞しています。
  ▼テキストは、初歩の命題論理からゲーデルの不完全性定理に至るまで、幅広く説明され、Tarski's Worldで、立体図形を感覚的に操作しながら、論理学の基本概念を学びます。
  ▼膨大な数の練習問題を収録し、その解答はインターネットを利用して自動的に採点されます。

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  バーワイズ,ジョン(バーワイズ,ジョン／Barwise,Jon)
  論理学の世界的権威。スタンフォード大学Ｐｈ．Ｄ．（１９６７）。イェール大学、ウィスコンシン大学で教鞭を執った後、スタンフォード大学言語情報センターの初代所長を務める。１９９０年にはインディアナ大学に迎えられた。研究分野は数学から言語学まで非常に幅広く、数学基礎論や状況理論・状況意味論に関する業績が大きい。２０００年５月逝去
  
  エチメンディ,ジョン(エチメンディ,ジョン／Etchemendy,John)
  スタンフォード大学副学長。２０００年より現職。１９９０～１９９３年スタンフォード大学言語情報センターの所長を務め、現在は同センターの上席研究員でもある。スタンフォード大学Ｐｈ．Ｄ．（１９８２）
  
  大沢 秀介(オオサワ ヒデスケ)
  １９５０年、東京都生まれ。早稲田大学第一文学部人文専攻卒、早稲田大学大学院修士課程修了・博士課程単位取得退学。愛知教育大学教育学部教授。専門は哲学
  
  白旗 優(シラハタ マサル)
  １９６１年、神奈川県生まれ。京都大学文学部哲学科卒、スタンフォード大学哲学科Ｐｈ．Ｄ。慶應義塾大学商学部助教授。専門は論理学および数学基礎論
  
  中川 大(ナカガワ ハジメ)
  １９６１年、北海道生まれ。北海道大学文学部哲学科卒、北海道大学大学院修士課程修了・博士課程単位取得退学。北海道教育大学教育学部札幌校助教授。専門は哲学

論理学の基礎と演習 [単行本] の商品スペック