Skip to main content
English (en)
English (en)
Italiano (it)
You are currently using guest access (
Log in
)
18/10/2018: Logica del Primo Ordine: Semantica Formale.
Home
Courses
Corso di Laurea in Informatica (L-31)
LpP-B-18
18/10/2018: Logica del Primo Ordine: Semantica For...
Section outline
◄
17/10/2018: Logica del Primo Ordine: Formalizazione e Semantica Informale
►
24/10/2018: Esercitazione su Formalizzazione e Semantica del primo ordine
Semantica della Logica del Primo Ordine
Assegnamenti
Semantica dei termini per induzione strutturale
Esempi
Semantica di formule per induzione strutturale
Select activity Slides
Slides
File
◄
17/10/2018: Logica del Primo Ordine: Formalizazione e Semantica Informale
Jump to...
Main course page
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
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
►
24/10/2018: Esercitazione su Formalizzazione e Semantica del primo ordine