1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论

本章习憲屮的绝大部分都属于以下两种类型:一类是存储器扩展容量的方 法,另一类是用存储器设计组合逻辑电路

▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类 重言式 矛盾式 可满足式

一、对偶式与对偶原理 二、析取范式与合取范式 三、主析取范式与主合取范式

M文件 基本运算：算术、关系、逻辑 简单的输入输出 控制结构：顺序、选择、循环

6.1无符号数和有符号数 6.2数的定点表示和浮点表示 6.3定点运算 6.4浮点四则运算 6.5算术逻辑单元

11.1 双稳态触发器 11.2 寄存器 11.3 计数器 11.4 555定时器 11.6 数模和模数转换

6.1无符号数和有符号数 6.2数的定点表示和浮点表示 6.3定点运算 6.4浮点四则运算 6.5算术逻辑单元

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

信息科学技术学院2003-2004学年第一学期本科生期末考试试卷（数理逻辑）