真理・証明・計算 : 論理と機械

Author(s)

• 内井, 惣七 ウチイ, ソウシチ

Bibliographic Information

真理・証明・計算 : 論理と機械

内井惣七著

ミネルヴァ書房, 1989.4

Title Transcription

シンリ ショウメイ ケイサン : ロンリ ト キカイ

Access to Electronic Resource 1 items

• 真理・証明・計算 : 論理と機械

  1989

  NDL Digital Collections

  Limited

Description and Table of Contents

Table of Contents

• １　論理学の歴史から
• ２　真理関数と分析的方法
• ３　自然演繹と証明
• ４　証明と真理
• ５　述語論理のモデル
• ６　述語論理の証明
• ７　述語論理の完全性
• ８　機械１—有限オートマトン
• ９　機械２—テューリング機械
• １０　決定不可能な問題

by "BOOK database"

Details

• NCID: BN03413567
• ISBN:
  • 4623018849
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 京都
• Pages/Volumes: viii, 197p
• Size: 21cm
• Classification:
  • NDC8 : 116
  • NDC8 : 410.96
  • NDLC : MA41
• Subject Headings:
  • BSH : 論理学
  • NDLSH : 記号論理学