 | |
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 |
Esercizio in classe
Clicca QUI per vedere il messaggio nel forum |
| Flavia |
Ecco l'esercizio svolto stamattina in classe dalla prof Bucalo!
Il grado di difficolotà di questo esercizio sarà il grado di difficolotà degli esercizi d'esame!
:-D |
| mayetta |
c'è qualcosa che non mi quadra in quello che hai scritto:
Qualsiasi x ( P(x) -> Q(x) e S(x)) ==> Qualsiasi x (P(x) -> Q(x)) e Qualsiasi x ( P(x) -> Q(x) e S(x) ==> Qualsiasi x (P(x) -> S(x))
dallo svolgimento dell'esercizio direi che la versione corretta dovrebbe essere questa:
Qualsiasi x ( P(x) -> Q(x) e S(x)) ==> Qualsiasi x (P(x) -> Q(x)) e Qualsiasi x (P(x) -> S(x))
sei d'accordo o sbaglio io? |
| Flavia |
Versione corretta!
:-D |
| rider |
Originally posted by Flavia
Versione corretta!
:-D
Figo il tuo file. C'e' anche un programma che fa queste cose ma mi sfugge il nome. Lo usano alla specialistica. |
| ~paolo~ |
per esempio potresti usare equation editor ma il risultanto sarebbe una perdita di tempo.... Conviene avere la versione aggiornata, ovvero MathType :D
Ciao |
|
|
|
|
