数理論理学序説 復刊 [単行本]

数理論理学序説 復刊 [単行本] の 商品概要

• 要旨（「BOOK」データベースより）

  論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明する。

• 目次

  Ｉ．命題論理
  §1．真理関数
  §2．Boole代数
  §3．真理関数の標準形
  §4．Tautology
  §5．擬順序集合
  §6．直観主義の論理
  §7．古典論理
  §8．Sequent
  §9．命題計算
  §10．命題計算の完全性
  
  II．述語論理
  §1．命題関数
  §2．超限的命題
  §3．数学的理論における命題の形式的表現
  §4．述語論理
  §5．述語計算
  §6．数学的理論の形式化
  
  練習問題の解答およびヒント

• 出版社からのコメント

  論理計算の実際面と記号論理学の基本的な考え方

• 内容紹介

  論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明。『共立全書 160.数理論理学序説』として1966年初版発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け単行本に改装し発行するものです。

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

  前原 昭二(マエハラ ショウジ)
  １９５１年東京大学理学部数学科卒業。元筑波大学名誉教授・東京工業大学名誉教授。理学博士。専攻は数学基礎論

数理論理学序説 復刊 [単行本] の商品スペック