Description
This course covers elementary discrete mathematics for computer science. It emphasizes mathematical definitions, logical inference, and proof techniques. Topics include propositional logic, first-order logic, proof methods;
sets, functions, relations; mathematical induction, recursion; elementary graph theory; basic complexity theory, recurrences.
sets, functions, relations; mathematical induction, recursion; elementary graph theory; basic complexity theory, recurrences.
General Information
No information, yet. Stay tuned!
Name | Office Hours | |
---|---|---|
Julian Michael | When? Where? | |
Ruohan | When? Where? | |
Isil Dillig | When? Where? |
Homework
Nothing has been added to the Homework section, yet. Stay tuned!
Lecture Notes
Nothing has been added to the Lecture Notes section, yet. Stay tuned!
General Resources
Nothing has been added to the General Resources section, yet. Stay tuned!