数理逻辑导引

Main
Mathematics - Logic
数理逻辑导引

数理逻辑导引

冯琦

5.0 / 5.0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

カテゴリー:

Mathematics - Logic

年:

2017

出版社:

科学出版社

言語:

chinese

ISBN 10:

7030545796

ISBN 13:

9787030545794

ファイル:

PDF, 160.73 MB

IPFS:

,

chinese, 2017

オンラインで読む

ダウンロード (pdf, 160.73 MB)

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

莫绍揆 — 数理逻辑导论

胡世华; 陆钟万 — 数理逻辑基础

张锦文 — 数学丛书.-. 现代数学基础丛书 . 公理集合论导引

[法]戈德门特；王耀东译 — [法兰西数学精品译丛]代数学教程【“十一五”国家重点图书】

王宪钧 — 数理逻辑引论

数理逻辑基础：一阶逻辑与一阶理论-陈慕泽 — 数理逻辑基础：一阶逻辑与一阶理论-陈慕泽

A.G.汉密尔顿朱水林译 — 数理逻辑

[德]希尔伯特 — 希尔伯特几何基础

T·高尔斯; 齐民友 (译) — 普林斯顿数学指南（第二卷）

[美]保罗·贝纳塞拉夫(编); 希拉里·普特南(编) ;朱水林等(译) — 数学哲学

王浩 — 数理逻辑通俗讲话

欧文·M·柯匹, 卡尔·科恩 — 逻辑学导论第13版

布勒斯，George S. Boolos — 可计算性与数理逻辑

屈婉玲, 耿素云, 张立昂 — 离散数学习题解答与学习指导（第3版）

Elliott Mendelson — Introduction to Mathematical Logic, Sixth Edition

金岳霖 — 形式逻辑 /Xing shi luo ji

Lu zhong wan — 面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke xue de shu li luo ji

王国俊 — 数理逻辑引论与归结原理

T·高尔斯; 齐民友 (译) — 普林斯顿数学指南（第三卷）

马天 — 从数学观点看物理世界：基本粒子与统一场理论

席南华 — 基础代数 (第一卷)

冯琦 — 数理逻辑导引

席南华 — 基础代数 (第二卷)

冯琦 — 线性代数导引

冯琦 — 集合论导引第1卷

冯琦 — 集合论导引第2卷

冯琦 — 集合论导引第三卷高阶无穷

冯琦 — 基本逻辑学：思维与表达正确性问题探究

Г.М.菲赫金哥尔茨 — 数学分析原理（第二卷）: 数学分析原理

汪芳庭 — 数学基础（修订版）

李文威 — 代数学方法(第一卷): 基础架构

[英]伯特兰·罗素; 晏成书(译) — 罗素文集（第3卷）数理哲学导论

Kenneth H.Rosen (作者), 袁崇义 (译者), 等 (译者) — 离散数学及其应用（原书第4版）平装

胡思 — 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理

[德] 哈斯 [英] 瑞安 — 面向计算机科学的数理逻辑

迈克尔·西普塞 (Michael Sipser) — 计算理论导引: 原书第3版

[美]Herbert B.Enderton，沈复兴，陈磊，孙运传 — 数理逻辑（第2版）

[澳]陶哲轩 — [图灵数学]陶哲轩实分析（第3版）

戈弗雷•哈代 — 纯数学教程（第9版）

布鲁斯·昂 — 形而上学

丹尼斯·麦克伦尼;赵明燕 — 简单的逻辑学

内格尔（Ernest Nagel），纽曼（James R. Newman） — 哥德尔证明（Goedel's Proof）

主要なフレーズ

関連ブックリスト