Utente:RADICEDIMENOUNO/Libri/IN401

	Questo è un “Libro di Wikipedia”	[ Aiuto:Libri ]
	[ carica libro ]  [ PDF ]  [ ordina come libro stampato ]  [ modifiche correlate ]

IN401

Informatica Teorica

Algoritmo

Macchina di Turing

Tesi di Church-Turing

Lambda calcolo

Funzione ricorsiva

Teoria della calcolabilità

Funzione calcolabile

Turing equivalenza

Automa a stati finiti

Programmazione funzionale

Linguaggio di programmazione

Espressione regolare

Java (linguaggio di programmazione)