Logic in Computer Science - Course Information

## Course Information

### Course Description

This is a beginning graduate-level class in mathematical logic with motivation
provided by applications in Computer Science. Topics include:
propositional and first-order logic; soundness, completeness, and compactness
of first-order logic; first-order theories; undecidability and Godel's
incompleteness theorem; and an introduction to other logics such as
second-order and temporal logic.

There are no formal prerequisites, but the pace of the class will require that
the students can cope with a significant level of mathematical sophistication.
### Textbook

Enderton, Herbert B. *A Mathematical Introduction to Logic*,
Second Edition.
### Lectures

Monday 5:00-7:00pm in room 102 of Warren Weaver Hall.
### Grading

Final grades will be based on the following:

40% Weekly Assignments

30% Midterm Exam

30% Final