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

Computational Logic

A.Y. 2024/2025
6
Max ECTS
52
Overall hours
SSD
MAT/01
Language
English
Learning objectives
Undefined
Expected learning outcomes
Undefined

Lesson period: First 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

Single session

MAT/01 - MATHEMATICAL LOGIC - University credits: 6
Practicals: 12 hours
Lessons: 40 hours
Professors: Carai Luca, Ghilardi Silvio
Shifts:
Turno
Professor: Ghilardi Silvio
Turno A
Professor: Ghilardi Silvio
Turno B
Professor: Carai Luca
Professor(s)
Carai Luca
Web site
Reception:
By appointment (to be scheduled via email)
Department of Mathematics, via C. Saldini 50, second floor, office 2090