This course introduces the applications of discrete mathematics in the field of computer science. It covers sets, logic, proving techniques, combinatorics, functions, relations, graph theory and algebraic structures. These basic concepts of sets, logic functions and graph theory are applied to Boolean Algebra and logic networks, while the advanced concepts of functions and algebraic structures are applied to finite state machines and coding theory.
The objective of this course is to
Apply formal mathematical, logical reasoning techniques and basic counting techniques to solve a variety of problems.
Apply algorithms to problems including searching algorithms, base conversion algorithms in the design and analysis of other algorithms, computability theory, software engineering, and computer systems.
To solve discrete probability problems sets in combinatorics and probability theory to media applications.
Apply Graph and Tree.
Lecture 1 & 2 -Propositional Logic & Propositional Equivalences
Lecture 3 & 4- Predicates and Quantifiers
Lecture 5&6 - Rules of Inference
Lecture 7&8 -Introduction to Proofs
Lecture 9 - Set Theory, Set Operation
Lecture 10 - Function
Lecture 11 - Number Theory
Lecture 12 - Solving Congruences
Lecture 13 - Counting
Lecture 14 - Combination, Permutation, Binomial Coefficient
Lecture 15 - Graph I
Lecture 16 - Graph II
Lecture 18 & 19 - Tree , BST , Tree Traversal
Lecture 20 - Relation
Lecture 21 - Boolean Algebra
Discrete Mathematics and its Applications, 8th Edition by Rosen, K.H.
Schaum's outline of discrete mathematics by Lipschutz S., Lipson M. [3rd Edition]
Discrete Mathematics- Veerarajan.T; McGraw-Hill Education, Year: 2018
Elements of Discrete Mathematics by Richard Hammack ; Virginia Commonwealth University