Professor Roger Kraft
Office: Classroom Office Building, Room 368
Office phone: (219) 989-2696
Office hours: 2:00--4:00 MW, and by appointment.
E-mail: roger@purduecal.edu
This course is the study of finite and discrete mathematical structures relating to the theory of computation. Topics will include Boolean algebra, logic, inference rules, sets, recurrence relations, recursion, finite state machines, directed and undirected graphs, combinatorial problems inherent in computation.