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
- Docente: GARELLI GIANLUCA
- Docente: MONEGLIA MASSIMO
- Docente: CASTELLANI ELENA
- Docente: BARSANTI GIULIO
- Docente: CANTINI ANDREA
- Docente: 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
- Docente: CANTINI ANDREA
- Docente: VERRUCCHI PAOLA
- Docente: FORNASIERO ANTONGIULIO
- Docente: 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
- Docente: TRAPANI MARCO
- Docente: 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
- Docente: GAVAGNA VERONICA