CMPE 542 Automated Theorem Proving Web Site

ANNOUNCEMENTS:

· Letter grades have been announced. (31.1.2008)

· Final grades have been announced. The papers can be seen at any time until 30.1.2008. (25.1.2008)

· Final questions and answers are available. (25.1.2008)

· Final exam will be held on 25.1.2008 Friday at 13:00. (21.1.2008)

· Term Project has been announced. The survey paper is at Download Files section. (2.10.2007)

· Reading: Chapter 2, Chapter 3, Chapter 4 (4.1 and 4.2) of the textbook. These materials should be read at the beginning of the course since they will be used throughout the course. (25.9.2007)

· Please read the section “graduate courses” in the web page General Information for Students. This page explains the course policy, the grading system, and information about the assignments and projects. (25.9.2007)