Pages (2): « 1 [2] Show 150 posts per page |
.dsy:it. (http://www.dsy.it/forum/)
- Didattica in generale (http://www.dsy.it/forum/forumdisplay.php?forumid=115)
-- [Ragionamento Automatico I] Diario del corso 04/05 (http://www.dsy.it/forum/showthread.php?threadid=17676)
Lezione del 12-04-05
Argomenti trattati nella lezione di oggi:
- HORNSAT è in P (continuazione)
- Risoluzione lineare, risoluzione di input, risoluzione SLD
- La logica del I ordine: introduzione
__________________
The man in black fled across the desert and the gunslinger followed.
Lezione del 13-04-05
Argomenti trattati nella lezione di oggi:
- Logica del Primo Ordine: sintassi e semantica
__________________
The man in black fled across the desert and the gunslinger followed.
Lezione del 18-04-05
Argomenti trattati nella lezione di oggi:
- La semantica Tarskiana
- Sostituzioni
- Algebra della formule del I ordine
- Forma normale prenessa, skolemizzazione, equisoddisfacibilità
__________________
The man in black fled across the desert and the gunslinger followed.
Lezione del 19-04-05
Argomenti trattati nella lezione di oggi:
- La semantica di Herbrand
__________________
The man in black fled across the desert and the gunslinger followed.
Lezione del 20-04-05
Argomenti trattati nella lezione di oggi:
- Teorema di Herbrand + dimostrazione
__________________
The man in black fled across the desert and the gunslinger followed.
Lezione del 26-04-05
Argomenti trattati nella lezione di oggi:
- Teorema di Herband, completezza e loro conseguenze
- Semidecidibilità di UNSAT al primo ordine
__________________
The man in black fled across the desert and the gunslinger followed.
Lezione del 27-04-05
Argomenti trattati nella lezione di oggi:
- Sostituzioni, composizione di sostituzioni, unificatore e mgu
- Teorema di unificazione
- Clausole ortogonali, separatori, fattorizzazione, principio di risoluzione
- SFR deduzione, correttezza e completezza
Questa è stata l'ultima lezione del primo modulo del corso.
__________________
The man in black fled across the desert and the gunslinger followed.
All times are GMT. The time now is 22:33. | Pages (2): « 1 [2] Show all 22 posts from this thread on one page |
Powered by: vBulletin Version 2.3.1
Copyright © Jelsoft Enterprises Limited 2000 - 2002.