| Syllabus | Essential Handouts | Homework Assignments |
Formal logic is important in computer science and other fields as a
model of representation and reasoning. For example, logic underlies
the specification of circuit design, the formation of queries
in database systems, the specification and semantics of programming
languages, and the automation of proofs in artificial intelligence.
This course will study formal logic, with an emphasis on
propositional and first-order predicate logic. There will be a
few small programming assignments in Prolog, but the course is
primarily theoretical and will provide the student with
knowledge of the logic representation schemes used in many
advanced computer science courses.
CISC-304 satisfies the requirement of an upper-level math
course for the B.S. degree in computer science.