.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [Logica per le applicazioni] diario del corso 04/05 (http://www.dsy.it/forum/showthread.php?threadid=13503)

Argomenti della lezione di Martedì 16 Novembre

Argomenti della lezione di Martedì 16 Novembre

- esercizi di riepilogo su quanto fatto nelle ultime settimane (con l'ausilio di Spass)

__________________
"Ragione e passione sono timone e vela della nostra anima navigante." - Kahlil Gibran
"Senza musica la vita sarebbe un errore." - Friedrich Nietzsche

Argomenti della lezione di Lunedì 22 Novembre

Argomenti della lezione di Lunedì 22 Novembre

- vincoli
--- vincoli disgiuntivi
- soddisfacibilità
--- attuale
--- estesa
--- "pseudo-soddisfacibilità"
- vincoli sulla risoluzione
- indiscernibilità degli identici
- paramodulazione

__________________
"Ragione e passione sono timone e vela della nostra anima navigante." - Kahlil Gibran
"Senza musica la vita sarebbe un errore." - Friedrich Nietzsche

Argomenti della lezione di Martedì 23 Novembre

Argomenti della lezione di Martedì 23 Novembre

- ripasso sulla ricerca dei massimali con l'uso dei multinsiemi
- ripasso sui sottotermini
- formule del superposition calculus
--- superposition right
--- superposition left
--- equality resolution
--- equality factoring

Il professore ha annunciato una prossima revisione della dispensa del corso per escludere gli argomenti che non verranno trattati e riordinare i restanti nell'ordine in cui sono stati presentati a lezione.

__________________
"Ragione e passione sono timone e vela della nostra anima navigante." - Kahlil Gibran
"Senza musica la vita sarebbe un errore." - Friedrich Nietzsche

Argomenti della lezione di Lunedì 29 Novembre

Argomenti della lezione di Lunedì 29 Novembre

- esercizi con SPASS (opzioni -PObv , -PRew e -Select)

Importanti avvisi dal sito del corso:
- è in linea qui la nuova versione della dispensa;
- Venerdì 3 dicembre alle 9.30 in aula Delta esercitazioni di laboratorio su SPASS
- le lezioni del 30 Novembre (domani) e del 6 Dicembre sono sospese: la prossima lezione si terrà il 13 Dicembre

Grazie a 10t8or per le informazioni!

__________________
"Ragione e passione sono timone e vela della nostra anima navigante." - Kahlil Gibran
"Senza musica la vita sarebbe un errore." - Friedrich Nietzsche

Argomenti della lezione di Lunedì 13 e Martedì 14 Dicembre

Argomenti della lezione di Lunedì 13 Dicembre

- regole di riduzione (forward e backward)
--- clausola ridondante e riduzione forward
--- inferenza ridondante e riduzione backward
- nozione di derivazione

Argomenti della lezione di Martedì 14 Dicembre

- sistemi di riscrittura (non è parte del programma d'esame)


Avvisi di fine corso
Martedì 21 Dicembre avrà inizio il corso integrativo facoltativo, che si concluderà con un progetto: questo sostituirà in tutto o in parte (è ancora da stabilire) la consueta procedura d'esame.
Per qualsiasi informazione sul corso, sulle esercitazioni di laboratorio e sul corso integrativo fare riferimento alla pagina http://homes.dsi.unimi.it/~ghilardi/ls/lpa.html

__________________
"Ragione e passione sono timone e vela della nostra anima navigante." - Kahlil Gibran
"Senza musica la vita sarebbe un errore." - Friedrich Nietzsche