当前位置：首页 > 名称
大约有461,702项符合查询结果项。（搜索耗时：0.5004秒）
为您推荐： 数理逻辑基本原理与形式演算第2版 数理逻辑 基本原理与形式演算 形式逻辑原理 王剑讲银行业 基本逻辑与分析方法 无人机基本原理与系统设计 完美的合同 基本原理及审查与修改
-
数理逻辑 基本原理与形式演算 第2版
李未著2014 年出版289 页ISBN：9787030401557本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
-
数理逻辑：基本原理与形式演算
李未著2008 年出版255 页ISBN：9787030200969数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...
-
-
-
-
-
-
-
百宝工具箱 西方古典建筑元素组合原理与形式逻辑理论
（意）马克·德诺西欧著；姜清玉，吴锦绣，姜蕾编译2015 年出版165 页ISBN：9787564157067本书是意大利建筑学本科学生主要教学参考丛书中的一本。作者以活泼清晰的笔触，将西方建筑史从材料、建造方法、世界著名建筑案例分析等角度层层解析，贯穿历史。流畅地展现了欧洲古典建筑的起源，传承，发展，变革，.....
-
学科分类
出版时间