1.1数据结构的基本概念 1.2数据结构类型 1.3抽象数据类型 1.4数据与数据结构 1.5算法 1.6算法分析

（一）宇宙中的射电辐射 （二）射电天文的观测技术 （三）射电综合孔径(aperture synthesis)技术

中国科学技术大学：《量子化学》课程教学资源（参考书籍）《物质结构导论》Point Group Character Tables

通过本节学习，了解“绿色”信息产业并 注意健康保护；了解信息产业企业的道德 准则和从业人员道德准则；了解与计算机 科学技术有关的法律法规；了解与计算机 科学技术有关的职业、职位及择业的基本 原则；懂得终生学习的重要性，树立终生 学习的理念

20世纪40年代诞生的电子数字计算机（简称计算 机--Computer）是20世纪最重大的发明之一，是 人类科学技术发展史中的一个里程碑。 半个世纪以来，计算机科学技术有了飞速发展， 计算机的性能越来越高，价格越来越便宜，应 用越来越广泛

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

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

• 基本知识 – 计算、计算模型、并行计算模型 • 图灵机概述 – 图灵的基本思想、基本图灵机、图灵机的变种 • 演算 – 表达式的文法、 演算的变换规则、Church数码 • 递归函数 – 直观意义的可计算函数、原始递归函数、递归函数

• 基本知识 – 多核体系结构、并行编程模型 • 内存一致性模型 – 严格一致性模型、顺序一致性模型、内存一致性模型的重要性 • 共享变量并行编程模型 – 同步、锁、临界区、条件变量、死锁、数据竞争 • 消息传递并行编程模型 – 消息传递、同步与异步

• 基本知识 – 人−机−物三元世界、云计算、未来网、物联网、泛在网、图灵机计算模型、网域计算模型 • 交互计算 – 经典计算与交互计算、交互的特点、交互的机器模型、能描述交互的演算 • 从归纳到余归纳 – 良基集、非良基集、余归纳、互模拟 • 从代数到余代数 – 笛卡尔积, 可区分并, 余代数, 代数和余代数的区别