Propositional Methods 14 Jan 2004

Click on thumbnails for larger image and comments.

A graph is a relation
A graph is a relation
Is there a subgraph?
Is there a subgraph?
Representations
Representations
Duality
Duality
Colourability
Colourability
fddl logic
fddl logic
QBF
QBF
Planning
Planning


Home : Teaching : Courses : Propm 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh