《高中数学》全程设计训练题库（B版必修第一册，课后习题，含答案）第1章 集合与常用逻辑用语 1.1.2 集合的基本关系

本章要求: >掌握触发器的基本类型及其状态描述 >了解触发器的结构与工作原理 >掌握触发器的基本应用电路

第1节 原始递归函数 第2节 递归函数 第3节 图灵机 第4节 图灵可计算函数与部分递归函数 第5节 递归可枚举集

《高中数学》全程设计同步配套教学课件（B版必修第一册）第1章 集合与常用逻辑用语_第1章 1.1.2 集合的基本关系

命题的基本概念 命题联结词 命题合式公式、重言式 自然语句的形式化

2.1 基本PROLOG 2.2 Turbo PROLOG程序设计

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

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

第2章基本数据类型 2.1整型 2.2浮点型 2.3字符型 2.4逻辑类型 2.5标准函数 2.6量的定义方法

3.2.1 BJT的开关特性 3.2.2 基本BJT反相器的动态特性 3.2.3 TTL反相器的基本电路 3.2.4 TTL逻辑门电路 3.2.5 集电极开路门和三态门 3.2.6 BiMOS门电路