Recursion and Induction -- CS 389r -- Announcement

Homepage: http://www.cs.utexas.edu/users/hunt/class/2008-fall/cs389r/cs389r.html

     Unique Number:  55857
 Class Room Number:  Taylor Hall, 3.144
	Class Time:  Tuesday, Thursday, 12:30 to 1:50 pm

Reference Textbook:  Computer-Aided Reasoning:  An Approach
  Textbook Authors:  Kaufmann, Manolios, and Moore
 Purchase Location:  From Carol Hyink, Taylor Hall 2.116
              Cost:  $15 -- cash only

	Instructor:  Warren A. Hunt, Jr.
   Office Location:  Main 2014
      Office Hours:  Wednesday, 2:00 to 3:50 pm
            E-mail:  hunt@cs.utexas.edu

     Co-Instructor:  Sandip Ray
   Office Location:  Main 2004
      Office Hours:  By appointment
            E-mail:  sandip@cs.utexas.edu

This course concerns itself with the study of recursion and induction. This course will be broken into several parts. We will first learn something about the ACL2 logic (see http://www.cs.utexas.edu/users/moore/acl2/acl2-doc.html). We will write recursive definitions and use induction to analyze them. The second part of the course will be spent formalizingthe syntax and semantics of a language to specify Boolean functions. The remainder of the semester will be spent considering other topics involving the use of ACL2 to specify complex systems (e.g., hardware description language, regular expressions). Students may also present problems of general interest. Paperback copies of "Computer-Aided Reasoning, An Approach" by Kaufmann, Manolios, and Moore, which describes the ACL2 logic and its use, are available from Carol Hyink (who works in the Chairman's office) for $15.

A series of increasingly difficult problems will be assigned. Some of these problems will be discussed by students at the board. Class participation is expected, and student grades will, in part, reflect each student's contributions. There will be one in-class exam. Each student will work on a project proposed by the student. Students will present their projects in class. There will be one exam given. Homework will be assigned each week, and it may be collected any time after its due date. The weighting of the grades for the various aspects of the course are: in-class exam - 25%, homework - 25%, class projects - 30%, and class participation 20%. The two lowest homework grades will be dropped in the computation of the final homework grade. Homework will not be accepted late. Projects may be turned in one week late with a 20% reduction of the grade given for the content of the project. The examination must be taken at the scheduled time.

Any scholastic dishonesty will be referred to the Dean of Students Office. The following passage is taken from the University of Texas at Austin Information Handbook for Faculty.

The Discipline Policies Committee believes that in most cases of scholastic dishonesty the student forfeits the right to credit in that course, and that a penalty of ``F'' for the course may be warranted. In addition to the academic penalties assigned by a faculty member, the Dean of Students or the hearing officer may assign one or more of the University discipline penalties listed in the "General Information" bulletin, Appendix C, Sections 11-501 and 11-502. Certain types of misconduct, such as a student substituting for someone else on an exam or having someone substitute for the student, submitting a purchased term paper, or altering academic records, have usually involved a penalty of suspension from the University.

I fully support the University's scholastic honesty policies, and I will follow the University's policies in the event of any scholastic dishonesty. If you are ever unsure whether some act would be considered in violation of the University's policies, do not hesitate to ask me or other University officials.

Return to CS389r course homepage.