Menu secondario

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

Informatica teorica

اختيار حسب العام الدراسي:

درس رقم1: Introduzione al corso
درس رقم2: Grammatiche di Chomsky
درس رقم3: Linguaggi regolari e automi a stati finiti
درس رقم4: Proprietà dei linguaggi regolari
درس رقم5: Proprietà dei linguaggi non contestuali
درس رقم6: Riconoscimento di linguaggi non contestuali e analisi sintattica
درس رقم7: Macchine di Turing
درس رقم8: Calcolabilità secondo Turing
درس رقم9: Limiti di calcolabilità
درس رقم10: Macchine a registri
درس رقم11: Funzioni ricorsive e linguaggi funzionali
درس رقم12: Introduzione al Lisp - Dispensa sul linguaggio Lisp (السنة الدراسية 2015/2016) linguaggio Lisp
درس رقم13: Analisi di algoritmi e complessità di problemi
درس رقم14: Le classi, P, NP, PSPACE
درس رقم15: I problemi NP - completi