|
Instructor: | Kim Bruce |
|
| 222 Edmunds, x7-1866 |
|
| kim@cs.pomona.edu |
|
| Office Hours: MWThF 2:00 - 3:00 p.m.,
& by appt. |
|
Lectures: | MWF 11:00 - 11:50 a.m., Lincoln 1135 |
|
TAs: | Bea Metitiri & David Scott |
|
| TA hours in HMC Platt Campus Center |
|
| - Wednesday 10 p.m. to midnight, Bea |
|
| - Thursday 8-10 p.m., David |
|
Texts: | Automata, Computability, and Complexity by Elaine Rich |
|
| Logic in Computer Science, 2nd Edition by Michael Huth & Mark Ryan |
|
Course web page: |
http://www.cs.pomona.edu/classes/cs081/ |
|
Instructor's web page: |
http://www.cs.pomona.edu/~kim/ |
|
Prerequisites: | (CSC052 or CSC060) and {(Math or CS) 55 or Math 103} |
|
|
