CSSE 490: Logic: Week 9

Day Topics Readings/Assignments
Day 33

Tutorial on Temporal Logic
Complete the assignment on Temporal logic
Day 34

Tutorial on Ternary Logic
Complete the assignment on logics with more than two truth values,
Submit your answers to the appropriate drop-box on Angel by day 36, BC.

Prove the left-to-right half of Lemma 3, part (5), as found on page 472.
Prove the right-to-left half of Lemma 3, part (5), as found on page 472.

Day 35

Tutorial on Diagrammatic Logic
Complete the assignment on diagrammatic logics.
Day 36

Introduction to PROLOG
factorial.pl
Soundness of FOL, Part I
Install SWI Prolog, implement fibonacci in PROLOG and submit your code to the appropriate drop box in Angel.

Day	Topics	Readings/Assignments
Day 33	Tutorial on Temporal Logic	Complete the assignment on Temporal logic
Day 34	Tutorial on Ternary Logic	Complete the assignment on logics with more than two truth values, Submit your answers to the appropriate drop-box on Angel by day 36, BC. Prove the left-to-right half of Lemma 3, part (5), as found on page 472. Prove the right-to-left half of Lemma 3, part (5), as found on page 472.
Day 35	Tutorial on Diagrammatic Logic	Complete the assignment on diagrammatic logics.
Day 36	Introduction to PROLOG factorial.pl Soundness of FOL, Part I	Install SWI Prolog, implement fibonacci in PROLOG and submit your code to the appropriate drop box in Angel.