To show the organization of the course that includes this module, follow this link Course organization
|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|
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.
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.
|Andrea Asperti, Agata Ciabattoni||Logica a Informatica||McGraw-Hill||2007|
Written and oral test.
Strada le Grazie 15
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2020 | Verona University | Credits