Dipartimento di Matematica e Informatica, via Alfonso Valerio 14,
I - 34127 Trieste
Department of Mathematics and Computer
Science, via Alfonso Valerio 14, I - 34127 Trieste, Italy, European
Union - Union Européenne
Edificio H2, stanza 327, terzo piano. Telefono 040 558 2623. Fax
040 558 2636
Building H2, room 327, third floor. Phone + 39
040 558 2623. Fax +39 040 558 2636
DIDATTICA
Esami: si consulti il sito del DMI.LOGICA e LINGUAGGI (vedi anche la pagina web di Luca
Bortolussi)
Automi finiti e lingue regolari. Computazione
deterministica e non deterministica. Grammatiche acontestuali
(context-free). Proprieta' di stabilita' e
lemmi di espansione
(pumping). Automi a pila (pushdown). Grammatiche contestuali
(context-sensitive). Grammatiche generali e macchine di Turing
decisionali.
TESTI di RIFERIMENTO:
M. Sipser: Introduction to
the Theory of Computation. PWS Publishing Co.
G. Ausiello, F.
D'Amore, G. Gambosi: Linguaggi, modelli, complessita'. Franco Angeli
editore.
ALGORITMI e STRUTTURE DATI (vedi la pagina web di Luca Bortolussi)
SOFT COMPUTING
Intelligenza artificiale: la filosofia del soft
computing e del calcolo verbale.
Gestione dell'incertezza e
dell'ignoranza: Richiami sulle probabilita' bayesiane.
Probabilita'
imprecise; teoria delle possibilita', teoria dell'attestabilita'
(evidence
theory). Aggiornamento e sintesi (pooling) delle
conoscenze: la regola di Bayes e la
regola di
Dempster-Shafer.
Gestione della vaghezza: logica sfocata (logica
sfumata, fuzzy logig) e logiche
multivalenti. Insiemi sfocati e
aritmetica sfocata. Controllo sfocato.
TESTO di RIFERIMENTO: A.
Sgarro, Entropia e informazione, cap.5,
reperibile all'indirizzo
www.dmi.units.it/~sgarro/studenti.html
MATEMATICA DISCRETA e PROBLEMI di OTTIMIZZAZIONE (modulo a:
Matematica discreta)
Grafi e alberi. Combinatorica estremale.
Combinatorica delle stringhe. Aspetti algoritmici.
Testo di
riferimento: J.H. van Lint, R.M. Wilson: A course in combinatorics,
Cambridge University Press
RICEVIMENTO: mercoledi' dalle 12 alle 13, oppure per appuntamento.
research (with list of papers)