| Instructor: | Anu Pakanati |
| Office Hours: | Mon – Thu 5:15 – 7:15 pm in EB 3353. |
| Email: | pakanati@msu.edu |
| Lecture: | Mon – Thu 10:20 – 12:10 pm in EB 1225 |
| Teach. Asst.: | Alireza Ameli |
| Office Hours: | Mon – Thu 2:00 – 4:00 pm in EB 3353. |
| Email: | ameliren@msu.edu |
Course Description
Propositional and first order logic. Equivalence, inference and method of proof. Mathematical induction, diagonalization principle. Basic counting. Set operations, relations, functions. Grammars and finite state automata. Applications to computer science and engineering.
Prerequisites
One of MTH 133, MTH 126, MTH 153H, or LBS 119