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
Period
Sem IA dal Oct 1, 2013 al Nov 17, 2013.

Lesson timetable

Sem IA
Day Time Type Place Note
Monday 5:20 PM - 7:00 PM lesson Lecture Hall 2.2 from Oct 14, 2013  to Nov 17, 2013
Tuesday 5:20 PM - 7:00 PM lesson Lecture Hall 2.2 from Oct 14, 2013  to Nov 17, 2013
Wednesday 5:20 PM - 7:00 PM lesson Lecture Hall 2.2 from Oct 14, 2013  to Nov 17, 2013

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.