Modules running in the period selected: 19.
Click on the module to see the timetable and course details.
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.
MyUnivrTopic | Description | Research area |
---|---|---|
General logic |
Discrete and computational mathematics
Mathematical logic and foundations |
|
Proof theory and constructive mathematics | Proof theory at large studies mathematical proofs, which thus become themselves objects of mathematics. In a nutshell, the goal is to understand "what can be proved with what" and to gain computational information from proofs. Constructive mathematics aims at direct proofs from which one can read off algorithms; any such algorithm comes with a certificate of correctness for free, which just is the original proof. |
Discrete and computational mathematics
Mathematical logic and foundations |
Teoria della dimostrazione e teoria dei tipi | Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare |
Theory of computation
Formal languages and automata theory |
Title | Starting date |
---|---|
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) | 11/30/04 |
CSS e script comuni siti DOL - frase 9957