Che materia stai cercando?

Appunti di Informatica

Appunti per l'esame di Informatica del corso di laurea in matematica del professor Roberto Zunino, riguardanti la parte teorica richiesta per l'esame scritto e contenenti gran parte degli esercizi svolti in classe.
Argomenti: logica di base, insiemistica (operatore delle conseguenze immediate, teorema di Knaster Tarski, principio di induzione), linguaggio IMP (semantica delle espressioni, semantica... Vedi di più

Esame di Informatica docente Prof. R. Zunino

Anteprima

PAGINE

15

PESO

7.21 MB

PUBBLICATO

8 mesi fa


DESCRIZIONE APPUNTO

Appunti per l'esame di Informatica del corso di laurea in matematica del professor Roberto Zunino, riguardanti la parte teorica richiesta per l'esame scritto e contenenti gran parte degli esercizi svolti in classe.
Argomenti: logica di base, insiemistica (operatore delle conseguenze immediate, teorema di Knaster Tarski, principio di induzione), linguaggio IMP (semantica delle espressioni, semantica big step, complessità computazionale), correttezza dei programmi (Triple di Hoare, teorema di correttezza).


DETTAGLI
Esame: Informatica
Corso di laurea: Corso di laurea in matematica
SSD:
Università: Trento - Unitn
A.A.: 2018-2019

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher Riccardo-T 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à Trento - Unitn o del prof Zunino Roberto.

Acquista con carta o conto PayPal

Scarica il file tutte le volte che vuoi

Paga con un conto PayPal per usufruire della garanzia Soddisfatto o rimborsato

Recensioni
Ti è piaciuto questo appunto? Valutalo!