逻辑数学综合搜索_中国高校课件下载中心

类型：试卷习题　大小：16.9MB　下载/浏览：11/2398　评论：9　评分：7.7　积分：10

考研数学测试题库（一）的试卷集锦，包括全国硕士研究生入学考试数学试题以及数学真题及其解析若干套，附解

类型：教学课件　大小：3.04MB　下载/浏览：7/2882　评论：5　评分：7.6　积分：10

湖南大学《工程数学》ppt完整课件（一），课件内容内容全面，附有习题和考研试题，内容章节包括：第一章

类型：电子教案　大小：7.89MB　下载/浏览：7/3126　评论：6　评分：7.8　积分：10

湖南大学《工程数学》ppt完整课件（一），课件内容内容全面，附有习题和考研试题，内容章节包括：第一章

类型：试卷习题　大小：3.86MB　下载/浏览：24/1620　评论：9　评分：7.1　积分：10

2002-2008年数学考研部分试卷。

类型：试卷习题　大小：420.1KB　下载/浏览：81/8246　评论：23　评分：6.9　积分：10

望能给准备考研的同学带来帮助，想考的好成绩做一定数量的题目是必要的，愿它能给你祝你考取理想的分数！

文档格式：PPT　文档大小：162KB　文档页数：33

第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论

文档格式：PPT　文档大小：216.5KB　文档页数：53

命题逻辑研究的是命题的推理演算．命题逻辑的基本概念命题联结词合式公式、重言式自然语句的形式化

文档格式：PPT　文档大小：1.28MB　文档页数：83

本章要求 >掌握逻辑代数的基本公式和基本定理 >掌握逻辑函数的化简方法

文档格式：PPT　文档大小：899KB　文档页数：86

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

文档格式：PPT　文档大小：496.5KB　文档页数：148

第一章命题逻辑