关于“数理逻辑”的相关PDF电子书资料下载

当前位置：首页 > TAG信息列表 > 数理逻辑

数理逻辑

数理逻辑与范畴论应用

查看PDF目录购买本书
王世强，孟晓青著1999 年出版377 页ISBN：7303048553
国家自然科学基金教育部博士点基金资助项目。
非经典数理逻辑与近似推理

查看PDF目录购买本书
王国俊著2000 年出版305 页ISBN：7030085442
本书大部分内容是作者近期的研究成果，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发，建立了积分语义学...
数理逻辑与集合论

查看PDF目录购买本书
石纯一，王家廞编著2000 年出版224 页ISBN：7302040427
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...
数理逻辑与机器证明

查看PDF目录购买本书
2222 年出版0 页
数理逻辑、集合

查看PDF目录购买本书
邱伟德胡美琛编著1987 年出版210 页
数理逻辑（离散数学一分册）

查看PDF目录购买本书
王捍贫1997 年出版271 页
数理逻辑基础（上册）

查看PDF目录购买本书
胡世华陆钟万1981 年出版228 页
数理逻辑

查看PDF目录购买本书
A.G.汉密尔顿著1986 年出版253 页
数理逻辑漫谈

查看PDF目录购买本书
莫绍揆编著1980 年出版80 页ISBN：13195·35
数理逻辑

查看PDF目录购买本书
（苏）马尔科夫，А.А.著；黄顺基译1960 年出版12 页ISBN：13010·789
非经典数理逻辑与近似推理第2版

查看PDF目录购买本书
王国俊著2008 年出版304 页ISBN：7030212959
本书大部分内容是作者近年来的研究成果。全书系统地讲述了各种三值逻辑、n 值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学...
数理逻辑引论

查看PDF目录购买本书
朱梧槚，肖奚安编著2008 年出版243 页ISBN：7561140339
本书主要介绍了命题与命题联结词，命题逻辑演算，谓词与量词，谓词逻辑演算，逻辑演算系统的整体特征，非经典逻辑纲要。
罗素五大讲演数理逻辑

查看PDF目录购买本书
1921 年出版44 页
高等院校文科试用教材数理逻辑讲义

查看PDF目录购买本书
刘治旺，邵春林，毕富生，赵哈黎编1982 年出版290 页
作为哲学的数理逻辑

查看PDF目录购买本书
杨睿之著2016 年出版218 页ISBN：9787309126587
作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者自上世纪中叶以来逐渐分道扬镳。本书将展示分析哲学与数理逻辑在它们的“蜜月期”中共同取得的重要成...
数理逻辑的思想与方法

查看PDF目录购买本书
李娜编著2016 年出版306 页ISBN：9787310050628
本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密，选材适当，体系完整，论述准确，并建立在...
数理逻辑第2版英文版

查看PDF目录购买本书
（美）恩德滕著2006 年出版330 页ISBN：7115141452
本书是数理逻辑课程的教材。
数理逻辑

查看PDF目录购买本书
（德）艾宾浩斯著2008 年出版289 页ISBN：7506292270
本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...
数理逻辑

查看PDF目录购买本书
（英）汉密尔顿著2003 年出版236 页ISBN：7302068100
本书系统地讲解了数理逻辑的基本部分——命题演算与谓词演算。
数理逻辑：基本原理与形式演算

查看PDF目录购买本书
李未著2008 年出版255 页ISBN：9787030200969
数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

首页上一页 1 234 5 6 7 下一页尾页

最新图书

热门图书