Logic (p) (2012/2013)

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
semestrino IA, Semestrino IB

Lesson timetable

Learning outcomes

providing an Introduction to Mathematical Logic

Syllabus

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

Bibliography:
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).

Teaching methods: Lectures and lessons.

Assessment methods and criteria

oral exam