Moocable is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

离散数学概论 Discrete Mathematics Generality

Peking University via Coursera

Description

离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。

本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，介绍离散数学基本概念和空间信息技术之间的联系与结合，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。

Tags
Electrical Engineering Social Media Marketing

Syllabus

  • 数理逻辑：基本概念
  • 数理逻辑：命题逻辑及形式系统
  • 数理逻辑：谓词逻辑及形式系统
  • 集合论：集合代数
  • 集合论：集合代数
  • 集合论：特殊关系及函数
  • 图论：图的基本概念
  • 图论：特殊图
  • 抽象代数
  • 形式语言与自动机：基本概念
  • 形式语言与自动机：有限状态机
  • 形式语言与自动机：图灵机与计算理论
  • 期末考试

离散数学概论 Discrete Mathematics Generality

Peking University
Start Learning Find study partner
Affiliate notice

  • Type
    Online Courses
  • Provider
    Coursera

离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。

本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，介绍离散数学基本概念和空间信息技术之间的联系与结合，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。

  • 数理逻辑：基本概念
  • 数理逻辑：命题逻辑及形式系统
  • 数理逻辑：谓词逻辑及形式系统
  • 集合论：集合代数
  • 集合论：集合代数
  • 集合论：特殊关系及函数
  • 图论：图的基本概念
  • 图论：特殊图
  • 抽象代数
  • 形式语言与自动机：基本概念
  • 形式语言与自动机：有限状态机
  • 形式语言与自动机：图灵机与计算理论
  • 期末考试

Tags

Electrical Engineering Social Media Marketing

Related Courses

Quick Links

Browse by subject

Browse by provider

Browse by university

Browse by publisher

Browse by institution

Roadmaps

Posts