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

Computational Logic

A.Y. 2022/2023
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

Responsible
Ghilardi Silvio
Lesson period
First semester
MAT/01 - MATHEMATICAL LOGIC - University credits: 6
Practicals: 12 hours
Lessons: 40 hours
Professor: Ghilardi Silvio
Professor(s)