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