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
                               Other times by appointment


Office Hours Location:  The big table outside of my GDC 5.826 office, or
on the GDC 5th-floor atrium.

Important announcements, changes, and other course information can be found here! Other Announcements can be found at the bottom of this page.

Homework 0 has been posted! See reference to homework page below.

Every time you start to work, check this page! This webpage and the webpages transitively reachable from this webpage are the definitive resource for assignments, laboratories, projects, and other class-related issues. The UT Canvas system will be used to record grades and to provide limited information. Most information will be made available on websites reachable from this page (see links below).

• Course Announcement

• Syllabus

• CS389r Course Notes

• Homework and Laboratory Projects

• Canvas Grade Reporting System
  
  

  Announcements

• January 14, 2025: First Class Today, we will try to address these items: (1) Class Introduction, (2) Web Layout, (3) Quizzes and Exam, (4) Class Notes.

• Fibonacci Introduction Talk

• PLUS and Fibonacci Introduction ACL2 events
  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 only with the Theorems of the Propositional Calculus (Section 1).

• Table of propositional formulas