Risultati appello 2 Ottobre 2015
L'orale si terra' in Aula G, giovedi' 8 Ottobre,
ore 10:00 (salvo spostamenti che saranno comunicati sul Forum).
Sono ammessi a sostenere l'orale coloro per i quali e' indicato "Ammesso"
o per i quali e' indicato un voto.
Coloro per i quali e' indicato un voto possono decidere di accettarlo come
votazione definitiva.
Con il nuovo regolamento didattico anche gli insufficienti possono ritirarsi.
Per ritirarsi basta non presentarsi all'orale.
E' OBBLIGATORIO comunque, per tutti coloro che hanno indicato "Ammesso" o il voto, presentarsi all'orale.
L'assenza all'orale comporta il ritiro dall'esame.
Chi dovesse sostenere l'orale, ma avesse SERI problemi con
la data/orario indicata, lo faccia presente quanto prima al docente via e-mail.
Hanno consegnato: 7
Sufficienti:
Insufficienti:
Ritirati:
M01000492 : 18
W83000092 : 19
X81000029 : Insuff.
X81000032 : Insuff.
X81000047 : Insuff.
X81000102 : 21
X81000149 : Insuff.
Perle della lingua italiana
ovvero
Il Ritorno dei Fratelli Caponi (che siamo noi)
- Un sistema formale e' utilizzato per fornire una definizione del concetto di dimostrazione che corrisponde ad una formalizzazione completa della nozione di sistema assiomatico.
- Per sistema formale intendiamo:
La formalizzazione di concetto completo di un sistema assiomatico composto da: alfabeto, grammatiche, sottoinsieme dell'insieme e sistemi formali.