Menu secondario

Ingegneria Informatica (Ακαδημαϊκό έτος 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