جهات الاتصال

مجتمع

ابحث

GR | عربي | FR | EN | IT

Corso Vittorio Emanuele II, 39 - Roma 0669207671

جهات الاتصال

مجتمع

GR | عربي | FR | EN | IT

الهندسة المعلوماتية (السنة الدراسية 2019/2020) - Programmazione e sicurezza

Informatica teorica

درس رقم 1: Introduzione al corso Obiettivi e programma del corso Alfabeti, stringhe, linguaggi Operazioni sui linguaggi Espressioni regolari		Giorgio Ausiello
درس رقم 2: Grammatiche di Chomsky Definizione di grammatica di Chomsky Derivazione di stringhe e generazione di linguaggi Classi di grammatiche e di linguaggi Linguaggi di Tipo 0, 1, 2, 3		Giorgio Ausiello
درس رقم 3: Linguaggi regolari e automi a stati finiti Linguaggi regolari e automi a stati finiti Automi a stati finiti non deterministici Relazione tra automi deterministici e non deterministici		Giorgio Ausiello
درس رقم 4: Proprietà dei linguaggi regolari Relazione tra automi, grammatiche ed espressioni regolari "Pumping lemma" per I linguaggi regolari Equivalenza di automi a stati finiti		Giorgio Ausiello
درس رقم 5: Proprietà dei linguaggi non contestuali "Pumping lemma" per I linguaggi non contestuali Proprietà di chiusura Grammatiche non contestuali in forma ridotta Forme normali		Giorgio Ausiello
درس رقم 6: Riconoscimento di linguaggi non contestuali e analisi sintattica Automi a pila Relazione tra automi a pila e grammatiche non centestuali Analisi sintattica di linguaggi Il problema dell'ambiguità		Giorgio Ausiello
درس رقم 7: Macchine di Turing Definizione della macchina di Turing Riconoscimento e accettazione di linguaggi Macchine a più nastri		Giorgio Ausiello
درس رقم 8: Calcolabilità secondo Turing Macchine non deterministiche Macchine di Turing e linguaggi di tipo 0 Funzioni calcolabili secondo Turing La tesi di Church-Turing		Giorgio Ausiello
درس رقم 9: Limiti di calcolabilità Macchine di Turing in forma ridotta Macchina di Turing universale Il problema della terminazione Altri problemi indecidibili		Giorgio Ausiello
درس رقم 10: Macchine a registri Macchine a registri (RAM) Costi di calcolo RAM e macchine di Turing Macchine a registri elementari		Giorgio Ausiello
درس رقم 11: Funzioni ricorsive e linguaggi funzionali Le funzioni ricorsive primitive Il formalismo di Mc Carthy		Giorgio Ausiello
درس رقم 12: Introduzione al Lisp Un semplice linguaggio funzionale: Lisp		Giorgio Ausiello
درس رقم 13: Analisi di algoritmi e complessità di problemi Analisi di algoritmi Complessità di problemi Classi di complessità		Giorgio Ausiello
درس رقم 14: Le classi, P, NP, PSPACE Classi di complessità notevoli I teoremi di gerarchia Il teorema di Savitch Problemi aperti		Giorgio Ausiello
درس رقم 15: I problemi NP - completi La classe NP Riduzioni tra problemi e problemi completi Il teorema di Cook Altre dimostrazioni di NP-completezza		Giorgio Ausiello