Preview Workflow

The CIM Courses system will be down temporarily undergoing routine maintenance.

Viewing: MATH 6720 : Topics in Logic

Last approved: Wed, 11 May 2016 08:34:53 GMT

Last edit: Tue, 10 May 2016 14:36:24 GMT

Catalog Pages referencing this course
Columbian College of Arts and Sciences
Mathematics (MATH)
MATH
6720
Topics in Logic
Topics in Logic
Fall 2015
3
Course Type
Special Topics
Lecture
Default Grading Method
Letter Grade

Yes
100
No

Corequisites

20

Frequency of Offering

Term(s) Offered

Are there Course Equivalents?
No
 
No
Fee Type


No


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

Course Attribute


Key: 5648