Instructors
Prof.: Delia Graff
Email: dg89@cornell.edu
Office: 322 Goldwin Smith Hall
Office Hours: Thursday: 10:30 - 12:00
|
T.A.: Robert Gormley
Email: rsg26@cornell.edu
Office: 344 Goldwin Smith
Office Hours: Wenesday 1:20 - 2:20
|
T.A.: Allyson Mount
Email: alm45@cornell.edu
Office: 223 Goldwin Smith Hall
Office Hours: Wednesday 3:30 - 4:30
|
|
Course Description
| The course covers the basics of propositional and
first-order logic. We are using a textbook accompanied by a
software package (Barwise and Etchemendy, Language, Proof and
Logic), which will make it easier to learn the skills
necessary for doing formal proofs. No prerequisites. |
Course Info
Lecture Times: Monday - Wednesday 2:30 - 3:20.
Lecture Location: Goldwin
Smith Hall: Kaufmann Auditorium
Section Time: Friday 2:30 - 3:20. (See announcements page for
locations)
(Occasionally we will have lecture on Fridays, in Kaufmann,
instead of having sections.
Be on the lookout for this on
the class announcements page.)
|
|
