I materiali pubblicati sul sito costituiscono rielaborazioni personali del Publisher di informazioni apprese con la frequenza delle lezioni e lo studio autonomo di eventuali testi di riferimento in preparazione all’esame finale o della tesi. Non devono intendersi come materiale ufficiale dell’università attribuibile al docente del corso.
…continua
Ultimi appunti inseriti
Appunti più scaricati
Appunti per nome

Filtra per

Tutte le tipologie

Ordina

Filtra

Appunti degli studenti per corsi ed esami del Prof. Zunino Roberto

icona-appunti
icona-appunti

Appunti di Informatica Premium

Esame Informatica

Facoltà Scienze matematiche fisiche e naturali

Dal corso del Prof. R. Zunino

Università Università degli Studi di Trento

Appunto
Scarica
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).
...continua