Tutti i materiali e le altre attività dell'insegnamento sono reperibili all'insegnamento:
B002687 - Storia della filosofia / LM Scienze Filosofiche (B106) 2020-2021:
https://e-l.unifi.it/course/view.php?id=15155
- Teacher: GARELLI GIANLUCA
- Teacher: MONEGLIA MASSIMO
- Teacher: CASTELLANI ELENA
- Teacher: BARSANTI GIULIO
- Teacher: CANTINI ANDREA
- Teacher: BERNINI SERGIO
Teoria della dimostrazione: calcoli LK, Hauptsatz e corollari. Deduzione naturale, lambda calcolo tipato,La corrispondenza di Curry-Howard. Normalizzazione. Applicazioni (PA, omega-regola; ordinali nella proof theory)). Teorema di Takeuti-Parsons-Mints
- Teacher: CANTINI ANDREA
- Teacher: VERRUCCHI PAOLA
- Teacher: FORNASIERO ANTONGIULIO
- Teacher: CIARDI MARCO
Il corso è per le lauree magistrali in Logica, Scienze Filosofiche e Scienze Storiche.
Argomenti principali:
- il passato, presente e futuro dell'informatica
- Internet, web e wocial network: impatto sulla società
- Problematiche della sicurezza informatica e della privacy
- Uso avanzato di Word ed Excel
- Uso avanzato di Power Point
- Teacher: TRAPANI MARCO
- Teacher: CIARDI MARCO
Tutto il materiale e le attività dell'insegnamento sono reperibili all'insegnamento
B013011 (B077) DIDATTICA DELLA MATEMATICA (CURRICULUM: DIDATTICO E24) 2020-2021
https://e-l.unifi.it/course/view.php?id=15184
- Teacher: GAVAGNA VERONICA