Homepage  Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum


.dsy:it. .dsy:it. Archive > Didattica > Corsi G - M > Logica matematica
 
1° compitino
Clicca QUI per vedere il messaggio nel forum
Didjer Wallis
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

CaboM.BNA
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

Didjer Wallis
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

CaboM.BNA
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... :D

Didjer Wallis
Sono cose belle, brinda e bevici su!!
:D:D:D:D:D:D:D

DW

Simone_155
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...:D

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:

DjDuk
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!

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

Didjer Wallis
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

Didjer Wallis
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

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

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

Grazie,

Didjer Wallis
tutta logica!! semplice...eheheh

DW

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

stehouse
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!

CaboM.BNA
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

DarkStalker
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

stehouse
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


AH OK PERFETTO.. ALLORA OGGI CONTINUO A ESERCITARMI , ME LI RIFACCIO POI SE AVRAI TEMPO E RIESCI A MANDARMELI MOLTO VOLENTIERI..

BELLA ^^

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

stehouse
grande grazie mille!

Powered by: vbHome (lite) v4.1 and vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento |Licenze | Thanks | Syndacate