証明論と計算量

Main
Mathematics - Logic
証明論と計算量

証明論と計算量

Gaisi Takeuti, 竹内外史

0 / 5.0

यह पुस्तक आपको कितनी अच्छी लगी?

फ़ाइल की गुणवत्ता क्या है?

पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें

डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?

自然数論の証明論は数学基礎論の中心的問題であったが、弱い自然数論の証明論が計算量の理論と密接な関係にあることが知られている。本書は、証明論と計算量との中間領域についての基本的な事柄を、最近の話題を含めてまとめたものである。限定算術固有の分野には深入りせず、最近の目覚しい話題のFregeシステムについてふれた。

श्रेणियाँ:

Mathematics - Logic

साल:

1995

संस्करण:

1

प्रकाशन:

裳華房

भाषा:

japanese

पृष्ठ:

212

ISBN 10:

4785310960

ISBN 13:

9784785310967

फ़ाइल:

PDF, 9.80 MB

IPFS:

,

japanese, 1995

ऑनलाइन पढ़ें

में रूपांतरण जारी है

में रूपांतरण विफल रहा

आप के लिए दिलचस्प हो सकता है

中原幹夫,佐久間一浩 — 理論物理学のための幾何学とトポロジー 1

Unknown — チューリングマシンと計算量の理論 (情報数理シリーズ B-2)

田中尚夫 — 公理的集合論

広田良吾 — 差分学入門―情報化時代の微積分学 (情報数理シリーズ A-2)

Gaisi Takeuti, 竹内外史 — 数理論理学—語の問題

前原昭二 — 記号論理入門

萩谷昌己, 西崎真也 — 論理と計算のしくみ

矢ヶ部巌 — 行列と群とケーリーと

一松信 — 高次元の正多面体

森田茂之,Shigeyuki Morita — 例題形式で探求する微積分学の基本定理－関数の性質から幾何構造を探る

高木貞治 — 定本解析概論

森口繁一, 宇田川銈久, 一松信 — 岩波数学公式 I-III

杉﨑研司 — 量子コンピュータによる量子化学計算入門

清水義夫 — 圏論による論理学高階論理とトポス

東京大学教養学部統計学教室編 — 統計学入門

森田康夫 — 整数論

田中一之 — ゲーデルに挑む証明不可能なことの証明

田中一之 — ゲーデルと20世紀の論理学 1 : ゲーデルの20世紀

田中一之 — ゲーデルと20世紀の論理学 2 : 完全性定理とモデル理論

村上信吾 — 連続群論の基礎

志村史夫 — したしむ固体構造論

Daniel Solow ,ダニエル・ソロー, 安藤四郎 — 証明の読み方・考え方: 数学的思考過程への手引

Barrett O'Neill,バレットオニール,井川俊彦 — カー・ブラックホールの幾何学

加藤文元 — 数研講座シリーズ大学教養微分積分

加藤文元 — 数研講座シリーズ大学教養線形代数

新井敏康, 新井紀子 — 計算とは何か

Gaisi Takeuti, 竹内外史 — 層・圏・トポス——現代的集合像を求めて

竹内外史 — 数学基礎論の世界ロジックの雑記帳から

田中一之, 鹿島亮, 角田法也, 菊池誠 — 数学基礎論講義―不完全性定理とその発展

芳沢光雄 /Yoshizawa, Mitsuo — 置換群から学ぶ組合せ構造.Chikangun kara manabu kumiawase kōzō

ケネス・キューネン, 藤田博司 — 集合論—独立性証明への案内

嘉田勝 — 論理と集合から始める数学の基礎

古森雄一, 小野寛晰 — 現代数理論理学序説

高橋礼司 — 線型代数講義 : 現代数学への誘い

大田春外 — 高校と大学をむすぶ幾何学

大田春外 — 楽しもう射影平面～目で見る組合せトポロジーと射影幾何学

Herbert Kenneth Kunen,ケネスキューネン, 藤田博司 — キューネン数学基礎論講義

長谷川浩司 — 線型代数[改訂版]

野村隆昭 — 球面調和関数と群の表現

金谷健一, 菅谷保之, 金澤靖 — 3次元コンピュータビジョン計算ハンドブック

加藤敏夫,黒田成俊 — 量子力学の数学理論 : 摂動論と原子等のハミルトニアン

矢ヶ部巌 — 半分配環論入門

सबसे उपयोगी शब्द