MATH 5680

Topics in Logic and Comp.

Lec 01 selected

This course covers topics of current interest in logic and/or the foundations of computation. Suitable topics include: formal logic, soundness and completeness, Gödel's incompleteness theorem, formal set theory, the Zermelo-Fraenkel axioms, non-standard models, independence of axioms, lambda calculus and foundations of functional programming languages, proof theory, semantics.

Sections

Lecture

Lec 01

Tue, Thu 11:35-12:55

Tue, Thu11:35-12:55LSC-Common Area C21413610

Syllabus

Have the syllabus for MATH 5680? Share it and everyone gets the grading, textbooks and rules.