2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

• 1.1 冶金的基本概念 • 1.2 冶金的相关学科 • 1.3 冶金工业发展史 • 1.4 现代冶金过程 • 1.5 钢铁产品及副产品 • 1.6 钢铁资源与能耗 • 1.7 冶金中的耐火材料 • 1.8 钢铁工业发展现状 • 1.9 环保、循环经济与钢铁可持续发展

一、填空题(每空1分,共20分) 1 称为空串; 称为空白串。 2.设S=“A;document/mary.doc”,则 strlen(s)= ,“的字符定位的位置 为

一填空题(每空1分,共15分) 1.数据类型是一个集合和定义在这个集合上的的总称。 2.算法有五个特征它们是、可行性、输入和输出

一、单项选择题(本大题共15小题,每小题2分,共30分)在每小题列出的四个选项中只有一个是符合题目要求的,请将其代码填在题后的括号内。错选或未选均无分 1.下列各式中,按增长率由小至大的顺序正确排列的是() .,n!, 2\, B.,2\, nlogn,2100 C.2n, logn, nlogn, n3/2 D.2100, logn, 2n

一、单项选择题(本大题共15小题,每小题2分,共30分)在每小题列出的四个选项中只有一个是符合题目要求的,请将其代码填在题后的括号内。错选或未选均无分 1.下面程序段的时间复杂度是() for(i=-0; i