MATH 712 -- MATHEMATICAL LOGIC I: FORMAL LANGUAGES AND THEIR MODELS

FALL 2009

Time and Room: MWF at 11:00 in MTH 1313

Instructor: Professor David W. Kueker
Office: MTH 2105
Phone: (301)405-5159
dwk@math.umd.edu
Office Hours: MW 2:00

Description: Math 712-713 is a self-contained introduction at the graduate level to the main areas of modern mathematical logic.

The course syllabus is available here: Syllabus

The notes are available here: Introduction

Chapters 1-5

A Note on Model Completeness

Homework Assignments will be available here: Homework I

Homework II

Homework III

Homework IV

Homework V

Homework VI

Homework VII

Homework VIII

Here is a sample midterm exam: Sample Midterm