Menu secondario

Ingegneria Informatica (Anno Accademico 2021/2022) - Programmazione e sicurezza

Informatica teorica

Filtra per anno accademico:

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