Bulma

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Argomenti trattati nella lezione di oggi:

- Definizione di verità
- Verità logica
- Teoria, modello, conseguenza logica
- Teoria soddisfacibile

__________________
The man in black fled across the desert and the gunslinger followed.

0m4r

.grande:maestro.

User info:

Registered: Mar 2002
Posts: 7287 (0.84 al dì)
Location: Düsseldorf (DE)
Corso:
Anno: ESAMI FINITI
Time Online: 49 Days, 0:57:33 [...]
Status: Offline

Post actions:

Off-Topic:
che velocità!...che efficenza!

__________________
http://www.twitter.com/0m4r

kikka

.consigliere.

User info:

Registered: May 2002
Posts: 112 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 12:57:55 [...]
Status: Offline

Post actions:

Ciao a tutti
Qualcuno che non segue ha già provato a chiedere al prof di inviargli le dispense via mail?
Cos'ha risposto? Non fa problemi perchè vuole che si segua??
Grazie ciaoo

10t8or

dsy adminz
=)

User info:

Registered: Feb 2002
Posts: 2189 (0.25 al dì)
Location: QUI
Corso: Ho gia dato..
Anno: oo
Time Online: 10 Days, 14:48:15 [...]
Status: Offline

Post actions:

boh.. io gliele ho chieste ieri e me le ha spedite al fly.. ma cmq seguirò..

tent:wq

__________________
Dr. Ma. Lol. Francisco Peralta Aguaron
francisco@dico.unimi.it - http://www.10t8or.com
No SW Patents.. Mazzetta?!

Bulma

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Argomenti trattati nella lezione di oggi (a grandi linee):

Skolemizzazione:
* trasformazione in forma normale prenessa
* trasformazione in enunciati universali
* trasformazione in forma normale congiuntiva
* riscrittura sotto forma di clausole

__________________
The man in black fled across the desert and the gunslinger followed.

0m4r

.grande:maestro.

User info:

Registered: Mar 2002
Posts: 7287 (0.84 al dì)
Location: Düsseldorf (DE)
Corso:
Anno: ESAMI FINITI
Time Online: 49 Days, 0:57:33 [...]
Status: Offline

Post actions:

qualcuno sa come si scrive scolenistico, con la c, con la k, come?

__________________
http://www.twitter.com/0m4r

Lunik

dsy core staff

User info:

Registered: Mar 2002
Posts: 22362 (2.57 al dì)
Location: Milano
Corso: ComDig
Anno: Dott.ssa
Time Online: 93 Days, 0:52:10 [...]
Status: Offline

Post actions:

Off-Topic:
con la K a Logica matematica usava la K!

__________________
Il DSY su Facebook!!!

Bulma

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Argomenti trattati nella lezione di oggi:
- Esempi di skolemizzazione
- Skolemizzazione migliorata
- Primi accenni alla regola di Risoluzione

La skolemizzazione "migliorata" non è trattata sulle dispense del corso, è un argomento aggiuntivo. Il professore l'ha spiegata perchè si tratta di un procedimento di ottimizzazione adottato in casi particolari dallo SPASS (per problemi di efficienza), che può portare ad output diversi da quelli attesi (e che si otterrebbero applicando la skolemizzazione "ingenua" vista nella scorsa lezione).
Non è necessaria la totale comprensione, basta sapere che esiste. Comunque il professore ha anche aggiunto che all'esame chiederà solo gli argomenti presenti nelle dispense.

Avviso importante: La lezione di lunedì non si svolgerà causa impegni del docente. La prossima lezione si terrà quindi mercoledì prossimo.

__________________
The man in black fled across the desert and the gunslinger followed.

recoil

dsy adminz

User info:

Registered: Mar 2002
Posts: 4454 (0.51 al dì)
Location: Milano / Erba
Corso: TICOM
Anno: laureato
Time Online: 61 Days, 16:17:45 [...]
Status: Offline

Post actions:

comunque spero che inizieremo a vedere questo simulatore a breve...
l'esame a quanto ho capito riguarderà per la maggior parte l'uso dello stesso ma un conto è capirne il funzionamento (banale), un altro è capire come si scrivono le formule e soprattutto interpretare l'output!

credo che la sua idea di andare in aula delta (o gamma) un paio di volte sia da incoraggiare, sperando che lui a lezione attacchi più spesso il pc

__________________
Sono sempre alla ricerca di curriculum interessanti da segnalare alle società con cui ho contatti. Info in pm

Bulma

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Argomenti trattati nella lezione di oggi:

- Definizione di albero.
- Sostituzioni, composizione di sostituzioni, rinomina, sostituzione più generale.
- Unificazione:
* il problema
* il teorema
* l'algoritmo

__________________
The man in black fled across the desert and the gunslinger followed.

0m4r

.grande:maestro.

User info:

Registered: Mar 2002
Posts: 7287 (0.84 al dì)
Location: Düsseldorf (DE)
Corso:
Anno: ESAMI FINITI
Time Online: 49 Days, 0:57:33 [...]
Status: Offline

Post actions:

Off-Topic:
qualcuno è disposto a postare i sui appunti sulla lezione di oggi, e probabilmente anche quella di domani, dato che non c'ero???

__________________
http://www.twitter.com/0m4r

Bulma

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Argomenti trattati nella lezione di oggi:
- Matching
- Regole di inferenza: risoluzione e fattorizzazione
- Derivazione
- Teorema della completezza refutazionale del calcolo della risoluzione
- Esempi

Avviso: La lezione del giovedì viene soppressa. Dalla settimana prossima il corso di Logica si terrà solo il lunedì e il mercoledì.

__________________
The man in black fled across the desert and the gunslinger followed.

Sauzer

.fedelissimo.

User info:

Registered: Oct 2003
Posts: 58 (0.01 al dì)
Location: Macchinetta del caffè, via comelico 39/41 Milano
Corso: Laurea specialistica T.I.C.
Anno: primo
Time Online: 12:09:31 [...]
Status: Offline

Post actions:

Originally posted by 0m4r

Off-Topic:
qualcuno è disposto a postare i sui appunti sulla lezione di oggi, e probabilmente anche quella di domani, dato che non c'ero???

0maaaaar sei il solito scroccone :-) punta la sveglia al mattino e vedi che non hai bisogno di chiedere gli appunti agli altri

0m4r

.grande:maestro.

User info:

Registered: Mar 2002
Posts: 7287 (0.84 al dì)
Location: Düsseldorf (DE)
Corso:
Anno: ESAMI FINITI
Time Online: 49 Days, 0:57:33 [...]
Status: Offline

Post actions:

Originally posted by Sauzer
0maaaaar sei il solito scroccone :-) punta la sveglia al mattino e vedi che non hai bisogno di chiedere gli appunti agli altri

__________________
http://www.twitter.com/0m4r

Sauzer

.fedelissimo.

User info:

Registered: Oct 2003
Posts: 58 (0.01 al dì)
Location: Macchinetta del caffè, via comelico 39/41 Milano
Corso: Laurea specialistica T.I.C.
Anno: primo
Time Online: 12:09:31 [...]
Status: Offline

Post actions:

Originally posted by 0m4r

Off-Topic:
veramente io oggi c'ero....eri tu quello che mancava!