南方医科大学：《心理学实验软件应用》课程教学资源（讲义）第三章 矩阵运算与逻辑操作 Matrices and Logical operations（PPT）

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

中国地质大学（武汉）：《电工与电子技术》课程教学资源（实验内容）实验九 门电路逻辑功能的测试

2.1 分支结构 2.2 关系运算和逻辑运算 2.3 循环结构 2.4 break和continue语句 2.6 经典算法举例

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式

–推理的形式结构 –自然推理系统P

– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类

苏州大学：电子信息学院《数字系统与逻辑设计》课程教学大纲

苏州大学：电子信息学院《数字系统与逻辑设计》课程教学大纲

引言 直接证明 反证法 分情形证明 等价性证明 存在性证明 唯一性证明 寻找反例 数学与猜想