1. Home
  2. Education
  3. Degree programme courses
  4. Logic

Logic

A.Y. 2018/2019
9
Max ECTS
60
Overall hours
SSD
M-FIL/02
Language
Italian
Learning objectives
Conoscenze: 1) i principali programmi di ricerca logica nel pensiero Occidentale; 2) i più significativi risultati metateorici ottenuti dai logici del Novecento; 3) vari tools per il ragionamento automatico.

Capacità: 1) saper individuare il tool più adeguato per tipologie di problemi; 2) saper esprimere i dati di un problema nel linguaggio del tool e cercare, a partire da essi, la prova di una congettura.
Expected learning outcomes
Undefined

Lesson period: Second semester

Lessons timetable

Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi

Exams calendar

Single course

This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.

Search a single course
Course syllabus and organization

(Cognomi A-L)

Responsible
D'Agostino Marcello
Lesson period
Second semester
Unita' didattica A
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Unita' didattica B
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Unita' didattica C
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours

(Cognomi M-Z)

Responsible
Primiero Giuseppe
Lesson period
Second semester
Unita' didattica A
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Unita' didattica B
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Unita' didattica C
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Professor(s)
D'Agostino Marcello
Reception:
Wednesday 10:00-13:00 and via Teams upon request
Head of Department's Office, Cortile d’Onore
Primiero Giuseppe
Web site
Reception:
Tuesdays, 14:00-17:00. Students are kindly asked to get in touch by email to confirm date and hour.
Teams/Slack