CISC-304: Logic and Programming
Homework Assignments
Homework-1: Mathematical and Structural Induction
Due Friday, Sept. 11
Homework-2: Propositional Logic: Syntax, Semantics, and Equivalences
Due Wednesday, Sept. 23
Homework-3: Propositional Logic: Formulae and Satisfiability
Due Friday, Oct. 2
Homework-4: Propositional Logic: Decision Methods for Unsatisfiability and Tautologies
Due Wednesday, Oct. 7 (not accepted after the end of the grace period)
Homework-5: Propositional Logic: Deductive
Proofs
Due Wednesday, Oct. 21
Homework-6: Predicate Logic: Interpretations
and Satisfiability
Due Monday, Nov. 2
Homework-7: Predicate Logic: Semantic
Tableaux
Due Monday, Nov. 9 (no grace period; not accepted late
Due Wednesday, Dec. 2