証明論と計算量

Author(s)

• 竹内, 外史 タケウチ, ガイシ

Bibliographic Information

証明論と計算量

竹内外史著

裳華房, 1995.11

Other Title

Bounded arithmetic and computational complexity

Title Transcription

ショウメイロン ト ケイサンリョウ

Description and Table of Contents

Table of Contents

• １　多項式時間で計算できる関数
• ２　限定算術
• ３　超数学の形式化と不完全性定理
• ４　ＰＨＰと数え上げ原理

by "BOOK database"

Details

• NCID: BN13445912
• ISBN:
  • 4785310960
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vi, 205p
• Size: 22cm
• Classification:
  • NDC8 : 410.9
  • NDC7 : 410.1
  • NDLC : MA41
• Subject Headings:
  • BSH : 数学基礎論
  • NDLSH : 計算量理論