Laurea Magistrale in Logica, Filosofia e Storia della Scienza - Dipartimento di Lettere e Filosofia

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


Anno accademico: 2020-2021

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

Anno accademico: 2020-2021
Tutto il materiale e le altre attività dell'insegnamento sono reperibili alli'insegnamento:


Anno accademico: 2020-2021

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

Anno accademico: 2020-2021

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


Anno accademico: 2020-2021