COURSE PRESENTATION FORM - LOGIC - 2009/2010
COURSE NAME: Logic
COURSE CODE: 70014
LECTURER: Enrico Franconi
TEACHING ASSISTANT: none
TEACHING LANGUAGE: English
CREDIT POINTS: 4
LECTURE HOURS: 24
EXERCISE HOURS: 12
TIMESPAN: 28.09.2009 - 23.01.2010
TIMETABLE: see
Timetable Page
OFFICE HOURS LECTURER: by previous email appointment, Palais Trapp, Via della Mostra 4, office 1.02
OFFICE HOURS TEACHING ASSISTANT: --
PREREQUISITES
Algebra, Analysis, Data Structures and Algorithms
OBJECTIVES
The aim of the course is to provide students with an understanding of the formal foundations of classical logic languages and methodologies, an overview of the reasoning methods based on logics, and the ability to use classical logic as a tool for representation and reasoning in computer science.
SYLLABUS
Agents that Reason Logically
- Foundations of Propositional Logic
- Deduction in Propositional Logic
First Order Logic
- Foundations of First Order Logic
- Using First Order Logic
Representation, Reasoning, and Logic
TEACHING FORMAT
Frontal classroom lecture for the theoretical part plus labs.
ASSESSMENT
There are two options:
1. Final written examination (70%) plus laboratory (midterm) (30%) or
2. Final written examination (100%).
In case of a positive mark the midterm will count for all 3 regular exam sessions.
READING LIST
Textbook:
The Essence of Logic
John Kelly.
Prentice Hall
ISBN: 0133963756
Additional readings:
A Mathematical Introduction to Logic.
H. Enderton.
Academic Press
ISBN: 0-12-238452-0
Mathematical Logic.
H. D. Ebbinghaus, J. Flum, W. Thomas.
Springer-Verlag
ISBN: 3-540-94258-0
Language, Proof and Logic
Jon Barwise and John Etchemendy
CSLI Publications
ISBN: 157586374X
SOFTWARE USED
The Language, Proof and Logic (LPL) software for Windows PC and Macintosh; we have a copy. http://www-csli.stanford.edu/hp/LPL.html
LEARNING OUTCOME
The student will acquire a methodology for understanding how to define a problem and how to check for its solution in a logical manner.
COURSE PAGE
click here