che ha fatto stellato?

che ha fatto stellato?

Purtroppo non sono potuto venire: mi associo alla domanda!

che ha fatto stellato?

Purtroppo non sono potuto venire: mi associo alla domanda!

Non ha fatto nulla di particolare. Una lezione introduttiva (sta tutto sulle slides 6).
Ha dato qualche definizione tipo formula valida, contingente, consistente etc.
Ripeto sta TUTTO sulle slides, è arrivato fino alla slide 37.
Lunedì continua e forse dovrebbe cominciare qualche esercizio.
Bye!

che ha fatto stellato?

Purtroppo non sono potuto venire: mi associo alla domanda!

Non ha fatto nulla di particolare. [...]
Bye!

GRAZIE!!

ragazzi dire che una formula è consistente è la stessa cosa di dire che una formula è contingente ? non riesco a capire se esiste una differenza fra le due definizioni.(slide 20 e 21 stellato)

Nonostante le mie buone intenzioni, non sono riuscito a venire a lezione neanche oggi, mi aggiornate? Ha cominciato il prolog?
Ciao!

Nonostante le mie buone intenzioni, non sono riuscito a venire a lezione neanche oggi, mi aggiornate? Ha cominciato il prolog?
Ciao!

Ha iniziato il prolog...
Ma è come se non avesse fatto ancora niente...
Solo le prime pagine della dispensa n°7 in pdf che puoi trovare sul sito dell'anno scorso (fino alla n. 16)

ragazzi nell'algoritmo di quine per cnf (slide 40) perchè S'NOTp={F}?
o meglio che ragionamento fa per eliminare la p ?

che ha fatto ieri stellato?

che ha fatto ieri stellato?

Ha continuato con il prolog fino alla dispensa 7 pag. 50

che ha fatto ieri stellato?

Ha continuato con il prolog fino alla dispensa 7 pag. 50

thx

raga ma cosa ha fatto stellato venerdì? se ha fatto il test di autovalutazione, sapete dirmi dove sono testo e soluzione?

raga ma cosa ha fatto stellato venerdì? se ha fatto il test di autovalutazione, sapete dirmi dove sono testo e soluzione?

Non lo ha fatto!

raga ma cosa ha fatto stellato venerdì? se ha fatto il test di autovalutazione, sapete dirmi dove sono testo e soluzione?

Non lo ha fatto!

sai dirmi a quando è rinviato? ha finito il prolog con qualche esercizio o continueremo mercoledì nella lez. di 4 ore?

In realtà un pezzo del test di autovalutazione (un paio di esercizi) li ha svolti verso la fine della lezione (almeno credo)...
Roba con Formule, Algoritmi di Risoluzione, Validità... Non sembravano troppo difficili...

Aveva detto che avrebbe messo il test sul sito..e in caso contrario di ricordaglielo..quindi adesso gli mando una mail..non penso che lo farà di nuovo in classe..

Ma del prolog fino a ke livello di complessità è arrivato? l'anno scorso mi sembrava di averlo capito, e puntualmente al compito non sono riuscito a districarmi nell'esercizio del prolog :?

Ma del prolog fino a ke livello di complessità è arrivato? l'anno scorso mi sembrava di averlo capito, e puntualmente al compito non sono riuscito a districarmi nell'esercizio del prolog :?

Ha finito la dispensa #7 e ha detto che all'esame l'esercizio non sara' piu' difficile dell insertion-sort (cosi mi sembra di aver capito, smentitemi se ho capito male). Inoltre ha ricordato che la funzione "member" e' un esempio di scansione di lista, quindi penso che all'esame ci sia qualcosa di analogo ma arricchito. (e' una mia opinione).

raga ma cosa ha fatto stellato venerdì? se ha fatto il test di autovalutazione, sapete dirmi dove sono testo e soluzione?

E' appena uscito!
http://www.uniroma2.it/didattica/SBC0607/file.html

Scusate,ma causa lavoro non posso proprio venire a lezione. Vorrei sapere solo una cosa,anzi due:
- bisogna iscriversi al corso? e se si come.
- cos bisogna fare per iscriversi all'esame.

Ringrazio anticipatamente.