|
Instructor: | Kim Bruce |
|
| 222 Edmunds, x7-1866 |
|
| kim@cs.pomona.edu |
|
| Office Hours: M 2:00 - 3:00 p.m., WTh 2:00 - 3:00 p.m., W 11
to noon, |
|
| F 1:15 to 2:15 p.m.
& by appt. |
|
Lectures: | MWF 10:00 - 10:50 a.m., Lincoln 1135 |
|
TAs: | Tingyu Huang, Karen Huddleston, Dmitriy Smirnov, & Matt Valentine |
|
| TA hours: Tuesday, Wednesday & Thursday 8-10 p.m. |
|
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} |
|
|
