河南中医药大学：《数据库规划与设计》课程教学资源（实验指导）实验5 逻辑数据模型LDM的创建及管理

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_28/29

1、掌握关系运算符、逻辑运算符及其表达式的正确使用。 2、掌握 if 语句和 switch 语句的使用。 3、了解程序调试的基本方法

5.1 概述 5.2 基本R-S触发器 5.3 钟控(同步)触发器 5.4 主从触发器 5.5 边沿触发器

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c02

西安石油大学：《统计学 Statistics》精品课程教学资源（实例库）农业普查方案_乡镇普查表逻辑关系

2.1 基本PR0L0G 2.2 Turbo PR0L0G程序设计

2.1 基本PROLOG 2.2 Turbo PROLOG程序设计

西安石油大学：《电子技术基础（数字）Fundamentals of Electronic Technique（Digital Logic Circuits）》课程教学资源（电子教案，打印版）逻辑代数基础

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