 | |
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 |
[Esercizi]Vecchi temi d'esame
Clicca QUI per vedere il messaggio nel forum |
| Flavia |
Sono ora disponibili al link http://homes.dsi.unimi.it/~bucalo/fdl/ una raccolta dei vecchi temi d'esame!
Non ho capito una cosa: Nella pagina 1 si chiede di "Determinare composizionalmente le condizioni di verità dei seguenti enunicati".
Ovvero? Devo costruire gli alberi e formalizzarli come si fa nelle lezioni di Ghilardi nomralmente? O devo fare qualcosa d'altro? Non capisco cosa intenda per "condizioni di verità"!
:-D |
| angelko |
penso si intenda fare il solito procedimento ad albero, etc...
per condizioni di verità si intende il passo finale di mettere i vari "per ogni" e "esiste un" |
|
|
|
|
