4.52 (91 reviews)
☑ Proof Techniques. Mathematical Induction and Recursion Theory.
☑ Mathematical Logic. Propositional and First Order Calculus. Model 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
This course covers all Mathematics needed to become Software Developer. Here we will discuss Linear Algebra, Modern Analysis, Mathematical Logic, Number Theory and Discrete Mathematics. By the end of this course you will be able to analyze and describe computer science concepts and methods. This course is a great opportunity for you to gain deep understanding of all processes a executed in the computer system when programming. The specific objectives of the course are the following:
Learn how to apply proof techniques to your computer program.
Learn encrypting and decrypting messages with Number Theory.
Learn how the software development is related to Discrete Mathematics and Digital Electronics.
Understand how to use mathematical tools to properly analyze any computer algorithm.
Learn how to apply Calculus, Probability Theory and Linear Algebra while computing.
Understand how to apply Lambda Calculus to Functional Programming.
Boolean Variables Logic
De Morgan's Law
Boolean Exercise - Solution
Boolean Algebra for Digital Electronics
Boolean Operations in Computer Hardware
Computer Transistors and Gates
Circuit Representation and Exercise
Circuit Representation: Exercise Solution
Simplification of Logical Circuits
Set Reset Flip - Flop
Logical Circuits and SR Flip-Flop: Exercise Solution
Numerical Systems and Their Applications
Decimal Numerical System
Binary Numerical System
Two's Component Notation
Digital Representations and Error Detection
Representation of Characters and Numerical Values
Digital Representation of Sounds
Digital Representation of Images
Error-Correction in the Digital Systems
Operations With Sets
Set Theory Relations
the examples he gives are easy to understand though sometimes it becomes a little boring. but overall this course is good.
The course is very good and it covers a lot of material. The information is presented in a simple way , so even if you are not very good with math like me , can understand it.