|
Instructors: | Kim Bruce |
|
| 222 Edmunds, x7-1866 |
|
| kim@cs.pomona.edu |
|
| http://www.cs.pomona.edu/~kim/ |
|
| Office Hours: MWThF 2:00 - 3:00 p.m. & by appt. |
|
|
|
| Yuqing Melanie Wu |
|
| 221 Edmunds, x7-9202 |
|
| Melanie.Wu@cs.pomona.edu |
|
| http://www.cs.pomona.edu/~mwu/ |
|
| Office Hours: M 4:00 - 5:00 p.m., W 7:00 - 9:00 p.m., Th 10:00 - noon,
& by appt. |
|
Lectures: | MWF 9:00 - 9:50 a.m., Edmunds 114 |
|
TAs: | Patrick Little, Gloria Liou, Austin Blatt & Daniel Weinand |
|
| 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/ |
|
Prerequisites: | (CSC052 or CSC060) and {(Math or CS) 55 or Math 103} |
|
|
