| Autore |
 Discussione  |
|
|
vampire
Utente medio
Città: Bari
|
 Inserito il - 10/09/2009 : 23:04:53
|
Ragazzi...ci sono alcune domande, uscite in appelli passati che non mi è chiaro come svolgere..qualcuno potrebbe aiutarmi..le elenco qui:
1)Introdurre le regole di Gentzen per la gestione dei quantificatori e dimostrare che conservano la verità (vere le premesse vere le conclusioni, false le premesse false le conclusioni)
2)Teorema di Rice: applicazione all'insieme {x: fi(x)(5)=6};
3)Dimostrare che è derivabile la formula E(esiste)x.A(x)->Ay(per ogni).A(y)OR Ez.A(z)
4)Verificare se la seguente formula è valida Ax(A(x) v B(x)) -> Ax(A(x) ^ B(x)) (dove per Ax intendo Per ogni x)
gli esercizi 3 e 4 si svolgono con il tableau per i quantificatori?
Inoltre dove posso trovare qualche esempio di applicazione del metodo del controesempio? oltre a quello postato nella sezione download..cioè da dove posso studiare questo metodo?
|
|
|
Ivan86
Utente Capoeirista
Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 15/09/2009 : 11:11:48
|
Ma la prima domanda dell'appello scritto del 25/06 cosa vuole?
1) La minimalizzazione limitata è ricorsiva primitiva
è una domanda o una dimostrazione da fare?
|
 |
 |
|
|
oldboy
Utente medio
|
Inserito il - 15/09/2009 : 15:31:02
|
Citazione:
Messaggio inserito da Ivan86
Ma la prima domanda dell'appello scritto del 25/06 cosa vuole?
1) La minimalizzazione limitata è ricorsiva primitiva
è una domanda o una dimostrazione da fare?
dimostrazione, si usa la produttoria e la sommatoria ricorsive primitive |
|
|
|
vampire
Utente medio
Città: Bari
|
Inserito il - 15/09/2009 : 16:06:57
|
Citazione:
Messaggio inserito da oldboy
Citazione:
Messaggio inserito da Ivan86
Ma la prima domanda dell'appello scritto del 25/06 cosa vuole?
1) La minimalizzazione limitata è ricorsiva primitiva
è una domanda o una dimostrazione da fare?
dimostrazione, si usa la produttoria e la sommatoria ricorsive primitive
ma è quella parte dove dice che prendiamo
P(r,0)+P(r,0)*P(r,1)+P(r,0)*......*P(r,n)
etc etc?? |
|
|
|
oldboy
Utente medio
|
Inserito il - 15/09/2009 : 16:34:53
|
esatto, con in più la dimostrazione che sta dopo |
|
|
|
vampire
Utente medio
Città: Bari
|
|
|
vampire
Utente medio
Città: Bari
|
Inserito il - 15/09/2009 : 20:18:45
|
la domanda numero 1 e 2 che ho postato io nessuno le sa?? |
|
|
|
Gabri
Moderatrice - Un'amica affezionata
Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 15/09/2009 : 22:08:27
|
Citazione:
Messaggio inserito da Ivan86
Ma la prima domanda dell'appello scritto del 25/06 cosa vuole?
1) La minimalizzazione limitata è ricorsiva primitiva
è una domanda o una dimostrazione da fare?
si dimostra!
metodi formali-> lucidiricorsive-> scansione0003.pdf -> pag. 7,8,9
:) |
rappresentante corso di laurea in informatica MAGISTRALE
rappresentante per la FACOLTA' di SCIENZE MM.FF.NN.
lista LINK
informatica.magistrale.udu_AT_gmail.com
|
|
|
|
Ivan86
Utente Capoeirista
Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 18/09/2009 : 12:10:53
|
| la domanda 2) il professore mi ha detto che bisogna dimostare che P<>0 e che P<>R.. in pratica dimostrando il teorema di Rice dimostri automaticamente l'insieme dato |
|
|
|
|
vampire
Utente medio
Città: Bari
|
Inserito il - 18/09/2009 : 12:29:47
|
P<>0 e che P<>R
che simbolo è <> :D ???? |
|
|
|
nala
Utente giovane
Regione: Puglia
Prov.: Bari
Città: bari
|
Inserito il - 18/09/2009 : 14:21:28
|
| sicuramente voleva indicare il simbolo di diverso P diverso da 0 e P dicerso da R |
Modificato da - nala in data 18/09/2009 14:21:55 |
|
|
|
nala
Utente giovane
Regione: Puglia
Prov.: Bari
Città: bari
|
Inserito il - 18/09/2009 : 14:26:02
|
Quando uso Gentzen, se ho ad esempio
Ex.A(x)=>Ay.A(y)
con cosa sostituisco la x e la y? con a e b o tutte e due con a? ovvero:
A(a)=>A(b) oppure
A(a)=>A(a) ??
nel caso in cui fosse la soluzione: A(a)=>A(b) cosa abbiamo? è derivabile o no?
grazie |
|
|
|
Mauro84
Utente medio
Regione: Puglia
Prov.: Bari
|
Inserito il - 18/09/2009 : 17:58:39
|
Citazione:
Messaggio inserito da nala
Quando uso Gentzen, se ho ad esempio
Ex.A(x)=>Ay.A(y)
con cosa sostituisco la x e la y? con a e b o tutte e due con a? ovvero:
A(a)=>A(b) oppure
A(a)=>A(a) ??
nel caso in cui fosse la soluzione: A(a)=>A(b) cosa abbiamo? è derivabile o no?
grazie
eeeeeeehhhhhh NALA nome che mi riporta a ricordi poco felici relativi a IUM2;)
la risposta è A(a)=>A(b) e si vede subito che non è derivabile :) |
Modificato da - Mauro84 in data 18/09/2009 18:08:58 |
|
|
|
nala
Utente giovane
Regione: Puglia
Prov.: Bari
Città: bari
|
Inserito il - 19/09/2009 : 11:14:30
|
eh si.... mi sa ke prepariamo sempre gli stessi esami!! :-D
Cmq perchè A(a)=>A(b) non è derivabile? perchè risolvendolo si ottiene una contraddizione?
questo caso corrisponde al caso in tableau in cui abbamo tutti i rami chiusi? quindi possiamo dire ke la formula è inonsistente ed è quindi una tautologia?
sono molto confusa... l'avrete capito... |
|
|
| |
Discussione |
|
Esercizi dello scritto
[/URL]