Slides
Logic in Computer Science (COMP118)
Frank Wolter
Slides
Introduction
Propositional Logic
Predicate Logic (1),
Predicate Logic (2),
Test Results
Test 1, Results,
Test 2, Results,
Tutorials
Tutorial 1,
Solution 1,
Tutorial 2,
Solution 2,
Tutorial 3,
Solution 3,
Tutorial 4,
Solution 4,
Tutorial 5,
Solution 5,
Previous exam papers and tests
Solution Test 1, 2012,
Solution Test 2, 2012,