当前位置：首页 > 名称
大约有600项符合查询结果项。（搜索耗时：0.0061秒）
为您推荐： 东北师范大学哲学教研室逻辑学教学小组 南开大学哲学系逻辑学教研室著 南开大学哲学院逻辑学教研室著 中国人民大学哲学院逻辑学教研室 中共中央高级党校哲学教研室 中共辽宁省委党校哲学教研室
-
-
-
-
-
数理逻辑 基本原理与形式演算 第2版
李未著2014 年出版289 页ISBN：9787030401557本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
-
-
-
-
-
学科分类