Informatica teorica

Acquista Richiedi copia saggio

PARTE 1: Prerequisiti matematici

1. Glossario matematico

2. Elementi essenziali di logica matematica

PARTE 2: Modelli per l’’informatica

3. L’’uso dei modelli in campo scientifico e ingegneristico

4. Automi

5. Grammatiche

6. Definizioni denotazionali dei linguaggi

7. La logica matematica in informatica

PARTE 3: Proprietà del calcolo automatico

8. La risoluzione automatica dei problemi

9. La complessità del calcolo