This course will provide an introduction to mathematics oriented toward computer science and engineering.
| Sandeep Kumar Patel | Shashadhar Das |
| Topics | Slides | |||||
|---|---|---|---|---|---|---|
| Propositional Logic: Introduction | ||||||
| Propositional Logic: Deduction | ||||||
| Predicate Logic: Introduction | ||||||
| Predicate Logic: Fundamentals | ||||||
| Predicate Logic: Resolution Refutation | ||||||
| Proof techniques | ||||||
| Sets | ||||||
| Relations | ||||||
| Mathematical induction | ||||||
| Recursion | NA | |||||
| Summation | NA | |||||
| Integer functions | NA | |||||
| Generating functions | NA | |||||
| Counting | ||||||
| Graphs-I | ||||||
| Graphs-II | ||||||
| Trees | ||||||
| Planar graph |