Logics for computer science

Course title in Italian: Logics for computer science

Course title in English: Logics for computer science

Language: Italian 

Teaching year: II

ECTS: 6

Teaching hours: 150 

Semester: 1

Professors 

• Channel 1: Guglielmo Tamburrini

Prerequisites  

text

Course objectives 

text

Syllabus 

text

Teaching method 

text

Examination modalities 

text