Carleton University Graduate Calendar 2010-2011

Breadcrumb trail

Home /Courses/ MATH

Site navigation

  • Calendar Updates
  • Graduate Programs
  • Graduate Courses
  • The Academic Year
  • General Regulations
  • Awards and Scholarships
  • Graduate Supervisors
  • About the University
  • Calendar Archives
  • PDF version
  • Student Services
  • Undergraduate Calendar

Mathematics (MATH)

School of Mathematics and Statistics

MATH 5301 [0.5 credit] (MAT 5161)

Mathematical Logic

A basic graduate course in mathematical logic. Propositional and predicate logic, proof theory, Gentzen's Cut-Elimination, completeness, compactness, Henkin models, model theory, arithmetic and undecidability. Special topics (time permitting) depending on interests of instructor and audience.
Prerequisites: Honours undergraduate algebra, analysis and topology or permission of the instructor.

Summer session: some of the courses listed in this Calendar are offered during the summer. Hours and scheduling for summer session courses will differ significantly from those reported in the fall/winter Calendar. To determine the scheduling and hours for summer session classes, consult the class schedule at central.carleton.ca

Not all courses listed are offered in a given year. For an up-to-date statement of course offerings for the current session and to determine the term of offering, consult the class schedule at central.carleton.ca

top

  • Apply to Graduate Studies

    Apply!

    Application Deadlines

    Information about application deadlines can be found here.
  • LOGIN

    • MyCarleton Portal
    • WebCT
    • Carleton Central