Giochi di Ehrenfeucht-Fraissé complessità computazionale e applicazioni

Durata: 28 ore

Programma

Modulo 1 (14 ore) - Prof. Angelo Montanari

Modulo 2 (14 ore) - Prof. Nicola Vitacolonna

 

PROGRAMMA:

Per avere un'idea dei contenuti si
può far riferimento ai lucidi di un corso tenuto a ESSLLI 2010
disponibili sulla mia pagina web all'indirizzo:

http://sole.dimi.uniud.it/~angelo.montanari/courses.php

strutturato in 5 blocchi:

Lesson 1: Introduction to EF-games
Lesson 2: Inexpressivity results for first-order logic
Lesson 3: Normal forms for first-order logic
Lesson 4: Algorithms and complexity for specific classes of structures
Lesson 5: General complexity bounds

Sicuramente, contiamo di espandere le parti di base per
fornire agli studenti tutte le conoscenze di base necessarie
per comprendere i contenuti del corso.

 


Elenco corsi 2014/2015