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, 2013,

Solution Test 2, 2012,

Solution Test 2, 2013,

Exam from 2012,

Exam from 2013,