CS U290 Logic and Computation
Spring 2008

[Syllabus] [Lectures] [Assignments]


Announcements: Check here regularly for updates.

Lectures

Section 01: M,W,Th 10:30 AM-11:35 AM, 106 West Village Bldg G.
Section 02, M,W,Th 4:35 PM-5:40 PM, 104 West Village Bldg G.

Professors

Pete Manolios
Office hours: Wed 3:00-4:35 WVH 332, and by request
Email:

Riccardo Pucella
Office hours: Mon 3:00-4:35 WVH 328, and by request
Email:

Teaching Assistants

Peter Dillinger
Office hours: 3:20-5:20 Tuesdays, WVH 330
Email:

Stevie Strickland
Office hours: 2:00-4:00 Wednesdays, WVH 308
Email:

Zhifeng Sun
Office hours: 12:00-2:00 Mondays, WVH 266
Email:

Dimitrios Vardoulakis
Office hours: 3:00-5:00 Wednesdays, WVH 308
Email:

Tutors

Christian Mutaba
Office hours:
Email:

Sky O'Mara
Office hours:
Email:

Grading

Textbooks

The textbook is Computer Aided Reasoning by Kaufmann, Manolios, Moore. Order it right away from here.

Prerequisites

CS U200 and CS U211
If you do not have this background you should get the permission of the instructor.