清华大学：《计算机组成原理》第六-八讲 计算机算法和算法逻辑实现

人民邮电出版社：高等学校计算机专业教材《离散数学》课程教学资源（PPT课件）第五章 谓词逻辑

人民邮电出版社：高等学校计算机专业教材《离散数学》课程教学资源（PPT课件）第四章 命题逻辑

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

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

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

《计算机学报》：一种用于指针程序安全性证明的指针逻辑

1.1数据结构研究的内容 一、对所加工的数据对象进行逻辑组织 二、将数据对象存储在计算机中 三、数据运算或处理 1.2基本概念和术语

编译逻辑过程 一、词法分析 二、语法分析 三、语义分析 四、中间代码生成 五、中间代码优化 六、目标代码生成 七、目标代码优化

餐饮企业原材料采集配送服务案例：03 新系统逻辑方案