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
Location
VERONA
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.