Video 34 pts

1.1 数理逻辑介绍

数理逻辑科学 Added Oct 23, 2026
Neon cinema artwork behind the video player

Description

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

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

Reviews (0)

Discussion (0)

More Videos in This Category

Enjoyed this resource?

Share it with someone who would find it useful.

我们很乐意听到你的意见!

通过分享你的想法来帮助我们改进

📬 保持更新

获得关于热门资源的每周更新

📧 Get updates on new and trending resources in your favorite categories.