Logic for Computer Science

Course title in Italian: Logic for Computer Science

Course title in English: Logic for Computer Science

Language: Italian 

Teaching year: I

ECTS: 6

Teaching hours: 150 

Semester: 1

Professors 

• Channel 1: Guglielmo Tamburrini

Prerequisites  

None

Course objectives 

text

Syllabus 

text

Teaching method 

text

Examination modalities 

text