Vai al contenuto principale
Italiano (it)
English (en)
Italiano (it)
Ospite (
Login
)
13/11/2019: Logica del Primo Ordine: Proof System (3)
Home
Corsi
Corso di Laurea in Informatica (L-31)
LpP-B-19
13/11/2019: Logica del Primo Ordine: Proof System (3)
Schema della sezione
◄
07/11/2019 - Prima prova di verifica
►
14/11/2019: Notazione e leggi per insiemi, intervalli e domini
Regole di inferenza: Generalizzazione e Skolemizzazione
Esempi di dimostrazione
Esempi di formule valide e non valide
Dispense: finita la dispensa [LP1]
Seleziona attività Tavola delle Leggi (V3)
Tavola delle Leggi (V3)
File
Seleziona attività Slides
Slides
File
◄
07/11/2019 - Prima prova di verifica
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
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
12/12/2019: Esercitazione su Triple di Hoare
20/12/2019 - Seconda prova di verifica
10/01/2020 - Primo Appello
30/01/2020 - Secondo Appello
►
14/11/2019: Notazione e leggi per insiemi, intervalli e domini