Dispensa di informatica - Fondamenti: Linguaggi Formali, Calcolabilità e Complessità

In questa dispensa di Informatica a cura del professore Agostino Dovier si parla dei fondamenti dell'informatica: linguaggi formali, calcolabilità e complessità. In particolare vengono affrontati i seguenti argomenti:
- Introduzione (quadro storico e concetti base della matematica);
- Linguaggi formali;
- Teoria della calcolabilità;
- Teoria matematica della ricorsione;
- Complessità Computazionale.

  • Esame di Informatica docente Prof. A. Dovier
  • Università: Udine - Uniud
  • CdL: Corso di laurea in informatica
  • SSD:
I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher Teemo92 di informazioni apprese con la frequenza delle lezioni di Informatica e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Udine - Uniud o del prof Dovier Agostino.
Trova ripetizioni online e lezioni private