Teaching

Current teaching

Firenze

Logica e Calcolabilità, laurea triennale

B005519 (B036) - LOGICA E CALCOLABILITA' (CURRICULUM: APPLICATIVO - C76) 2020-2021

Logica Matematica, laurea magistrale

B012975 (B077) - LOGICA MATEMATICA (CURRICULUM: GENERALE - C75) 2020-2021

Past teaching

Freiburg '08

O-minimality of Pfaffian functions

Münster, WS08-09

Exercises for Logik 3

Münster, SS09

Student seminar on Model Theory: Every Monday at 12:15, SR8.

Münster, WS10-11

Student seminar on: Group, topology and model theory: Every Wednesday at 10:15, Room N3.

Münster, WS11-12

Übungen: Lineare Algebra I (Vorlesung: Prof. Dr. Falko Lorenz; Mo, Do 10-12).

Münster, SS12

Seminar on: Automorphism groups of structures: Every Monday at 10:15, Room SR1d.

Münster, SS12

Übungen: Lineare Algebra II (Vorlesung: Prof. Dr. Falko Lorenz; Mo, Do 10-12).

Parma, SS15 and SS16

Logica Matematica

Alcuni possibili argomenti per tesi di laurea triennale

• Classi di complessità: P-space, IP, Exp-time, #P, ...

• Complessità e giochi

• Costante di Chaitin

• Busy Beaver

• Automi cellulari

• 10° problema di Hilbert: (qui e qui per cominciare)

• Teoria dell'informazione

• Campi differenziali e polinomi numerici

• Buoni ordinamenti e buoni ordinamenti parziali

Raccomando l'uso di Zentralblatt e MathSciNet per le ricerce bibliografiche; per accedere alla biblioteca di matematica del DiMaI da remoto, vedere qui

Halmos spiega come si fa un seminario di matematica

Template LaTeX per la tesi di laurea al DiMaI (Firenze)

Pacchetto tesi-Dimai basato su Classic Thesis di André Miede and Ivo Pletikosić. Qui il template zippato