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
 
[LOGICA MATEMATICA] Esercizi
Clicca QUI per vedere il messaggio nel forum
DarkStalker
Ciao a tutti.
Volevo chiedere se gentilmente qualcuno potesse postare una traccia degli esercizi (od esempi) svolti a lezione.
Purtroppo ho saltato alcune lezioni, inoltre faccio fatica a leggere la lavagna (anche se sono in prima fila GRRRRRR) e i prof solitamente tarellano come treni :twisted:

ridersdesfroos
ciao. di esercizi non ne ho ma mi ricordo che l'hanno scorso si poteva scaricare dal sito di ghilardi il pdf o il ps con i vecchi appelli. adesso ci guarderò anch'io ma tu prova a guardarci comunque.
ciao

DarkStalker
Ciao, si lo sto facendo, ma quest'anno ha cambiato la modalita' di svolgimento degli esercizi.
Non usa piu' il calcolo dei sequenti.

ridersdesfroos
ah. vabbè, faccio una ricerca anche a casa e se trovo qualcosa te lo posto
ciao

Didjer Wallis
guardate nell'area filez...ce ne sono di ogni tipo!!

DW

DarkStalker
Ok me li scarico....e provo con quelli

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!

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