Recursion and Induction -- CS 389r -- Homepage

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



        Unique Number:  51350
           Class Room:  GDC 2.210

           Class Days:  Tuesday, Thursday

           Class Time:  12:30 pm -- 2:00 pm

           Instructor:  "Warren A. Hunt, Jr." <hunt@cs.utexas.edu>

   Teaching Assistant:  "Zhiyang Xun" <zxun@utexas.edu>

     Office Locations:  Hunt:  GDC 5.826

         Office Hours:  Hunt:  Tuesdays, Thursdays:  2:00 pm to 3:00 pm
                               in the GDC 5th-Floor Conference room (GDC 5.816)
                               or at the big table outside my GDC 5th-Floor office

         Office Hours:  Xun:   Tuesdays, 10:30 am to 11:30 am, GDC 5.816
                               Fridays, 10:00 am to 11 am, GDC 5.828

Every time you start to work, check this page! Important announcements, changes, and other course information can be found here!

This webpage and the webpages transitively reachable from this webpage are the definitive resource for assignments, laboratories, projects, and other class-related issues.

I placed a copy of Moore's ACL2 Tutorial slides in our "talks" directory; see below for a link to these slides.

Announcements

CANVAS discussion group has been created. Contact class TA, Zhiyang, for additional information.

Talks

Miscellaneous Information

Below is a link that may provide helpful information for those would like a review of mathematical logic and its use. We will be concerned with the Theorems of the Propositional Calculus (Section 1).