Administration
# Logic in Computer Science (Comp118)

Frank Wolter
## Times and Location

The module runs in the second semester.
Lectures start in week 2 (4th of February 2013):
- Mondays, 11:00 (ENG-WLT)
- Tuesdays, 16:00 (CHAD-ROTB)

The Thursday tutorials start in week 3 (14th of February), the Monday tutorials start in week 4
(18th of February).
- Monday, 14:00 (BROD-105)
- Monday, 15:00 (ARCH-G01)
- Monday, 16:00 (ASHT-G12)
- Thursday, 14:00 (BROD-105)
- Thursday, 15:00 (BROD-105)
- Thursday, 16:00 (ASHT-G12)

Students should try to solve the problems on the problem sheets before the tutorials.
Part of the continuous assessment mark is based on participation in tutorials and reasonable
attemps to solve the problems.
## Office Hours

If you need to see me individually I will normally be available in my
office (room 114, Ashton Building) at the following days and
times.
## Continuous Assessment

20% of the module mark will be based on continuous assessment.
There will be two class tests of 25 minutes (each worth 7% of the final mark).
Participation in tutorials, including making reasonable attempts to solve the problems
on the problem sheets for the tutorial and bringing these to the tutorials is worth 6% of
the final mark.
## Examination

There will be a two hour exam (worth 80% of the final mark).
## Syllabus

- Introduction: the unusual effectiveness of logic in computer science (1 lecture)
- Propositional logic (5 lectures):
Reminder: syntax and semantics of propositional logic,
SAT, logical consequence, logical equivalence, and normal forms,
a proof system for propositional logic.
- Introduction to First-order Predicate Logic (11 lectures):
syntax of first-order predicate logic,
semantics of first-order predicate logic,
evaluating first-order predicate logic and relational databases,
a proof system for first-order predicate logic,
undecidability of first-order predicate logic.
- Outlook: the unusual effectiveness of logic in computer science (1 lecture)

Recommended texts
- Michael Huth and Mark Ryan, Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press (most recent edition).
- John Kelly, The Essence of Logic. Prentice Hall (most recent edition).