[Open to all interested postgraduates]

Part 2: Propositional Logic Algorithms; Ladder Logic