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

著者

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

書誌事項

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

内井惣七著

ミネルヴァ書房, 1989.4

タイトル読み

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

電子リソースにアクセスする 全1件

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

  1989

  NDLデジタルコレクション

  限定公開

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN03413567
• ISBN:
  • 4623018849
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 京都
• ページ数/冊数: viii, 197p
• 大きさ: 21cm
• 分類:
  • NDC8 : 116
  • NDC8 : 410.96
  • NDLC : MA41
• 件名:
  • BSH : 論理学
  • NDLSH : 記号論理学