Vai al contenuto principale
Italiano (it)
English (en)
Italiano (it)
Ospite (
Login
)
12/12/2019: Esercitazione su Triple di Hoare
Home
Corsi
Corso di Laurea in Informatica (L-31)
LpP-B-19
12/12/2019: Esercitazione su Triple di Hoare
Schema della sezione
◄
11/12/2019: Triple di Hoare: Sequenze (Array) e Aggiornamento Selettivo
►
20/12/2019 - Seconda prova di verifica
Seleziona attività Tavola delle leggi
Tavola delle leggi
File
Seleziona attività Testo degli Esercizi
Testo degli Esercizi
File
◄
11/12/2019: Triple di Hoare: Sequenze (Array) e Aggiornamento Selettivo
Vai a...
Pagina home del corso
Appello Gennaio 2022
MODALITA' D'ESAME A DISTANZA
INFORMAZIONI GENERALI
18/09/2019: Introduzione al corso e al Calcolo Proposizionale
19/09/2019: Dimostrazione di Tautologie
25/09/2019: Dimostrazione di Tautologie e Sintassi del Calcolo Proposizionale
26/09/2019: Esercitazione su Calcolo Proposizionale
02/10/2018: Dimostrazioni di Implicazioni Tautologiche
03/10/2019: Dimostrazioni e Tautologie, Ipotesi non tautologiche
9/10/2019: Esercitazione su Calcolo Proposizionale
10/10/2019: Logica del Primo Ordine: Motivazioni e Sintassi.
16/10/2019: Logica del Primo Ordine: Formalizazione e Semantica Informale
17/10/2019: Logica del Primo Ordine: Semantica Formale.
23/10/2019: Esercitazione su Formalizzazione e Semantica del primo ordine
24/10/2019: Logica del Primo Ordine: Proof System
30/10/2019: Logica del Primo Ordine: Proof System (2)
31/10/2019: Simulazione Prima Prova di Verifica
07/11/2019 - Prima prova di verifica
13/11/2019: Logica del Primo Ordine: Proof System (3)
14/11/2019: Notazione e leggi per insiemi, intervalli e domini
20/11/2019: Quantificatori funzionali
20/11/2019: Esercitazione su Dimostrazioni di (Non) Validità di Formule e Formalizzazione di Enunciati con array
28/11/2018: Logica di Hoare: Introduzione
27/11/2019: Triple di Hoare: Regole di inferenza per assegnamento, sequenza e comando condizionale.
04/12/2019: Esercitazione su Triple di Hoare
05/12/2019: Triple di Hoare: Regola per il Comando Iterativo
11/12/2019: Triple di Hoare: Sequenze (Array) e Aggiornamento Selettivo
20/12/2019 - Seconda prova di verifica
10/01/2020 - Primo Appello
30/01/2020 - Secondo Appello
►
20/12/2019 - Seconda prova di verifica