数字逻辑文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：365.5KB　文档页数：64

一、逻辑结构设计的任务二、概念结构是各种数据模型的共同基础三、为了能够用某一DBMS实现用户需求，还必须将概念结构进一步转化为相应的数据模型，这正是数据库逻辑结构设计所要完成的任务

文档格式：PPT　文档大小：101.5KB　文档页数：8

本章是数理逻辑中的最基本内容，是下一章的基础.本章主要讲述命题与联结词、命题公式、恒真命题、等价式、蕴涵式及范式等基本内容；能将自然语言符号化；能用等价式、蕴涵式等进行命题演算和推理；能用逻辑推理的方法解决一些实际问题

文档格式：PPT　文档大小：323.5KB　文档页数：73

上海交通大学：《离散数学》课程教学资源（PPT课件）第5章谓词逻辑的等值和推理演算

文档格式：PDF　文档大小：1.36MB　文档页数：137

上海交通大学：《离散数学》课程教学资源（讲义）第五章谓词逻辑的等值和推理演算

文档格式：PDF　文档大小：3.36MB　文档页数：198

上海交通大学：《离散数学》课程教学资源（讲义）第一章命题逻辑的基本概念

文档格式：PDF　文档大小：2.25MB　文档页数：137

上海交通大学：《离散数学》课程教学资源（讲义）第四章谓词逻辑的基本概念

文档格式：PDF　文档大小：5.82MB　文档页数：327

上海交通大学：《离散数学》课程教学资源（讲义）第二章命题逻辑的等值与推理

文档格式：PDF　文档大小：506.19KB　文档页数：62

上海交通大学：《离散数学》课程教学资源（PPT课件）命题逻辑的推理

文档格式：PPT　文档大小：107KB　文档页数：7

高等学校计算机专业教材：《离散数学》课程PPT课件_第五章谓词逻辑

文档格式：PDF　文档大小：3.36MB　文档页数：198

上海交通大学：《离散数学》课程教学资源（讲义）第一章命题逻辑的基本概念