The CIM Courses system will be down temporarily undergoing routine maintenance.
May 11, 2016 by Misrak Negatu (misrak)
MATH 6720 : Topics in Logic
Wed, 11 May 2016 08:34:53 GMT
Tue, 10 May 2016 14:36:24 GMT
Catalog Pages referencing this course
Columbian College of Arts and Sciences
Long Course Title
Topics in Logic
Short Course Title
Topics in Logic
Number of Credits
Default Grading Method
Repeatable for Credit?
Frequency of Offering
Are there Course Equivalents?
Are Fees Applicable?
Explanation and Description of Fees
Are Additional Resources Required?
Explanation of Additional Resources
Justification for Additional Resources
Describe any Sources of Additional Funding
Topics selected from a broad spectrum of areas of logic and applications, based on students' suggestions and interests. Recent selections have included computable mathematics, computable model theory, computability theory, set theory, and algorithmic learning theory. May be repeated for credit with permission.
As a result of completing this course students should be able to: 1. analyze computability theoretic properties of functions, sets, and countable algebraic structures; 2. use the coding method to construct objects with various complexity properties; 3. apply the extension and the priority methods to diagonalizing against infinitely many requirements; 4 establish and apply correspondence between defineability and computability; and 5. classify and compare mathematical objects within the arithmetical and the Turing degree hierarchies.
Uploaded a Course Syllabus
Explanation of how the course differs from similar GW courses
Course Reviewer Comments