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