Assignment 1: Propositional Logic; (Due 1/26)
solution
Assignment 2: Predicate Logic; (Due 2/9 [delayed to 2/14])
solution
Assignment 3: Resolution Theorem Proving; (Due 2/23);
solution
Assignment 4: Prolog Programm (submission on E-learning); (Due 3/9);
Assignment 5: List Processing + Trees + Arithmetic (submission on E-learning); (Due 3/28);
Assignment 6: Structures; Arithmetic; Cuts (Due 4/11);
Assignment 7: Non-deterministic Programming (Due 4/25);
Assignment 8: CLP(FD) (Due 5/12);
Assignment 9: DCG (Due 5/12);