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.

REMEMBER! Projects are due by end of the day on last day of classes, Monday, April 28, 2025, by 6 pm CDT. A project submission must be a single ACL2 Lisp file that can be evaluated by: cat <UTEID>.lisp | acl2

Thus, you must name the single file you submit ``<UTEID>.lisp'' where <UTEID> is replaced by your UTEID. For me, this would be a file named ``HUNTWA.lisp''. Your project submission must be a single file containing only ASCII characters that can be processed entirely by ACL2 without interruption. Your documentation (your report) must be included within the file you submit as Lisp-style comments.

See quick-sort slides that are linked below. Further down, a sample, quick-sort project can be found below.

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).