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

Lesson timetable

semestrino IA
Day Time Type Place Note
Tuesday 3:40 PM - 5:20 PM lesson Lecture Hall 1.3  
Thursday 2:00 PM - 3:40 PM lesson Lecture Hall 1.1  
Semestrino IB
Day Time Type Place Note
Tuesday 3:40 PM - 5:20 PM lesson Lecture Hall 1.3  
Thursday 2:00 PM - 3:40 PM lesson Lecture Hall 2.2  

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