Come avete fatto l'esercizio di logica? Io ho dimostrato l'inconsistenza del set di formule composto dall'antecedente e dal conseguente negato.

Rizzi troppo poco tempo, il prolog in entrambe le volte mi s'è divorato minuti su minuti, e tu guarda, stamo ancora a discutere di ste liste sottoliste, sottosequenze.

Per la logica era facile, non mi chiedeva di dimostrare l'inconsistenza, ma solo il fatto che una certa implicazione era equivalente a A---> not B.
Si applicava il principio di riduzione ricordandosi che A-->B è equivalente a not A V B

Sì infatti il tempo era pochissimo....ho finito l'ultimo es. giusto in tempo.

Il mio esercizio di logica chiedeva di dimostrare la validità di una certa conseguenza logica, diciamo A cons.log B (non ricordo l'espressione esatta).

Allora ho dimostrato attraverso l'algoritmo di risoluzione che il set di formule formato da A e not B è inconsistente. E' venuto...per fortuna

Sul sito ancora non ha messo il giorno per la verbalizzazione...si sa qualcosa?!.

Cya.

non ha messo ancora i risultati veramente!

a proposito ma questi risultati quando escono?!?!?!

Bella domanda!

io ho mandato una mail alla Pazienza che mi ha risposto che usciranno la prossima settimana
:!:

io ho mandato una mail alla Pazienza che mi ha risposto che usciranno la prossima settimana
:!:

Alla faccia!!

Ma quanti eravamo?!

La prossima settimana?!? :shock:

Infatti ho sentito qualcuno che mi ha detto che questa settimana la Pazienza era occupata in una specie di "forum"... però tenerci così sulle spine è cattiveria pura!

che la pazienza sia impegnata non comporta nulla nella correzione dei compiti .... anche, e soprattutto perchè non ha alcuna idea su come farlo!!!!!
i compiti li corregge stellato......è l'unico competente in materia

Vabbeh, immagino sarà impegnato anche lui, altrimenti non si spiega questo ritardo nella correzione!

Oggi ho sentito di un fantomatico litigio fra Stellato e la Pazienza...che sarebbe una delle cause di questo ritardo.

Qualcuno ne sa qualcosa?

Non so se sia vero, sarebbe in ogni caso assurdo :shock:

No, dai...

Cioè, questa non è più una facoltà... con tutto quello che ci sta succedendo, mi sembra più una soap opera... madri di professori malati.. litigi vari...

cosa accadrà nella prossima puntata??? :wink:

Comunque non ci credo...saranno le solite voci di corridoio tremendamente infondate

Oggi ho sentito di un fantomatico litigio fra Stellato e la Pazienza...

Quando e dove hai sentito sta cosa?

quoto per la tremenda infondatezza......

Stamane all'uni un ragazzo mi ha detto che altri gli hanno detto che (e qua già si capisce che difficilmente è una cosa vera ) un ragazzo ha ricevuto una risposta da Stellato secondo cui ci sarebbe stato un litigio

Barzellette insomma....almeno spero :wink:

Io spero nella tremenda infondatezza...

Spero siano entrambi impegnati nel forum... molto più dignitoso! :wink:

anche io l'ho sentita sta storia del litigio! ma mi hanno detto che hanno proprio sentito una telefonata infuocata o qualcosa del genere

Stellato l'ha tradita con Brooke! Svelato l'arcano!