Menu secondario

Ingénierie Informatique (Academic Year 2018/2019) - Programmazione e sicurezza

Informatica teorica

Filtrer par année académique

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