Logic (p) (2014/2015)

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
Period
Sem. IIA dal Feb 23, 2015 al Apr 19, 2015.

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

Metodi didattici: Lectures and lessons.

Assessment methods and criteria

Oral exam.