Vai al contenuto principale
Italiano (it)
English (en)
Italiano (it)
Ospite (
Login
)
04/10/2018: Dimostrazioni e Tautologie, Ipotesi non tautologiche
Home
Corsi
Corso di Laurea in Informatica (L-31)
LpP-B-18
04/10/2018: Dimostrazioni e Tautologie, Ipotesi no...
Schema della sezione
◄
03/10/2018: Dimostrazioni di Implicazioni Tautologiche
►
10/10/2018: Esercitazione su Calcolo Proposizionale
Tautologie come schemi di dimostrazione
Dimostrazioni con ipotesi non tautologiche
Dispense: [LP1], fino a pag 23
Seleziona attività Slides
Slides
File
◄
03/10/2018: Dimostrazioni di Implicazioni Tautologiche
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
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
7/11/2018: Logica del Primo Ordine: Proof System (2)
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
►
10/10/2018: Esercitazione su Calcolo Proposizionale