Offerta didattica – XXXIII Ciclo


Teaching activites – Cycle XXXIII | Offerta didattica – XXXIII Ciclo


Teaching activites – Cycle XXXIII

ZZ-Structures: an alternative computer universe
Total hours: 12
SSD: INF/01

Learning objectives
The aim of this course is to present zz-structures, data structures that propose an unusual way to link and organize data and metadata. These structures violate conventional paradigms, offering an alternative representation of knowledge, metadata and contextual information.

Course content
This course introduces the students to zz-structures, proposing an alternative vision of knowledge representation and interpretation, and of semantic interconnections among data. Students will learn to: formally describe zz-structures; compare zz-structures to other structures, such as mSpases and polyarchies, applying the principles of graph theory; apply different interpretations of zz-structures on general and specific case study.

Teaching methods
Frontal lessons

Learning evaluation methods
Students will be required to study the content of the course in depth in order to propose an interpretation and/or use of zz-structures in their research field; they will present their contribution in a short seminar.

Teacher
Antonina Dattolo


Teoria descrittiva degli insiemi, Assioma di determinatezza e Grandi cardinali
Total hours: 24
SSD: MAT/01

Learning objectives
Providing the student with a solid formation in descriptive set theory, highlighting its interactions with large cardinals theory.

Course content
Introduction to descriptive set theory: Borel sets, analytic sets, regularity properties. Axiom of Determinacy. Introduction to large cardinals, measurable cardinals, club filter. Large cardinals from AD.

Teaching methods
Frontal lessons with examples and exercises.

Learning evaluation methods
Supplementary topic chosen by the student with seminar.

Teachers
Alberto Marcone, Vincenzo Dimonte


Algoritmi su grafi: algoritmi di simulazione e bisimulazione
Total hours: 24
SSD: INF/01

Learning objectives
Studying non-trivial problems and algorithms on graphs, related to matrix multiplication and model checking problems.

Course content
A collection of algorithms and relative computational complexity analyses will be presented, that are directly obtainable or reduced to calculate simulations and bisimulations. Specifically, methods for obtaining graph quotients relative to simulation and bisimulation relationships, and / or other equivalence relationships – to these directly or indirectly correlated -, will be described. Finally, graph quotient applications will be illustrated, with particular reference to Kripke’s quotients.

Teaching methods
Frontal lessons with examples and exercises.

Learning evaluation methods
Seminar In-depth Study.

Teachers
Alberto Policriti, Carla Piazza


Offerta didattica – XXXIII Ciclo

ZZ-Structures: an alternative computer universe
Numero ore: 12
SSD: INF/01

Obiettivi formativi
L’obiettivo di questo corso è introdurre i partecipanti alle zz-structures, strutture dati che propongono un modo non usuale di collegare ed organizzare dati e metadati; esse violano i paradigmi convenzionali, offrendo spazio ad una gestione alternativa della conoscenza, dei metadati e delle informazioni contestuali.

Contenuti del corso
Questo corso introduce alle zz-structures, allargando lo sguardo ad una visione alternativa della rappresentazione ed interpretazione della conoscenza e delle interconnessioni
semantiche tra i dati: presenta una loro formalizzazione, le compara, da un punto di vista della teoria dei grafi, ad altre strutture, come mSpaces e poliarchie, propone loro differenti interpretazioni, mostrando come possono essere utilizzate in vari casi di studio.

Metodi didattici
Lezioni frontali

Modalità di verifica dell’apprendimento
Ai partecipanti verrà richiesto un approfondimento dei contenuti del corso al fine di cimentarsi in una proposta di interpretazione e/o di utilizzo delle zz-structures nel proprio ambito di ricerca. I partecipanti presenteranno il proprio contributo in un breve seminario.

Docente
Antonina Dattolo


Teoria descrittiva degli insiemi, Assioma di determinatezza e Grandi cardinali
Numero ore: 24
SSD: MAT/01

Obiettivi formativi
Dare allo studente una solida formazione di base in teoria descrittiva degli insiemi, specialmente per quanto riguarda le sue interazioni con la teoria dei grandi cardinali

Contenuti del corso
Introduzione alla teoria descrittiva degli insiemi: insiemi boreliani, insiemi analitici, proprietà di regolarità. Assioma di determinatezza. Introduzione ai grandi cardinali, cardinali misurabili, club filter. Grandi cardinali dalla determinatezza.

Metodi didattici
Lezioni frontali con esempi e esercizi

Modalità di verifica dell’apprendimento
Argomento di approfondimento con seminario

Docenti
Alberto Marcone, Vincenzo Dimonte


Algoritmi su grafi: algoritmi di simulazione e bisimulazione
Numero ore: 24
SSD: INF/01

Obiettivi formativi
Studiare problemi e algoritmi non banali su grafi aventi legami con i problemi di moltiplicazione di matrici e con il model checking.

Contenuti del corso
Si illustreranno una collezione di algoritmi e relativi problemi di complessità computazionale direttamente ottenibili o riducibili al calcolo di simulazioni e bisimulazioni. In particolare, si illustreranno metodi per ottenere quozienti di grafi rispetto alle relazioni di simulazione e bisimulazione, e/o ad altre relazioni di equivalenza a queste direttamente o indirettamnente correlate. Verranno infine illustrate applicazioni del calcolo dei quozienti di grafi, con particolare riferimento ai quozienti di strutture di Kripke.

Metodi didattici
Lezioni frontali con esempi ed esercizi.

Modalità di verifica dell’apprendimento
Argomento di approfondimento con seminario.

Docenti
Alberto Policriti, Carla Piazza