Contents

Course Info

Syllabus

Classes

Homework Solutions

Test #1 Solutions

Old Test #1 Solutions

Old Problems Part 1

Old Problems Part 2

Grading

Class Members

CS503 Syllabus

      
      DATE  CHAPTERS      HOMEWORK DUE
      
      
      9/13  	Chapter 1 and 2       CH1: 13, 17, 29, 35, 42; CH2: 21 
      9/20  	Chapter 2 and 3       CH2:22, CH3: 1, 25 (ch2 #22), 44, 50, 51
      9/27   	Chapter 5	         CH5: 4 (then remove chain rules,
                                               useless symbols, & convert
                                               to CNF), 24, 25
      10/4   	Chapter 6	          CH6: 1, 5, 25, 29
      10/11  	Chapter 7	         CH7: 4, 10a. 13a,b
      10/18  	Chapter 8	         CH8: 1, 3d, 12, 14, 17a
      10/25  	Chapter 9                CH9: 3a,d (show an example),25, 26 
      
      11/1   	Test                       
      
      11/8   	Chapter 10 & 12        CH10: 4
                                                  CH12: 2d, 9c
      11/15   Chapter 11	         CH11: 6, 13, 25b, 26c  
      11/22   Chapter 13	         CH13: 1a, 2a,b,c, 6c,d, 13d, 14b 
      11/29   Chapter 14, 15          CH14: TBA
      12/6    Logic & Review	        Handout
      
      12/13   Test
      

Send questions and comments to: Karen Lemone