COMP 410 Assignments

Assignment Date Assigned Date Due Relative Weight
Assignment 1: Functional Programming Recap and Semantic Tableau Thursday, September 8 Thursday, September 29 at 11:59 PM 1
Assignment 2: Introduction to Prolog Basics Wednesday, September 21 Friday, October 14 at 11:59 PM 1
Assignment 3: Recursion and Structures in Prolog Wednesday, September 28 Friday, October 14 at 11:59 PM 0.5
Assignment 4: Semantic Tableau Revisited Monday, October 17 Monday, November 7 at 11:59 PM 1
Assignment 5: List Operations in Prolog Monday, October 17 Monday, November 14 at 11:59 PM 1
Assignment 6: Test Case Generation in Prolog Wednesday, November 2 Friday, December 2 at 11:59 PM 1
Assignment 7: Nondeterminism in Python Monday, December 5 Monday, December 19 at 11:59 PM (hard deadline! - no late submissions) 6% Class Bonus