 | |
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 |
Skolemizzazione
Clicca QUI per vedere il messaggio nel forum |
| Simone_155 |
Ciao a tutti!qualcuno mi potrebbe spiegare brevemente come si fa a Skolemizzare un enunciato?sulle dispense non si capisce un bel nulla, e io non ho idea di come si fa (dato che non ho mai frequentato il corso...)
Un grazie a chiunque mi vorrà aiutare... |
| Didjer Wallis |
sull'area filez ci dovrebbe essere un esercizio svolto...ci si mette piu a spiegarli che a farli, sono veramente delle banalità!
DW |
|
|
|
|
