LM510 - LINEAR TYPES AND LOGIC
(objectives)
A DEEP AND CRITICAL INTRODUCTION TO A SPECIFIC LOGICAL THEORY WHICH CONCERNS THE THEME OF THE INTERACTION AND IS CENTRAL IN THE CONTEMPORARY RESEARCH ON INFROMATION AND COMMUNICATION: LINEAR LOGIC AND ITS DEVELOPMENTS.
|
Code
|
20402120 |
Language
|
ITA |
Type of certificate
|
Profit certificate
|
Credits
|
7
|
Scientific Disciplinary Sector Code
|
MAT/01
|
Contact Hours
|
60
|
Type of Activity
|
Related or supplementary learning activities
|
Derived from
|
20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 TORTORA DE FALCO LORENZO
|
Dates of beginning and end of teaching activities
|
From 01/03/2017 to 20/06/2017 |
Attendance
|
not mandatory
|
Derived from
|
20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 TORTORA DE FALCO LORENZO
|
Dates of beginning and end of teaching activities
|
From 01/03/2017 to 20/06/2017 |
Attendance
|
not mandatory
|
|