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.

Prerequisites

The prerequisite is analysis of algorithms or consent of instructor. Note that the pace of the course will require students with a significant level of mathematical sophistication. They should be especially familiar with sets, functions, proofs, and abstract reasoning.

Textbook

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

Lectures

Tuesday 5:00-6:50pm in room 317 of Warren Weaver Hall.

Grading

Final grades will be based on the following:

40% Weekly Assignments
30% Midterm Exam
30% Final

Academic Integrity

Please review the
departmental academic integrity policy. In this course, you are encouraged to work together on the assignments. However, any help you receive must be clearly explained. Turning in solutions to homework or exam questions found on the internet or elsewhere as your own work is not permitted. Copying without giving appropriate acknowledgement is a serious offense with consequences ranging from no credit to potential expulsion.