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

Sem. IIA
Day Time Type Place Note
Monday 5:20 PM - 7:00 PM lesson Lecture Hall 2.2  
Tuesday 5:20 PM - 7:00 PM lesson Lecture Hall 2.2  
Wednesday 11:50 AM - 1:30 PM lesson Lecture Hall 2.2  

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.