[LOGICA MATEMATICA] - qualcuno ha le soluzioni degli appelli 2007/2008?
Clicca QUI per vedere il messaggio nel forum |
| Simeon |
Ciao a tutti.
Oggi sono stato dalla bucalo per assistere alla "correzione" del mio esame. Ho chiesto se era possibile pubblicare le soluzioni online e m'ha detto tipo "ma non le basta la correzione?". In pratica mi ha proposto di rifarmi gli esercizi del tema d'esame, tornare da lei e farmeli correggere. Una delle tante assurdita' di sto corso (l'unico oltretutto in cui bisogna presentarsi alla correzione senza sapere se si e' passato o meno l'appello).
Dato che non ho tutto sto tempo da perdere, qualcuno ha sottomano le soluzioni degli appelli 2007/2008 (soprattutto quello di febbraio)? |
| Simeon |
Originally posted by Simeon
Ciao a tutti.
Oggi sono stato dalla bucalo per assistere alla "correzione" del mio esame. Ho chiesto se era possibile pubblicare le soluzioni online e m'ha detto tipo "ma non le basta la correzione?". In pratica mi ha proposto di rifarmi gli esercizi del tema d'esame, tornare da lei e farmeli correggere. Una delle tante assurdita' di sto corso (l'unico oltretutto in cui bisogna presentarsi alla correzione senza sapere se si e' passato o meno l'appello).
Dato che non ho tutto sto tempo da perdere, qualcuno ha sottomano le soluzioni degli appelli 2007/2008 (soprattutto quello di febbraio)?
Devono esserci da qualche parte... Nessuno ? :( Non mi ricordo un accidenti di cio' che ho sbagliato.
EDIT:
Qualcuno potrebbe risolvere questo? Mi sembra piuttosto semplice eppure sono riuscito a sbagliarne una parte, solo che non ricordo quale :\
code:
Applicando la procedura DPLL, determinare se il seguente insieme di
clausole `e o meno soddisfacibile:
¬p v s v r, p v q, p v r, ¬q v ¬s v p, ¬p v ¬s.
EDIT2:
code:
Sia L un linguaggio elementare con i seguenti simboli: a costante, f
simbolo di funzione unario, P simbolo di predicato binario
1. Scrivere un’espressione che sia un termine ground (o chiuso) di L
. . .
2. Scrivere una formula di L che sia un enunciato . . .
3. Scrivere una formula di L che contenga almeno una variabile libera
e almeno una variabile vincolata . . .
E queste? La prima mi ricordo di aver risposto f(a) e la prof mi disse che era sbagliato ma non me ne ricordo il motivo...
In effetti potrei aggiungere altri edit fino a chiedere tutti gli esercizi dell'appello di febbraio 2008, per cui SCONGIURO qualcuno che sappia risolverli correttamente di farlo in questo thread. |
|
|
|
