《计算机科学数学》教学大纲
考试专题 来源: 计算机科学数学 教学大纲 2025-09-24 大 中 小
学时 | 教学内容 | 教学方式 |
8 | 计算机科学的缩影_图灵奖成就介绍 | |
2 | 数理逻辑简介 | |
2 | 多值逻辑、模糊逻辑、模态逻辑 | |
2 | 时态、线性、组合、非单调、直觉主义逻辑 | |
2 | 抽象代数、范畴论 | |
2 | 组合学、密码学 | |
2 | 算法、算法学 | |
2 | 随机化算法 | |
2 | 自动机理论、形式语言理论 | |
2 | 可计算性理论 | |
2 | 计算复杂性理论 | |
4 | 形式语义、类型论 | |
2 | 并发模型、程序逻辑 | |
2 | 混合计算模型 | |
2 | 程序验证 | |
6 | 数理统计 | |
4 | 量子计算与量子信息学简介 |
学习关键字:
高考频道 | 高中学考网 | 高考成绩查询网 | 高考志愿填报系统入口 | 高考报名系统入口 | 学习地图 | 字数统计工具 | 在线科学计算器 | PDF签名工具 | PNG转PDF | PDF转图片 | PDF转PNG工具 | 图片格式转换 | PNG转JPG | 年龄计算器工具 | 人民币大写 | PHQ-9抑郁症筛查量表 | PHQ-2抑郁症快速筛查 | 内蒙古高考学习网 | 江西学习网 | 广西高考学习网 | 中考招生信息网 | 山西高考学习网 | 贵州学习网 | Online Image Processing | 山东中考学习网 | 文本差异对比工具 | 抑郁症自测 | 在线图片合并 | ICO图标生成工具 | 在线实用网页小工具 | 河北中考信息网 | 四川中考招生信息网 | 广东中考招生信息网 | PDF合并工具 | 陕西中考招生信息网