Vai al contenuto principale
Italiano (it)
English (en)
Italiano (it)
Ospite (
Login
)
7/11/2018: Logica del Primo Ordine: Proof System (2)
Home
Corsi
Corso di Laurea in Informatica (L-31)
LpP-B-18
7/11/2018: Logica del Primo Ordine: Proof System (2)
Schema della sezione
◄
02/11/2018 - Prima prova di verifica
►
8/11/2018: Logica del Primo Ordine: Proof System (3)
Leggi per quantificatori
Leggi valide solo su dominio non vuoto
Leggi per quantificatori su dominio
Formule vacuamente vere/false
Seleziona attività Slides
Slides
File
◄
02/11/2018 - Prima prova di verifica
Vai a...
Pagina home del corso
INFORMAZIONI GENERALI
19/09/2018: Introduzione al corso e al Calcolo Proposizionale
20/09/2018: Dimostrazione di Tautologie
26/09/2018: Dimostrazione di Tautologie e Sintassi del Calcolo Proposizionale
27/09/2018: Esercitazione su Calcolo Proposizionale
03/10/2018: Dimostrazioni di Implicazioni Tautologiche
04/10/2018: Dimostrazioni e Tautologie, Ipotesi non tautologiche
10/10/2018: Esercitazione su Calcolo Proposizionale
11/10/2018: Logica del Primo Ordine: Motivazioni e Sintassi.
17/10/2018: Logica del Primo Ordine: Formalizazione e Semantica Informale
18/10/2018: Logica del Primo Ordine: Semantica Formale.
24/10/2018: Esercitazione su Formalizzazione e Semantica del primo ordine
25/10/2018: Logica del Primo Ordine: Proof System
02/11/2018 - Prima prova di verifica
8/11/2018: Logica del Primo Ordine: Proof System (3)
14/11/2018: Esercitazione su Dimostrazioni di Validità e di Non Validità di Formule
15/11/2018: Notazione e leggi per insiemi, intervalli e domini
21/11/2018: Quantificatori funzionali
22/11/2018: Esercitazione su Formalizzazione di Enunciati con Sequenze
28/11/2018: Logica di Hoare: Introduzione
29/11/2018: Triple di Hoare: Regole di inferenza per assegnamento, sequenza e comando condizionale.
05/12/2018: Esercitazione su Triple di Hoare
06/12/2018: Triple di Hoare: Regola per il Comando Iterativo
12/12/2018: Triple di Hoare: Sequenze (Array) e Aggiornamento Selettivo
13/12/2918: Esercitazione su Triple di Hoare
20/12/2018 - Seconda prova di verifica
23/01/2019 - Primo Appello
11/02/2019 - Secondo Appello
22/06/2019 - Terzo Apello
09/07/2019 - Quarto Appello
O6/09/2019 - Quinto Appello
►
8/11/2018: Logica del Primo Ordine: Proof System (3)