LM510 - LINEAR TYPES AND LOGIC (objectives)
Code 20402120
Language ITA
Type of certificate Profit certificate 
Credits
Scientific Disciplinary Sector Code MAT/01 
Contact Hours 60 
Type of Activity Core compulsory activities 
Derived from 20710091 TEORIE LOGICHE 1 - LM in Philosophical Sciences LM-78 ABRUSCI VITO MICHELE, Joinet Jean-Baptiste
(syllabus)   (reference books)
Dates of beginning and end of teaching activities From  to 
Delivery mode Traditional
Attendance not mandatory
Evaluation methods Oral exam