Recursion and Induction -- CS 389r -- Syllabus

Homepage: http://www.cs.utexas.edu/users/hunt/class/2004-spring/cs389r/cs389r.html


     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:  vladot@cs.utexas.edu
  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.