1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

一． 多值依赖及第四范式 二． 数据依赖的公理系统  逻辑蕴涵  Armstrong公理系统  函数依赖集的闭包  函数依赖集的等价及最小函数依赖集

一、关系模型概念回顾 二、关系模式中可能存在的异常 三、关系模式中存在异常的原因 四、关系模式的规范化 五、数据依赖的公理系统 六、模式分解 七、规范化小结

 关系模型概念回顾  关系模式中可能存在的异常  关系模式中存在异常的原因  关系模式的规范化

1.1 建筑数字技术及其发展概况 1.2 建筑数字技术在建筑设计中的应用 1.3 数字化建筑设计软件简介

BIM建筑信息技术概述 • BIM概念 • BIM建模技术 • 基于BIM技术软件优势-以ArchiCAD为例 • BIM技术特点-常见问题

4.1 概述 4.2 神经计算 4.3 模糊计算 4.4 粗糙集理论 4.5 遗传算法 4.6 进化策略 4.7 进化编程 4.8 人工生命 4.9 粒群优化 4.10 蚂群算法 4.11 自然计算 4.12 免疫算法

思想政治理论课公共课教学大纲 《思想道德修养与法律基础》 《中国近现代史纲要》 《马克思主义基本原理》 《毛泽东思想和中国特色社会主义理论体系概论》 《形势与政策》 《军事理论》 大学计算机公共课教学大纲 《大学计算机基础》 《程序设计基础》 大学英语公共课教学大纲 《大学英语》 《大学英语（跨文化交际英语）》 《大学英语（学术英语）》 大学体育公共课教学大纲 《篮球》 《排球》 《足球》 《兵乓球》 《羽毛球》 《网球》 《健美操》 《艺术体操》 《全健排舞选项》 《瑜伽》 《武术》 《散打》 《游泳》 《毽球选项》 《养生保健》 《健身健美》 《荷球》 《拳击》 《咏春拳》 大学语文与应用文写作公共课教学大纲 《大学语文与应用文写作》 高等数学公共课教学大纲 《高等数学 1A》 《高等数学 1B》 《高等数学 1C》 《概率论与数理统计》 《线性代数》 大学物理公共课教学大纲 《大学物理 1A》 《大学物理 1B》 《大学物理 1C》 大学化学公共课教学大纲 《普通化学 1A》 《普通化学 1B》 《普通化学 1C》 《有机化学 1A》 《分析化学 1B》 创新创业 《大学生心理健康指导》 《大学生创新创业基础》 《大学生职业发展与就业指导》 《批创思维导论》 教育学、心理学、现代教育技术公共课教学大纲 《教育学》 《心理学》 《现代教育技术》 综合素质公共 《歌唱基础》 《合唱》（康启东） 《音乐基础知识与音乐欣赏》 《器乐演奏基础（陶笛）》 《器乐演奏基础（葫芦丝）》 《佛山武术》 《保健康复》 《实战咏春》 《台球》 《健康体适能》 《知识产权法》

本课程的目的和任务是使学生掌握正投影法的基本理论及其应用；培养学生阅读和绘制机械图样的基本能力；培养和发展空间想象能力、空间分析和解决问题能力；培养学生现代工程意识和创新设计能力及应用典型的绘图软件进行计算机绘图和构型设计的能力。培养认真思考的工作态度和严谨细致的工作作风