计算机离散数学视频教程,离散数学(全105讲)【理工学社】
简 介
通过数理逻辑,你可以把啰嗦的推理过程写成简洁的公式,这可是学术论文的必备要素;在集合论里,你可以知道自然数是怎么来的,数学归纳法为什么会那么神奇?你在《数据结构和算法》里学到的许多东西,源头尽在图论里边;最后我们来认识一下计算机的本质,一起探讨机器能力的极限,以及人类知识的边界。
课程概述
离散数学是计算机科学的基础理论,离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功,离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。
本课程介绍计算机科学和信息技术理论基础的概念和思想方法,介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念,培养学生理解和掌握离散数学基本概念,采用形式化方法分析问题,并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。
授课目标
本课程的目标,重点在于基本概念的理解和掌握,并不会涉及到太多的数学证明和解题的技巧。
我们主要培养采用形式化方法来分析问题,并能够自觉运用逻辑分析、结构层次分析和同构类比等思想方法来解决问题的能力。
另外,本课还能够帮助你理解和欣赏一些经典的科幻作品。
你准备好了吗?
课程大纲
1 课程介绍
课程简介
正式内容之前
2 数理逻辑-基本概念
命题与联结词
命题公式
单元2测验
3 数理逻辑-命题逻辑及形式系统
重言式
范式
命题演算形式系统
单元3测验
4 数理逻辑-谓词逻辑及形式系统
谓词公式
谓词演算形式系统
自然推理系统
单元4测验
5 集合论
集合基本概念
归纳定义
单元5测验
6 集合论-集合代数
关系定义
关系运算
关系特性
单元6测验
7 集合论-特殊关系及函数
特殊关系
函数
单元7测验
8 图论:图的基本概念
图的定义
连通性
单元8测验
9 图论-特殊图
二分图
树
单元9测验
10 抽象代数
代数结构
特殊元素
代数结构间的关系
单元10测验
11 形式语言与自动机:基本概念
形式语言
形式语法分类
单元11测验
12 形式语言与自动机-有限状态机
状态图
商机器
带输出的机器
单元12测验
13 形式语言与自动机-图灵机与计算理论
图灵机
通用图灵机
停机问题
单元13测试
预备知识
本课程面向广大理工科专业的本科生及相关IT行业从业人士,介绍计算机科学和信息技术理论基础的概念和思想方法。
先修过"高等数学"、"计算概论"、"数据结构与算法"等理科基础课程最好,但这些先修课并不是必须的,有基本数理概念也可以选修本课程。
计算机离散数学视频教程,离散数学(全105讲)【理工学社】相关推荐
- 分享GPS原理及其应用视频教程 李征航 全74讲 武汉大学
GPS原理及其应用视频教程 李征航 全74讲 武汉大学 链接:https://pan.baidu.com/s/1Syc4oksVAJSyzW_n8Rn0Sw 提取码:1tih 复制这段内容后打开百度网 ...
- 计算机专业的课程设置特点,计算机类专业“离散数学”课程设置的意义
[摘 要]离散数学是研究离散的.有限对象的科学,它广泛地应用于计算机科学,是计算机科学的数学基石.学习离散数学的学生大部分来自计算机科学专业,然而,计算机科学专业的大学生在离散数学课程学习中存在很多认 ...
- 计算机数学程序,计算机数学基础(1)离散数学部分
<计算机数学基础(1)离散数学部分>由会员分享,可在线阅读,更多相关<计算机数学基础(1)离散数学部分(17页珍藏版)>请在人人文库网上搜索. 1.离散数学复习提纲一.基本内容 ...
- python自动化办公百度云_用Python自动办公 做职场高手全16讲 完整版 视频教程
python这门编程最近可是非常火,不是俗谚有说"人生苦短,我用python".这是有道理的,一是它相对于其他语言,更简单易上手,二是功能可大,可以爬虫,可以写工具. 这里分享给大 ...
- 视频教程-python全栈习题课-Python
python全栈习题课 奥格斯堡大学计算机系毕业,后从事十年年Python,Java开发,后转入培训行业,现在为北京图灵学院Python职业讲师 刘英 ¥368.00 立即订阅 扫码下载「CSDN程序 ...
- java编写的atm机项目结题报告_《计算机学院视频教程网站的创建》教学研究项目结题报告.pdf...
<计算机学院视频教程网站的创建>教学研究项目结题报告.pdf 还剩 8页未读, 继续阅读 下载文档到电脑,马上远离加班熬夜! 亲,喜欢就下载吧,价低环保! 内容要点: <计算机学院 ...
- 精选收集50个计算机热门视频教程免费下载[原创]
精选收集50个计算机热门视频教程免费下载[原创] 发扬网络共享精神,让免费资源传遍整个互联网.以下是本人精心挑选的50个计算机视频教程.收集不易,请各位网友多多支持. 欢迎大家转载,发扬共享精神. 0 ...
- 视频教程-Python全栈视频教程-Python
Python全栈视频教程 毕业于清华大学,曾担任Google算法工程师,微软人工智能领域全球最具价值专家,微软Tech Ed 大会金牌讲师. 精通C/ C++,Python ,Go语言,Sicikit ...
- 【完整版-斯坦福-密码学】全13讲(绪论)【笔记】
目录 写在前面的话 参考资料 笔记 写在前面的话 个人笔记,仅供参考,不喜勿喷,谢谢大家. 参考资料 视频:[完整版-斯坦福-密码学]全13讲 理解密码学:如何理解"语义安全(semanti ...
- 1.3T计算机学科视频教程
1.3T计算机学科视频教程 人工智能 百度网盘地址: https://pan.baidu.com/s/1_eoVIwUijTDjw8v5pVDccA?pwd=ndku 阿里云盘地址(不限速): htt ...
最新文章
- KDD'20 Workshop 来了!学术竞赛,发表Paper,针对疫情设计隔离策略
- 《Red Hat Linux命令速查》—— 带你玩转字符游戏
- 动态规划入门 洛谷P1108 低价购买
- html5shiv.js和respond.min.js的作用
- onDraw什么时候被调用?
- 最具体的历史centos下一个 postfix + extmail + dovecot + maildrop 安装注意事项2014更新...
- android+4.4+稳定性,新系统新UI!台电A10h四核安卓4.4.2性能测试
- 华科计算机系研究生遗书,看完华中科大研究生遗书《狗血的研究生生涯》,泪目了!有话要说...
- 【To Do!】程序员面试金典——18.8子串判断
- 直线扫描转换-DDA算法
- Epson LQ1600K3+ 打印区域
- C# MVC 微信支付教程系列之公众号支付代码
- 笔记............................
- czl蒻蒟的一周总结(9.4~9.10)
- this和this.$router这个方法在setup()里使用竟然是undefined----使用composition-api踩到的坑总结篇
- 14. Working with Dates and Times in R
- 【企业网盘】公有云和私有云的9大差异
- stio简介及基于阿里云ACK安装Istio
- 数据显示最近一次上涨由散户推动,我们刚进入牛市中期
- HDU 1427 速算24点(DFS) *
热门文章
- gridview生成的html,.NET_GridView生成的HTML代码示例对比,复制代码 代码如下: asp:GridV - phpStudy...
- java 静态方法 非静态变量_深度分析:Java 静态方法/变量,非静态方法/变量的区别,今天一并帮你解决!...
- linux map内存在哪里分配,linux内存分配与回收
- [CF559C]Gerald and Giant Chess
- 【java】彩票中奖码生成器:java.util.Random里的方法public int nextInt(int bound)
- jFinal 2.2入门学习之一:搭建框架输出helloword
- linux 命令(7) df
- window文件恢复工具
- 【C语言】16-预处理指令2-条件编译
- gmm聚类python_聚类算法GMM和KMeans?