MATH 3110 - Fndtn Math Logic & Application

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