Mathematical Logic Related Courses 2008-2009

logic_sep09  OUTLINE OF LOGIC RELATED COURSES 2009-2010   4/15/09


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-10           Computability Theory I             R. Soare 

MWF 11:30        Prereq:  Math 255.  


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-10             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.  Antonio Montalban will be on leave for 2009-2010 and will not be teaching.