CS616: Pre-Coursework

1 Introduction and motivation

... to the representation and management of knowledge.


2 Elementary set theory

What is a set, a relation, a function, set operations (intersection, union, etc), properties of binary relations (reflexivity, symmetry, transitivity, etc)?

Suggested literature:

3 Propositional logic

What is a theory, language, models, validity and satisfiability, inference rules, soundness and completeness, reasoning methods: truth tables, semantic tableau, proof by contradiction.

Suggested literature:

4 First-order logic

First order logic formulae, their meaning, validity and satisfiability, translating between natural language and first-order logic.

Suggested literature:

Assignment / Work to be handed in

Please submit your solutions to the following exercises at the first lecture on 30 January 2006.

And remember to read


Renate A. Schmidt
Home | Publications | FM Group | Dept Computer Science | Man Univ

Last modified: 05 Dec 05
Copyright © 2005 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk