Homepage / Scienze / Informatica teorica

Informatica teorica
Seconda edizione
- Autori: D. Mandrioli, P. Spoletini
- Marchio:CittàStudiEdizioni
- Anno:2011
- ISBN:9788825173659
- Pagine:528
- Prezzo:€ 46,00
Acquista Richiedi copia saggio
Indice
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