Description

A course in mathematical logic covers Proof Theory, Model Theory, and the theory of Decidability. Topics include Sentential Logic, First order Logic, Deductive Calculus, Completeness and Soundness Theorems, Model theory, Isomorphisms, Compactness Theorem, and Godel's Incompleteness theorem, applications to theoretical computer science and complexity theory.

Credits

3

Attributes

College of Natural/Comp Sci

Recent Professors

Open Seat Checker

Schedule Planner

Recent Semesters

Fall 2018, Fall 2016

Offered

MWF

Avg. Class Size

25

Avg. Sections

1