Unique Number: 51315 Class Room Number: Welch 3.266 Class Time: Tuesday, 10:00 -- 1:00 pm Class Textbook: Recursion Theory Textbook Author: Joseph R. Schoenfield Textbook ISBN: 1-56881-149-7 Office Location: Taylor 2.108 Office Hours: Monday, 2:00 -- 4:00 pm, Wednesday, 1:00 -- 2:00 pm Instructor: Warren A. Hunt, Jr. Teaching Assistant: Vladimir Trifonov Office Location: PAI 5.36A Office Hours: Thursday, 2:00 -- 3:00 pm; Friday, 3:00 -- 4:00 pm TA E-mail: firstname.lastname@example.org TA Announcements: http://www.cs.utexas.edu/users/?
Below is an approximate syllabus for the class. We may adjust the content to suit the interests of the class.
Jan 20 Introduction Jan 27 Using induction for proof Feb 3 Several induction schemes Feb 10 Formalizing Shoenfield's programming language Feb 17 Macro and recursive definitions Feb 24 Bounded quanifiers and Codes, Project descriptions due Mar 1 Indices and Church's Thesis Mar 9 Discussion of further topics Mar 16 Spring Break Mar 23 The remainder to be determined Mar 30 Apr 6 Apr 13 * Apr 20 In-class Exam Apr 27 Student project presentations May 4 Student project presentations
Return to CS389r course homepage.