籌款 9月15日 2024 – 10月1日 2024 關於籌款

記号論理学講義基礎理論束論と圏論知識論

Main
Mathematics - Logic
記号論理学講義基礎理論束論と圏論知識論

記号論理学講義基礎理論束論と圏論知識論

清水義夫

0 / 5.0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

記号論理学における中級者を対象にしたテキスト．この領域の代表的理論を学び，数学の抽象化を推し進めた束論および圏論を援用して理解を深める．さらに「論理語がなぜ基本的と見なされるか」などの知識をめぐる根本的な問いを考察．30年間の講義をもとにした集大成．

類別:

Mathematics - Logic

年:

2013

出版商:

東京大学出版会

語言:

japanese

文件:

PDF, 51.49 MB

IPFS:

,

japanese, 2013

線上閱讀

轉換進行中

轉換為失敗

你可能感興趣

山田作衛,相原博昭,岡田安弘,坂井典佑,西川公一郎 — 素粒子物理学ハンドブック

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

前原昭二 — 記号論理入門

志賀浩二 — 集合・位相・測度

長沼伸一郎 — 物理数学の直観的方法―理工系で学ぶ数学「難所突破」の特効薬

大槻兼資 — 問題解決力を鍛える！アルゴリズムとデータ構造

清水義夫 — 記号論理学

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

丸山眞男 — 日本政治思想史 1948

齋藤正彦 — 線型代数入門 (基礎数学)

杉浦光夫 — 解析入門 I

杉浦光夫 — 解析入門 II

齋藤正彦 — 線型代数演習

高橋礼司 — 新版複素解析

須藤靖 — 解析力学・量子論

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

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

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

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

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

カール・フリードリヒ・ガウス,Karl Friedrich Gauss,高瀬正仁 — ガウス整数論 (Disquisitiones Arithmeticae)

望月清 — 波動方程式の散乱理論 (紀伊國屋数学叢書 23)

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

徳田雄洋 — 言語と構文解析

林正人 — 量子情報への表現論的アプローチ

伊藤和夫 — 英語長文読解教室

数研出版編集部 — 改訂版教科書傍用 4STEP数学 1+A

数研出版編集部 — 改訂版教科書傍用 4STEP数学3

数研出版編集部 — 改訂版教科書傍用 4STEP 数学2+B〔ベクトル,数列〕

数研出版編集部 — リードLightノート物理基礎四訂版

岡本和夫, 長岡亮介 — 数学の森―大学必須数学の鳥瞰図

伊東規之 — 増幅回路と負帰還増幅

片桐重延, 佐藤公作, 高橋公, 飯田健三, 志賀清一 — BASICによる高校数学

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

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

中川裕志 — 情報工学機械学習

柴田正和,Masakazu Shibata — 常微分方程式の局所漸近解析特異点・臨界点が解の大域的性質を明らかにする

江田勝哉 — 数理論理学

高橋渉 — 非線形関数解析学不動点定理とその周辺

日本イギリス哲学会 — イギリス哲学・思想事典 (Dictionary of British Philosophy and Thought)

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

川村嘉春 — 相対論的量子力学

最常見的術語

相關書單