Logic (p) (2013/2014)

Course code
4S02145
Name of lecturer
Antonio Moretto
Coordinator
Antonio Moretto
Number of ECTS credits allocated
6
Academic sector
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE
Language of instruction
Italian
Location
VERONA
Period
Sem IA dal Oct 1, 2013 al Nov 17, 2013.

Lesson timetable

Learning outcomes

Providing an Introduction to Mathematical Logic

Prerequisiti: None.

Syllabus

I) Elements of History of Logic; 2) Elements of Mathematical Logic

Testi di riferimento:
E.J. Lemmon, Elementi di logica, Roma - Bari: Laterza, 1991.
A. Moretto, Appunti di logica, a cura di L. Moretti e I. Valbusa, Libreria Editrice Universitaria 2009, Verona.
“Alberi di refutazione” (dispense).

Assessment methods and criteria

Oral exam.