Una sessione di esami autunnale e'
fissata per Mercoledi 27
Settembre dalle ore 11 in Aula
Riunioni.
Si prega di inviarmi una email
come iscrizione all'esame.
In caso di gruppetti di almeno tre
studenti, e' possibile concordare
la data
di un appello direttamente col
docente. Nel caso fatemi sapere
via email.
La quarta sessione
di esami e' fissata per i giorni:
* Giovedi
16 Marzo in aula
Riunioni Ex-Albergo, a partire
dalle ore 9,30.
Iscritti: Massanet,
Vallaure, Fabiani,
Tommaselli, Bianchi.
* Venerdi 17 Marzo, in
Aula Riunioni a
Matematica, a partire dalle
ore 9,30.
Iscritti: Galata',
Tedeschi, Spinelli,
Silvestri, Calabretta.
* Giovedi
23 Marzo in aula
Riunioni
Ex-Albergo, a
partire dalle ore
9,30.
Iscritti: Blunda,
Petetta,
Dell'Onte,
Fenu, Micheli, Minnocci,
Birindelli.
Attenzione: Prego
gli studenti di
ricontrollare la
lista degli
iscritti, ci sono
state
diverse richieste
di variazione, e
potrei aver fatto
confusione. Nel
caso fatemi
sapere.
La lista degli
iscritti contiene
un ordine
provvisorio. Se
concordate tra voi
una scaletta
diversa,
non ho problemi a
seguire le vostre
indicazioni.
Gli studenti che intendono
partecipare devono inviarmi
una email almeno due giorni
prima dell'esame per
informarmi
(basta scrivere "Mi iscrivo
all'appello del DATA
ESAME").
La terza
sessione di esami e' fissata
per Venerdi
3 Marzo, a partire dalle
ore 11, in aula O1.
La seconda sessione di
esami e' fissata per Venerdi 10
Febbraio, a partire dalle
ore 10, in aula O1.
Gli studenti che intendono
partecipare devono inviarmi una
email per informarmi entro
mercoledi 8 Febbraio
(basta scrivere "Mi iscrivo
all'appello del 10 Febbraio").
E' fissata la prima
sessione di esami per Mercoledi 11
Gennaio, a partire dalle ore
10, in aula N1.
Gli studenti che intendono
partecipare devono inviarmi una
email per informarmi entro
domenica 8 Gennaio
(basta scrivere "Mi iscrivo
all'appello dell'11 Gennaio").
P.S. Ho caricato su Teams un file
con le parti dell'ultima lezione
che non avevo fatto in tempo a
presentare.
Appena possibile metto in rete
anche le dispense sulla seconda
parte del corso.
Sul Team del corso
"Logica Matematica" ho caricato il
file pdf con gli appunti della
lezione di oggi, 17-12-2022.
Ho anche caricato un file con
dispense del Prof. Berarducci su
calcolabilita' e teorema di
incompletezza di Godel
(coprono molto piu' di quanto
svolto in questo corso, ma sono un
ottimo riferimento).
AVVISO:
La lezione di
venerdi 16 Dicembre e'
spostata a SABATO 17
DICEMBRE dalle ore 11.00
alle ore 13.00 in
modalita' online sulla
piattaforma Teams "064AA
22/23 LOGICA MATEMATICA
[MAT-L]", sul canale "LM -
22-12-17".
E' fissata un'ultima
lezione per giovedi 22
Dicembre dalle ore 11.00
alle ore 13.00 in
modalita' online sulla
piattaforma Teams del
corso, sul canale "LM -
22-12-22".
AVVISO:
La lezione di
venerdi 2 Dicembre e' spostata
a LUNEDI 5 DICEMBRE dalle ore
9.00 alle ore 11.00 in Aula
O1.
La lezione di venerdi 9
Dicembre e' spostata a LUNEDI
12 DICEMBRE dalle ore 9.00
alle ore 11.00 in Aula O1.
AVVISO:
Causa lutto in famiglia, la
lezione di domani, venerdi 21
Ottobre prevista per le ore 14
e' ANNULLATA. Mi spiace per il
tardo avviso.
Resta confermata la prossima
lezione di lunedi 24 Ottobre dalle
ore 9 alle ore 11, in Aila O1.
AVVISO:
Per poter
completare l'orario previsto per
il corso (48 ore), effettueremo
due lezioni supplementari come
segue:
- Lunedi 17 Ottobre dalle ore 9
alle ore 11, in Aula O1.
- Lunedi 24 Ottobre dalle ore 9
alle ore 11, in Aula O1.
L'orario del corso e' il seguente:
Giovedi 16-18 Aula N
Venerdi 14-16 Aula N
NUOVO:
Sono disponibili le dispense sulla
prima parte del corso:
Dispensa
1
Durante il corso verranno assegnati
esercizi; gli studenti sono invitati
a lavorare sulle loro risoluzioni, e
ad inviarle sotto forma di file pdf
per email al docente.
L'esame e' orale. La profondita' dell'esame
dipendera' da quanto gia'
dimostrato dallo studente con
l'invio di soluzioni dei problemi
assegnati. In particolare, in
assenza o scarsita' di file
inviati, ad inizio esame verra'
richiesta la soluzione scritta di
alcuni esercizi.
Il programma previsto
puo' essere consultato qua.
|