数理逻辑引论与归结原理

Main
Mathematics - Logic
数理逻辑引论与归结原理

数理逻辑引论与归结原理

王国俊

0 / 0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

陕西师范大学优秀学术著作基金资助出版

Categorías:

Mathematics - Logic

Año:

2003

Editorial:

科学出版社

Idioma:

chinese

Páginas:

216

ISBN 10:

7030115791

ISBN 13:

9787030115799

Serie:

现代数学基础丛书

Archivo:

PDF, 5.28 MB

IPFS:

,

chinese, 2003

Descargar (pdf, 5.28 MB)

Conversión a en curso

La conversión a ha fallado

También le puede interesar

莫绍揆 — 数理逻辑导论

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

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

张锦文 — 公理集合论导引

徐登洲; 马如云 — 线性微分方程的非线性扰动

[数字逻辑与计算机设计基础].刘真.文字版.pdf — [数字逻辑与计算机设计基础].刘真.文字版.pdf

王宪钧 — 数理逻辑引论

李未著 — 数理逻辑：基本原理与形式演算

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

Сомин Н. — Климент Александрийский и свт. Иоанн Златоуст: два взгляда на богатство и собственность

王浩 — 数理逻辑通俗讲话

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

x — 非经典数理逻辑与近似推理.

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1: Logical Foundations

万哲先, 霍元极 — 有限典型群子空间轨道生成的格

徐增〓 — 数学规划导论

王国俊 — 非经典数理逻辑与近似推理

刘彦佩 — 数组合地图论

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

孙荣恒 — 排队论基础

郭柏灵 — 金兹堡—朗道方程/现代数学基础丛书

陆文端 — 微分方程中的变分方法（修订版）

彭思龙; 李登峰; 谌秋辉 — 周期小波理论及其应用

刘文 — 强偏差定理与分析方法/现代数学基础丛书

史念东 — 稳定性和单纯性理论

黄明游 — 发展方程数值计算方法

张永正, 刘文德 — 模李超代数

马天; 汪守宏 — 非线性演化方程的稳定性与分歧

李继彬; 赵晓华; 刘正荣 — 广义哈密顿系统理论及其应用

叶向东; 黄文; 邵松 — 拓扑动力系统概论

高国士, 林寿(Guoshi Gao, Shou Lin) — 拓扑空间论(Theory of Topological Spaces)

王启华, 史宁中, 耿直 — 现代统计研究基础

许全华; 吐尔德别克; 陈泽乾 — 算子代数与非交换Lp空间引论

冯琦 — 数理逻辑导引

Anil Nerode Richard A.Shore — 应用逻辑

余俊伟, 赵晓玉, 裘江杰, 张立英 — 数理逻辑

陈晓平 — 自然演绎逻辑导论

杨跃 / 郝兆宽 / 杨睿之 — 数理逻辑: 证明及其限度

郝兆宽等 — 递归论：算法与随机性基础（逻辑与形而上学教科书系列）

汪芳庭 — 数理逻辑

[英] 约翰·N．克罗斯利 — 数理逻辑是什么

刘文照 — 非凡新日本语能力考试N5