Foundations of Computing - LOGICA (2010/2011)

Course code
4S02789
Name of lecturer
Damiano Macedonio
Number of ECTS credits allocated
6
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
I semestre dal Oct 4, 2010 al Jan 31, 2011.
Web page
http://profs.sci.univr.it/~macedonio/web/Teaching/LogicaVR2010/LogicaVR2010.html

To show the organization of the course that includes this module, follow this link * Course organization

Lesson timetable

I semestre
Day Time Type Place Note
Wednesday 10:30 AM - 1:30 PM lesson Lecture Hall I from Oct 18, 2010  to Jan 31, 2011
Friday 10:30 AM - 12:30 PM lesson Lecture Hall I from Oct 18, 2010  to Jan 31, 2011

Learning outcomes

Introduction of the mathematical logic and its connection with other topics. Distinction between syntax and semantics. Formalization of properties in a formal language. Proof theory. Derivation and counter examples.

Syllabus

Levels of reference. Language and meta-language.
Propositional and predicative logic(classic and intuitionistic).
Sequent calculus and definitional equations.
Systems LJ e LK. Cut elimination. Proof search.
Classical evaluation of formulae, both propositional and predicative.
Soundness, Completeness and Compactness for LK.
Decidability for predicative calculus.
Incompleteness.

Reference books
Author Title Publisher Year ISBN Note
Andrea Asperti, Agata Ciabattoni Logica a Informatica McGraw-Hill 2007

Assessment methods and criteria

Written and oral test.