Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

型理論

Main
型理論

型理論

龍田真

0 / 5.0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

基本的で代表的な5つの型理論λ→、MLの型理論、ITTn、F、CCについて、具体的な理解のため、形式体系の完全な定義を紹介し、推論の例を説明する。また、様々な型理論の関係を整理して理解するためλ-cubeと、Girardの逆説を紹介する。

Том:

1

Година:

1992

Издателство:

近代科学社

Език:

japanese

Серия:

レクチャーノート／ソフトウェア学

Файл:

PDF, 7.80 MB

IPFS:

,

japanese, 1992

Изтегляне (pdf, 7.80 MB)

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

玉木大 — 広がりゆくトポロジーの世界 : 言語としてのホモトピー論

湯川秀樹,並木美喜雄,江沢洋,豊田利幸,高木修二,田中正,位田正邦 — 量子力学 I

数理科学編集部 — 数理科学 2008年04月号「現代数学はいかに使われているか[解析編]」

数理科学編集部 — 数理科学 2013年07月号「群と物理学」

数理科学編集部 — 数理科学 2015年03月号「団代数をめぐって」

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

吉永正彦 — 周期と実数の0-認識問題: Kontsevich-Zagierの予想

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

前原昭二 — 記号論理入門

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

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

竹内勝 — 現代の球関数

伊原信一郎,河田敬義 — 線型空間・アフィン幾何

古田孝之 — 線形作用素への誘い―行列からヒルベルト空間上の有界線形作用素へ

Next Nexus — Enjoy Mathematics!

高橋盤郎 — 組合せ理論とその応用

宮沢光一 — 情報・決定理論序説

松井良樹 — グラスマン代数Ⅰ(点代数・ベクトル)

数理科学編集部 — 数理科学 2011年08月号「計算が拓く数学と物理の世界」

松坂和夫,Kazuo Matsusaka — 集合・位相入門

近藤武 — 群論

新井敏康 — 数学基礎論

清水義夫 — 記号論理学

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

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

斎藤毅 — 集合と位相

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

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

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

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

原岡喜重 — 超幾何関数

Benjamin C. Pierce, 住井英二郎, 遠藤侑介, 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男 — 型システム入門 : プログラミング言語と型の理論

Hisaharu Umegaki, Masanori Ouya, Fumio Hiai — 復刊作用素代数入門―Hilbert空間よりvon Neumann代数

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

菊池誠 — 不完全性定理

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

Най-често използвани термини