本课程涵盖了成为软件开发人员所需的所有数学。在这里，我们将讨论线性代数，现代分析，数学逻辑，数论和离散数学。在本课程结束时，您将能够分析和描述计算机科学的概念和方法。本课程为您提供了一个很好的机会，使您可以在编程时深入了解计算机系统中执行的所有过程。
该课程的具体目标如下：
- 了解如何将证明技术应用于您的计算机程序。
- 学习使用数论对消息进行加密和解密。
- 了解软件开发与离散数学和数字电子学之间的关系。
- 了解如何使用数学工具正确分析任何计算机算法。
- 了解如何在计算时应用微积分，概率论和线性代数。
- 了解如何将Lambda微积分应用于函数式编程。
本课程适用于：
初学者Java开发人员
初学者Python开发人员
初学者C＆C ++开发人员
计算机科学系学生
工程系学生
软件开发公司员工
MP4 | Video: h264, 1280×720 | Audio: AAC, 44100 Hz
Language: English | Size: 5.08 GB | Duration: 6h 33m
What you’ll learn
Proof Techniques. Mathematical Induction and Recursion Theory.
Mathematical Logic. Propositional and First Order Calculus. Godel Theorem.
Programs verifications and Model Checking
Linear Algebra. Matrix Theory in Computer Science.
Boolean Algebra and its applications in Digital Electronics.
Lambda Calculus as a Foundation of Functional Programming
Number Theory and Encryption.
Modern Statistics and Probabilistic Methods in Computer Science.
Functional Analysis and the efficiency of computer algorithms Decision Theory
资源均来自第三方，谨慎下载，前往第三方网站下载
