%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
        OUTLINE OF LOGIC RELATED COURSES 2009-2010   4/17/09
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
PREPARED BY ROBERT SOARE, posted on web site:
www.people.cs.uchicago.edu/~soare/Courses/logic_sep09

============================================================================
FALL 2009:

Math 277 = CS 277       Mathematical Logic I            Maryanthe Malliaris
T, Th 12:00-1:30

Math 308-09             Model Theory III                Maryanthe Malliaris
T, Th 1:30-2:50

============================================================================

WIN 2010:

Math 278 = CS 278       Logic II                           Maryanthe Malliaris
T, Th 12:00-1:30

Math 306-10            Advanced Topics in Logic I          Denis Hirschfeldt
T, Th 1:30-2:50

Math 302 = CS 380      Computability Theory I                R. Soare
MWF 11:30

Math 304-10            Computability Theory III               R. Soare
MWF 1:30               Prereq:  Math 303.  (Topics to be determined)

==================================================================================

SPRING 2010:

Math 307-10            Advanced Topics in Logic II            Denis Hirschfeldt
T, Th 1:30-2:50

Math 303 = CS 381      Computability Theory II                          R. Soare
MWF 11:30

Math 305-10            Computability Theory IV                          R. Soare
MWF 1:30               Prereqs:  Math 303.  (Topics to be determined)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Note.  Denis Hirschfeldt will also teach an undergrad math course at the request
        of John Boller and Diane Herrmann.
NOTE.  Maryanthe Malliaris will teach one calculus course in spring, 2010.
NOTE.  Antonio Montalban will be on leave for 2009-2010 and will not be teaching.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%