当前位置:首页 > 名称
大约有9,000项符合查询结果项。(搜索耗时:0.0179秒)
为您推荐: 宗教的本质与表现形式 title城市与国家财富 经济生活的基本原则 人与神 宗教生活的理解 宗教生活的理解 数理逻辑基本原理与形式演算第2版 形式的起源
-
数理逻辑 基本原理与形式演算 第2版
李未著2014 年出版289 页ISBN:9787030401557本书的内容共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,哥德尔定理。后五章的内容是作者的研究成果。这部...
-
数理逻辑:基本原理与形式演算
李未著2008 年出版255 页ISBN:9787030200969数理逻辑是以公理系统和数学证明为研究对象的数学分支,对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心,内容包括一...
-
-
-
-
-
数学物理中的微分形式
韦斯坦霍尔斯(Westenholz,C.V.)著;蒋正新等译1989 年出版392 页ISBN:7810120565书名原文:Differentialformsinmathematicalphysics:本书包括有:点集拓朴
-
流形的热核和热核形式
卢克平著1993 年出版235 页ISBN:7810188666本书介绍了Riemann流形和Kahler流形的基本知识、Riemann流形上热半群的一些性质、某些典型群和对称空间的热核等。
-
-
具非负特性形式的二阶微分方程
(苏)奥列尼克(Oleinik,O.A.),(苏)拉德克维奇(Radkevic,E.B.)著;辜联昆译1986 年出版288 页ISBN:13031·3217