204SM - LOGICA 2018, Sezione: Programma e materiali del corso, Introduzione al 10.o problema di Hilbert. (5 marzo h.11-13, Aula 5A edif. H2bis) | Moodle@Units

Home Corsi Supporto

Schema della sezione

- Seleziona attività Lucidi introduttivi al 10.o problema di Hilbert
  
  Lucidi introduttivi al 10.o problema di Hilbert File PDF
- Seleziona attività Appunti sul 10.o problema di Hilbert (Dispensa estesa)
  
  Appunti sul 10.o problema di Hilbert (Dispensa estesa) File PDF
- Seleziona attività Esercizi sul 10.o problema di Hilbert (il primo è svolto all'ultima pagina)
  
  Esercizi sul 10.o problema di Hilbert (il primo è svolto all'ultima pagina) File PDF
- Seleziona attività Le lezioni delle date 2, 3 aprile e 9, 10 aprile v...
  
  Le lezioni delle date 2, 3 aprile e 9, 10 aprile verranno tenute in inglese dal prof. Ernst-Erich Doberkat, vedi
  http://www.cs.tu-dortmund.de/nps/de/Home/Personen/D/Doberkat__Ernst-Erich.html
  che tratterà i seguenti temi:
  * Modal logics and Kripke models
  * Expressivity
  * Model morphisms
  * Categories and Coalgebras
  * Bisimulations
- Seleziona attività Tre temi fra cui scegliere quello da discutere con il prof. Ernst-Erich Doberkat durante l'esame
  
  Tre temi fra cui scegliere quello da discutere con il prof. Ernst-Erich Doberkat durante l'esame File PDF