.dsy:it. 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)


Posted by Bulma on 12-04-2005 16:44:

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.


Posted by Bulma on 13-04-2005 14:06:

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.


Posted by Bulma on 20-04-2005 16:56:

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.


Posted by Bulma on 20-04-2005 17:05:

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.


Posted by Bulma on 20-04-2005 17:07:

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.


Posted by Bulma on 26-04-2005 15:57:

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.


Posted by Bulma on 27-04-2005 13:45:

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.
:ciao:

__________________
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.