Walter

dsy adminz

User info:

Registered: Mar 2002
Posts: 5304 (0.61 al dì)
Location: Milano 90% - Valle Camonica 10%
Corso: Magistrale in Informatica
Anno: fine!
Time Online: 99 Days, 4:33:05: [...]
Status: Offline

Post actions:

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

Walter

dsy adminz

User info:

Registered: Mar 2002
Posts: 5304 (0.61 al dì)
Location: Milano 90% - Valle Camonica 10%
Corso: Magistrale in Informatica
Anno: fine!
Time Online: 99 Days, 4:33:05: [...]
Status: Offline

Post actions:

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

Walter

dsy adminz

User info:

Registered: Mar 2002
Posts: 5304 (0.61 al dì)
Location: Milano 90% - Valle Camonica 10%
Corso: Magistrale in Informatica
Anno: fine!
Time Online: 99 Days, 4:33:05: [...]
Status: Offline

Post actions:

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

Walter

dsy adminz

User info:

Registered: Mar 2002
Posts: 5304 (0.61 al dì)
Location: Milano 90% - Valle Camonica 10%
Corso: Magistrale in Informatica
Anno: fine!
Time Online: 99 Days, 4:33:05: [...]
Status: Offline

Post actions:

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

Walter

dsy adminz

User info:

Registered: Mar 2002
Posts: 5304 (0.61 al dì)
Location: Milano 90% - Valle Camonica 10%
Corso: Magistrale in Informatica
Anno: fine!
Time Online: 99 Days, 4:33:05: [...]
Status: Offline

Post actions:

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