現代数理論理学序説

Main
Mathematics - Logic
現代数理論理学序説

現代数理論理学序説

古森雄一, 小野寛晰

5.0 / 5.0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

論理とラムダ計算、部分構造論理、論理学への代数的アプローチなど、最新の話題を盛り込んだ新しい入門書。

Kategorien:

Mathematics - Logic

Jahr:

2010

Verlag:

日本評論社

Sprache:

japanese

Seiten:

177

ISBN 10:

4535785562

ISBN 13:

9784535785564

Datei:

PDF, 28.15 MB

IPFS:

,

japanese, 2010

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

松本和夫 — 復刊数理論理学

竹内外史 — 数学基礎論増補版

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

倉田令二朗 — 数学基礎論へのいざない

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

[日] 东野圭吾 — 白夜行[转化版][有广告]

上野健爾, 志賀浩二, 砂田利一編 — 岩澤数学の全貌：その豊穣の世界

戸田正人,Masahito Toda — 3次元トポロジーの新展開ーリッチフローとポアンカレ予想

新井敏康 — 数学基礎論増補版

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

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

田中一之 — ゲーデルと20世紀の論理学 3 : 不完全性定理と算術の体系

田中一之 — ゲーデルと20世紀の論理学 4 : 集合論とプラトニズム

前原昭二 — 数学基礎論入門 (基礎数学シリーズ)

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

前原昭二 — 数理論理学序説

佐野勝彦, 倉橋太志, 薄葉季路,黒川英徳,菊池誠 — 数学における証明と真理 : 様相論理と数学基礎論

本橋信義 — 論理学は数学の役に立つか?―新しい論理学の構築

和光システム研究所 — Javaで学ぶ数値解析

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

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

黒川信重, 小山信也 — 絶対数学

赤攝也 — [微分積分学] I-微分学, II-積分学, III-実数論講義

細矢治夫 ,Haruo Hosoya — トポロジカル・インデックス = Topological Index : フィボナッチ数からピタゴラスの三角形までをつなぐ新しい数学

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

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

齋藤秀司, 佐藤周友,Shuji Saito, Kanetomo Sato — 代数的サイクルとエタールコホモロジー

江田勝哉 — 数理論理学

村上仙瑞 — イメージでつかむ　イプシロンデルタ・位相空間論

藤田博司 — 「集合と位相」をなぜ学ぶのか ― 数学の基礎として根づくまでの歴史

Gaisi Takeuti, 竹内外史 — 証明論と計算量

戸田山和久 — 論理学をつくる

千葉克裕 — 行列の関数とジョルダン標準形【増補改訂版】

洞彰人,Akihito Hora — 対称群の表現とヤング図形集団の解析学 : 漸近的表現論への序説

島田義弘 — 四次元の幾何学―回転,積分,微分―

王锦森, 马知恩 — 工科数学分析基础第三版上册

马知恩, 王绵森 — 工科数学分析基础第三版下册

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

坪井明人 — モデルの理論

前原昭二 — 記号論理入門

井田哲雄,田中二郎 — 続新しいプログラミング・パラダイム

Emil Artin,アルティン,寺田文行 — ガロア理論入門

Am meisten angefragte Begriffe