|
所在平台: Coursera |
课程主页: https://www.coursera.org/learn/dmathgen
课程评论：没有评论
课程名称：离散数学概论 概述：离散数学是计算机科学的基础理论，掌握离散结构的基本知识和逻辑思维的形式化是信息技术类学生的重要基础。这门课程介绍计算机科学和信息技术理论的基本概念和思维方法，涵盖数理逻辑、集合论、图论、抽象代数以及形式语言与自动机等重要领域。课程旨在帮助学生理解和掌握离散数学的基本概念，使其能够运用形式化的方法分析问题，并自觉运用逻辑分析、结构层次分析和同构类比等思维方法解决问题。 课程大纲： 1. 数理逻辑：基本概念 2. 数理逻辑：命题逻辑及形式系统 3. 数理逻辑：谓词逻辑及形式系统 4. 集合论：集合代数 5. 集合论：特殊关系及函数 6. 图论：图的基本概念 7. 图论：特殊图 8. 抽象代数 9. 形式语言与自动机：基本概念 10. 形式语言与自动机：有限状态机 11. 形式语言与自动机：图灵机与计算理论 12. 期末考试 通过本课程的学习，学生将能够理解离散数学的基本概念，并能运用相关知识分析和解决实际问题。
Name:数理逻辑：基本概念
Description:
Name:数理逻辑：命题逻辑及形式系统
Description:
Name:数理逻辑：谓词逻辑及形式系统
Description:
Name:集合论：集合代数
Description:
Name:集合论：集合代数
Description:
Name:集合论：特殊关系及函数
Description:
Name:图论：图的基本概念
Description:
Name:图论：特殊图
Description:
Name:抽象代数
Description:
Name:形式语言与自动机：基本概念
Description:
Name:形式语言与自动机：有限状态机
Description:
Name:形式语言与自动机：图灵机与计算理论
Description:
Name:期末考试
Description:
离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，介绍离散数学基本概念和空间信息技术之间的联系与结合，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。
