Description
This course will cover the following topics: Logic and Proofs, Propositional Logic, Propositional Equivalences, Predicates and Quantifiers. Set theory: Sets, Relations, Functions, partially ordered sets. Recursion. Mathematical Induction. Graph Theory. Euler and Hamilton Paths, Shortest-Path Problems, Planar Graphs, Graph Coloring. Trees. Boolean Functions, Representing Boolean Functions, Logic Gates and Circuits
Credits
3 Hours