証明論と計算量

著者

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

書誌事項

証明論と計算量

竹内外史著

裳華房, 1995.11

タイトル別名

Bounded arithmetic and computational complexity

タイトル読み

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

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN13445912
• ISBN:
  • 4785310960
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vi, 205p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.9
  • NDC7 : 410.1
  • NDLC : MA41
• 件名:
  • BSH : 数学基礎論
  • NDLSH : 計算量理論