FOR  THIS TERM


In Charge:  Prof. K. D. Reilly   (reilly@uab.edu --- 934-2213)

Meetin' Time/Place:   Mon-Wed --- 5:30-7:35 PM ---  Ullmann UW 132


Office Hours:     After classes.      Thurs. 9:30-10:30.      By appt. 
                                                         (even later on Thurs)
                            
Also:  CS-Study-Hall (CIS Dept. Office)  Check for (~everyday) hours

Teaching Assistant:  Haisong Li  (haisong@cis.uab.edu)
                                      (934-2213) 

Grading:    
     Hour Exams (2 @ 25):                                     50 pts. 
     Final Exam (Last chapters & earlier selections):         25 pts.
                         Aug 8  4:15-6:45 ..
     
     HomeWork (See HW list)	                              25 pts.          
                      
                                               Total:        100 pts.


Exam Notes:   Make-up exams will be permitted only under extreme circumstances. 
Sometimes, we just use the average of your tests for the missing exam. 
If we give a make-up, it can be somewhat more difficult and partly oral.
                 

Exams are closed book but we allow a "cheat" sheet: both sides of a
piece of paper !  (We also give you a handout on logic that you can use !
And maybe more !)


Course Material: by chapter:
      1.1-1.5 (The theory of Logic Programming is outlined.)
      2.1-2.2 (Light on 2.3) (Much of 2.4 and the "general 
                              solution" approach in 2.5.)
      3.1-3.6
      4.1 and 4.4-4.6
      5.1-5.2     (Briefs on other parts of this chapter.)
      6.1 and 6.4 (Briefs on other parts of this chapter.)

Special Note:   Some sections "briefed" are not listed about. But, they
provide "simple" questions for exams  ---  Likewise, some listed sections
may get less than full attention due to time squeezes.

Web Pages:  www.cis.uab.edu/cs250 is full of goodies. Pl. sniff around.