CSCI 37100 - Advanced Symbolic Logic
Overview
Course Title
Advanced Symbolic Logic
Department(s)
Description
A survey of the central results and techniques of metalogic, principally mathematical induction, the soundness and completeness of theorems for first-order logic, the Skolem theorem, and Church's theorem on undecidability.
Typically Offered
All Terms
Academic Career
Undergraduate
Credits
Minimum Units
3
Maximum Units
3
Academic Progress Units
3
Repeat For Credit
No
Components
Name
Lecture
Hours
3
Requisites
029789