記号論理学 [単行本]

記号論理学 [単行本] の 商品概要

• 目次（「BOOK」データベースより）

  第１章　論理学とはなにか（正しい推論；対象言語とメタ言語；公理体系）
  第２章　命題論理（命題の記号化；論理式　ほか）
  第３章　述語論理（命題の記号化；限量記号の用法　ほか）
  第４章　様相論理（様相命題論理；意味論；健全性；完全性；決定可能性；様相述語論理；意味論；健全性；完全性）
  第５章　直観主義論理（直観主義命題論理；意味論；健全性；完全性；決定可能性；直観主義述語論理；意味論；健全性；完全性）
  補論１　ゲンツェンの論理体系
  補論２　様相論理への補論
  補論３　線形論理について

• 出版社からのコメント

  記号論理学の概説書。命題論理，述語論理，様相論理，直観主義論理の完全性までを扱う。

• 内容紹介

  記号論理学の入門書。命題論理，述語論理，様相論理，直観主義論理の完全性までを扱う。独習書として，また「論理学」の講義テキストとしても使用可能。
  
  【主な目次】
  第1章　論理学とはなにか
  第2章　命題論理
  第3章　述語論理
  第4章　様相論理
  第5章　直観主義論理
  補論1　ゲンツェンの論理体系
  補論2　様相論理への補論
  補論3　線形論理について

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

  山本 新(ヤマモト シン)
  １９４９年岡山県に生まれる。１９８２年東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任
  
  入江 俊夫(イリエ トシオ)
  １９７０年栃木県に生まれる。現在、東邦大学、東京医療保健大学で非常勤講師をつとめる。博士（文学）
  
  田村 高幸(タムラ タカユキ)
  １９６２年東京都に生まれる。現在、千葉大学大学院社会科学研究院助教。博士（理学）

• 著者について

  山本 新 (ヤマモト アラタ)
  山本 新　　1949年生、前千葉大非常勤講師
  
  入江 俊夫 (イリエ トシオ)
  入江 俊夫　　千葉大学助教
  
  田村 高幸 (タムラ タカユキ)
  田村 高幸　　東邦大学非常勤講師

記号論理学 [単行本] の商品スペック