大约有2,000项符合查询结果项。（搜索耗时：0.0624秒）
为您推荐： 华东师范大学政教系逻辑教研室编 华东师范大学政教系逻辑教研室 华东师范大学政教系逻辑学教研室编 陕西师范大学政教系马列主义基础教研室 press南京师范学院政教系政治经济学教研组 辽宁第一师范学院政教系哲学教研室
-
数理逻辑：基本原理与形式演算
李未著2008 年出版255 页ISBN：9787030200969数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...
-
数理逻辑与集合论 第2版 精要与题解
王宏，杨明编著2001 年出版150 页ISBN：7302045283本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分：第1部分是主教材《数理逻辑与集合论》（第2版）各章的内容精要与学习指导，包括主教材中的基本概念、基本公式、定义.....
-
对偶三角模 三角余模逻辑及推理
张兴芳著2015 年出版250 页ISBN：9787030432803非经典逻辑及其推理的种类和成果颇多。限于篇幅，本书仅总结作者2005年以来关于概率论、Lawry的适当测度理论、刘的不确定理论、模糊集理论与逻辑理论的结合研究的成果。根据非经典命题和谓词的不确定性的各...
-
数学·逻辑·语言 三种基础素养以及创想意识
傅鹂著2015 年出版339 页ISBN：9787030445186为什么是数学、逻辑、语言？这本书并非要把三者的内容拼凑在一起讲解它们的系统性知识--事实上这也是不可能的、完全没有必要的。很久以来作者感到，数学、逻辑、语言，对现代的人们而言应是需要的三种具有基础性...
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
具有三种否定的模糊集与模糊逻辑的理论及其应用
潘正华著2017 年出版375 页ISBN：9787030542779本书是一部研究型的具有原创性的专著，全书共分7章。第1章主要介绍知识处理与知识研究概况；第2章讨论研究模糊性对象的一般理论与方法，其中2.1.3、2.2.4和2.2.5节为我们的专题研究结果；第3章讨论关于模糊性对象...
-
数学无穷与中介的逻辑基础
朱梧槚著2012 年出版238 页ISBN：9787030344229本书内容分为两篇，共5章。第一篇讨论经典与非经典数学的理论基础问题。分两章陈述，其中第一章研讨精确性经典数学的理论基础问题。其中包括：（1）如何在现代意义下正确理解逻辑数学悖论这个概念的内涵，（2）数学三......
-
-
实体分影与事实逻辑初探 以初等物理学力学基本量为论域
曾永寿著2014 年出版400 页ISBN：9787504751829本书意在探讨物理学事实获取的工具理论，其研究对象即实体分影是物理学事实获取纯操作，论域仅限于初等物理学的力学基本量（长度、时间、重量）。本书通过借鉴物理科学（指实体科学）从自然哲学达到现代科学的经验，......
-
非线性系统手册 原书第5版 混沌，分形，元胞自动机，遗传算法，基因表达式编程，支持向量机，小波，隐马尔可夫模型，模糊逻辑与C++、JAVA和SymbolicC++程序
（美）斯蒂伯著；徐玉秀等译2013 年出版474 页ISBN：9787121194108本书是第五版，共18章。第一章介绍了一维、二维的非线性和混沌特征分析；第二章介绍了时间序列分析；第三章平面自治系统；第四章非线性哈密顿系统；第五章非线性耗散系统；第六章非线性强迫系统；第七章混沌控制；第......