.dsy:it. - 1° compitino

.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- 1° compitino (http://www.dsy.it/forum/showthread.php?threadid=30262)

Posted by Didjer Wallis on 03-04-2007 08:48:

1° compitino

Ciao a tutti, io devo fare il primo compitino di logica (spero sia l'ultimo) da non frequentante, qualcuno sa di preciso quando è? oppure potete postare non appena sapete qualcosa? Gracias

DW

__________________
La vita è dolore!

Posted by CaboM.BNA on 04-04-2007 19:56:

mi pare che Ghilardi abbia detto che sia a maggio... non prendere come dogma la mia affermazione in quanto nonostante tutta la buona volonta che ci metto, dopo 15 min di lezione REGOLARMENTE mi abbiocco... appena so/scopro qualcosa posto... byez Sergio

Posted by Didjer Wallis on 11-04-2007 17:39:

ehehe come facevo io, ma mi sa che duravo anchge meno...comuqnue a me aveva detto a maggio (all'appello di febbraio). Chi sapesse qualcosa posti thanks

DW

__________________
La vita è dolore!

Posted by CaboM.BNA on 11-04-2007 19:44:

comuqnue a me aveva detto a maggio (all'appello di febbraio).

interessante...... concorda con quello che ho detto io... ne son lieto: siginifica che nonostane la mia condizione di dormiveglia, seppure passivamente, una qualche informazione/nozione l'ho comunque receipita... ne son contento...

Posted by Didjer Wallis on 15-04-2007 10:21:

Sono cose belle, brinda e bevici su!!

DW

__________________
La vita è dolore!

Posted by Simone_155 on 15-04-2007 10:28:

Didjer ma cosa ci fai ancora li?!?
Hai fatto l'esame a febbraio con me!!!non dirmi che ti ha stampato ancora :shock: ...prolog immagino...

Cmq, consiglio spassionato...logica non si segue!perchè viene usata anche in ospedale come potente anestetico...2 settimane prima del compito fate come me: prolog brute force attack...

Una letale full immersion in Logica/Prolog in cui a fine giornata parlete a vostra madre dicendele che quello che sta dicendo lei non è una tautologia...mentre a vostro padre risponderete semplicemente che il ramo da lui generato non ammette backtrack a causa del cut!

A parte gli scherzi io non l'ho mai seguita!
La faccia di Ghilardi l'ho vista per la prima volta il giorno prima dell'esame qui: http://images.google.it/images?hl=i...+immagini&gbv=2

Dalla Morpurgo sono stato un giorno per farmi spiegare le uniche cose che non avevo capito di Prolog e mi sono sentito trattare come un bambino delle elementari che non ha voglia di fare i compiti a casa...mancava solo che mi facesse la nota sul diario...

L'unica cosa è che sono un testone...non ho mai mollato (nonostante molta gente soprattutto qui sul dsy mi consigliasse di non provarci nemmeno...) e in 2 settimane ho preparato assieme ad un mio amico tutta la parte Logica + quella di Prolog...
Risultato?Esame da 26 su un massimo di 27 dato che se non fai orale o progetto (e io me ne sono guardato bene dal farlo...) il voto massimo dei compitini è quello!
Mi posso ritenere più che soddisfatto, soprattutto del fatto che non ho sprecato tempo del secondo semestre per seguire...

Non so, vi ho solo riportato la mia esperienza...dalla quale emerge: seguire è inutile!Al max fatevi la parte di Prolog quando arriverà la Morpurgo a spiegare...ma per il resto...dispensa alla mano e tanti tanti tantissimi esercizi...
:matrix:

__________________
"There is a creature alive today who has survived millions of years of evolution without change, without passion, and without logic. It lives to kill. A mindless eating machine, it will attack and devour anything. It is as though God created the devil and gave him jaws."
- From the preview for 'JAWS' - 1975

Posted by DjDuk on 16-04-2007 15:52:

Il primo compitino è stato fissato per il 16 maggio ed è già possibile iscriversi sul Sifa!
Purtroppo non ho info su luogo e ora, ma immagino verranno pubblicati successivamente!

__________________
Clikka qui per vedere il sito di un gruppo di sbandati:www.siamosolonoi.com

Posted by alessiolennon on 16-04-2007 20:29:

scusate ma per fare il compitino ha preso le firme?
oppure è possibile farlo anke senza aver seguito le lez??

__________________
I don't believe in magic, life is automatic (noel gallagher)
cheers

Posted by Didjer Wallis on 16-04-2007 20:51:

Simone non mi ha stampato, ma Ghilardi mi ha consigliato di non consegnare logica (per via della dpll che non sapevo fare), mi ha praticamente detto che era impossibile passare senza quell'ese...allora ho consegnato solo prolog (ho preso 1.6)...col compitino lo passo!!! full immersion di dpll per 1 giorno e vai...il resto lo so a memoria ormai

DW

__________________
La vita è dolore!

Posted by Didjer Wallis on 16-04-2007 21:00:

Originally posted by alessiolennon
scusate ma per fare il compitino ha preso le firme?
oppure è possibile farlo anke senza aver seguito le lez??

Da quello che ho capito (dagli studenti che seguono, io non seguo) non servono firme, bisogna solo iscriversi sul sifa

DW

__________________
La vita è dolore!

Posted by CaboM.BNA on 17-04-2007 09:01:

confermo.. per fare il compitino BASTA ISCRIVERSI SUL SIFA, nessuna raccolta di firme... byez

Posted by cforino on 19-04-2007 09:49:

Ciao,
qualcuno sa dirmi quali sono gli argomenti per fare il primo compitino del 16 maggio?

Grazie,

__________________
Faccio togliere le sign

Posted by Didjer Wallis on 24-04-2007 00:43:

tutta logica!! semplice...eheheh

DW

__________________
La vita è dolore!

Posted by cforino on 24-04-2007 09:37:

Semplice e ... logico.
Quindi il secondo compitino (?!?) sarà Prolog....(logico)

__________________
Faccio togliere le sign

Posted by stehouse on 13-05-2007 16:15:

raga io stavo facendo tutti i temi d'esame da giugno 2006 all'ultimo che è febbraio 2007, non sono riuscito a fare 3 esercizi..

la formalizzazione 1.3 di giugno 2006
il contromodello 1.2 di settembre 2006
e la dpll 2.1 di febbraio 2007

qualcuno di voi li ha fatti? m potrebbe aiutare? grazie

ps entro mercoledì che c'è il compitino! grazie!

Posted by CaboM.BNA on 13-05-2007 19:15:

la formalizzazione NON c'e (almeno cosi mi ha detto la Buccalo al ricevimento)..
le cose da sapere sono:
- RICERCA DI DIMOSTRAZIONE
- CONTROMODELLO
- DPLL
- QUESITI DI TEORIA (tipo: "cos'è un enunciato?" "cosa è un termine ground")

per i 2 es ke non sei riuscito a risolvere prova a dare un'occhiata nell'area FILEZ ke ci dovrebbero essere (ma sono svolti col vecchio metodo); se invece ti interessa il nuovo metodo appena li faccio te li mando.. (oggi ho fatto l'appello di luglio 2006 e gennaio 2007, domani ne faccio ancora qualcuno)
byez

Posted by DarkStalker on 14-05-2007 12:54:

Qlcno potrebbe postare la F.N.N. del primo esercizio dell'esame di giu 2006?
Prima di calcolare devo negare tutto quanto?

Dimenticavo se ho una cosa del tipo P(f(x)), la funzione all'interno del predicato dev'essere trattata in modo particolare?

Grassie

Posted by stehouse on 14-05-2007 14:28:

Posted by CaboM.BNA on 14-05-2007 19:28:

postati nell'area FILEZ gli ultimi 4 appelli risolti con il nuovo (ma sopratutto DIVERTENTISSIMO) metodo...

Posted by stehouse on 15-05-2007 15:04:

grande grazie mille!

All times are GMT. The time now is 22:45.

Show all 20 posts from this thread on one page