Vai al contenuto principale
Italiano (it)
English (en)
Italiano (it)
Ospite (
Login
)
Logica Per La Programmazione (Corso B) AA19/20
Home
Corsi
Corso di Laurea in Informatica (L-31)
LpP-B-19
18/09/2019: Introduzione al corso e al Calcolo Pro...
Slides
Slides
Aggregazione dei criteri
Per visualizzare il file, fai click su questo link:
LPP-1-19.pdf
◄ Svolgimento per Triple di Hoare
Vai a...
Vai a...
Annunci
Organizzazione Logistica per la modalità d'esame a distanza
Simulazione su Calcolo Proposizionale
Simulazione su Logica del Primo Ordine
Simulazione su Triple di Hoare
Simulazione-2-CalcoloProposizionale
Simulazione-2-LogicaPrimoOrdine
Simulazione-2-TripleHoare
Svolgimento per Triple di Hoare
Slides
Slides
Tavola delle leggi
Testo degli Esercizi
Slides
Slides
Testo degli Esercizi
Slides
Slides
Slides
Testo degli Esercizi
Slides
Slides
Testo
Soluzioni
Testo
Soluzioni
Risultati
Pretest: Testo
Pretest: Risultati
Tavola delle Leggi (V3)
Slides
Slides
Slides
Tabola delle Leggi (V3)
Testo Degli Esercizi
Esercizi Addizionali
Slides
Slides
Testo degli esercizi
Tavola delle leggi (V3)
Slides
Slides
Tavola delle leggi
Testo degli Esercizi
Testo
Soluzioni
Lista degli Ammessi All'Orale
Testo
Soluzioni
Risultati
Testo
Soluzioni
Risultati
Slides ►