计算机科学导论课程简介内容摘要:

室的机会 4 课 程 简 介 • 教材与参考书 – 无合适教材 , 课件 – 部分讲座会给出相关的参考书 5 课 程 简 介 • 十次讲座的题目 – 代数等式理论的自动定理证明(面向高中背景) – 对程序进行推理的逻辑 (程序理论) – 程序设计语言类型系统 (程序理论) – 离散数学与计算机科学 (程序理论) – 经典计算的计算模型 (模型理论) – 计算复杂性和算法分析 (计算理论) – 面向计算机体系结构的程序优化(计算理论) – 多核体系结构与并行编程模型 (模型理论) – 新型计算模型和顺序交互的数学(模型理论) – 大数据的处理和分析 (综合应用) 6 课 程 简 介 • 术语解释参考 (课堂上不介绍) 1. 理论计算机。
阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体),仅供学习参考。 用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权,请联系我们反馈本站将在三个工作日内改正。