• 离散数学和计算机科学的关系 – 离散数学的特点、与计算机科学的关系 • 基本知识 – 偏序集合、最小上界、完全偏序集合、函数序、函数的单调性和连续性 • 递归函数的定义式的求解 – 函数的不动点、递归函数定义、递归函数定义的解、不动点算子、最小不动点定理 • 编程语言递归函数的数学语义

• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况

• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

第一节外部总线扩展 第二节存储器系统的基本知识 第三节外部存储器的扩展 第四节并行IO接口的扩展 第五节显示与键盘的扩展

1.1 中文Windows XP概述 1.2 中文Windows XP的基本知识与操作 1.3 中文Windows XP的资源管理器 1.4 中文Windows XP的控制面板 1.5 中文Windows XP的附件 1.6 Windows XP中文输入法 1.7 Windows XP多媒体技术的应用

§5-1 半导体的基本知识和探测器的工作原理 §5-2 能量测量半导体探测器 §5-3 半导体探测器的主要参量 §5-4 位置测量半导体探测器 §5-5 半导体探测器的应用

“三农\基本知识 农业现代化的内容与指标 农村、农民现代化和新农村建设 城乡一体化 关于“三农”的各种思潮 我国“三农”滞后的原因与出路

核酸的结构与功能-核酸的化学组成 核酸的结构与功能 The Structure and Function of Nucleic Acic 1868年,瑞士的内科医生 Friedrich Miescher从外科医院包扎伤口的绷带上的脓 细胞核中提取到一种富含磷元素的酸性化合物,将其称为核质(nuclein);后来 他又从鲭鱼精子中分离出类似的物质,并指出它是由一种碱性蛋白质与一种酸 性物质组成的,此酸性物质即是现在所知的核酸(nucleic acid)1944年 Oswalo Avery, Colin Macleod和 Maclyn McCarty发现,一种有夹膜

1、运用所学元素及化合物的基本知识，进行常见物质的分离和鉴别 2、进一步培养观察实验和分析现象中所遇到的问题的能力

第一节 给药的基本知识 第二节 口服给药法 第三节 注射给药法 第四节 雾化吸入法 第五节 药物过敏试验法 第六节 局部给药 滴药法 插入法 皮肤给药 舌下用药