Pages: 1 2 [3]   Go Down
Print
Author Topic: alcuni esercizi misti!  (Read 6248 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
ɹǝǝuıƃuǝsɹǝʌǝɹ
Administrator
God of the Forum
*****
Offline Offline

Gender: Male
Posts: 4.446


Più grande è la lotta, e più è glorioso il trionfo


WWW
« Reply #30 on: 22-06-2013, 14:43:09 »

pray per questo predicato binario!!!

Si studi la dec e par dec del predicato binario
P(x,y)= "Wx∩{0,1...y}=∅"
P(x,y) è vero se e solo se ϕ(x) non è definita su alcun argomento minore o uguale a y

P(x,y)=ϕx(y)↓ ∀x>y
Caso mai volevi scrivere:
P(x,y)=ϕx(k)↓ ∀k>y
che sarebbe comunque sbagliato.

P dice un'altra cosa, in particolare è:

P(x, y)=∀k≤y, ϕx(k)↑

Intuisco che non è p.d. lui, ma lo è il suo negato:
- perché se ci dessero una coppia (x, y) in input che rende vero il predicato, per dimostrarlo dovremmo verificare che su un certo insieme finito di numeri k compresi tra 0 e y, si abbia che dopo 0, 1, 2, ..., n, ... passi la computazione di  ϕx(k) non si è ancora fermata (il numero di verifiche per ogni k è infinito)
- perché ¬P(x, y)=∃k≤y, ϕx(k)↓ cioè ¬P(x, y)=∃w (H (x, (w)1, (w)2) ∧ (w)1≤y)

Però... non ricordo (e non ricordo di averli visti, almeno): come si tratta lo studio dei predicati binari ?
Avrei in mente l'idea di bloccare un parametro e studiare quello che ottengo studiando un altro predicato che è lo stesso di prima ove una variabile è fissata (tipo che è una costante), e poi generalizzare.
Logged

La grande marcia della distruzione mentale proseguirà. Tutto verrà negato. Tutto diventerà un credo. È un atteggiamento ragionevole negare l'esistenza delle pietre sulla strada; sarà un dogma religioso affermarla. È una tesi razionale pensare di vivere tutti in un sogno; sarà un esempio di saggezza mistica affermare che siamo tutti svegli. Accenderemo fuochi per testimoniare che due più due fa quattro. Sguaineremo spade per dimostrare che le foglie sono verdi in estate. Non ci resterà quindi che difendere non solo le incredibili virtù e saggezze della vita umana, ma qualcosa di ancora più incredibile: questo immenso, impossibile universo che ci guarda dritto negli occhi. Combatteremo per i prodigi visibili come se fossero invisibili. Guarderemo l'erba e i cieli impossibili con uno strano coraggio. Saremo tra coloro che hanno visto eppure hanno creduto.

In tutto, amare e servire.

  
                            ن                           
I can deal with ads,
I can deal with buffer,
but when ads buffer
I suffer...

...nutrimi, o Signore, "con il pane delle lacrime; dammi, nelle lacrime, copiosa bevanda...

   YouTube 9GAG    anobii  S  Steam T.B.o.I. Wiki [univ] Lezioni private  ʼ  Albo d'Ateneo Unicode 3.0.1
Usa "Search" prima di aprire un post - Scrivi sempre nella sezione giusta - Non spammare - Rispetta gli altri utenti - E ricorda di seguire il Regolamento
Mari_C
Apprendista Forumista
**
Offline Offline

Posts: 240


"SmiiiiLe"


« Reply #31 on: 22-06-2013, 20:47:10 »

Quote
Però... non ricordo (e non ricordo di averli visti, almeno): come si tratta lo studio dei predicati binari ?

L'abbiamo trovato in un compito del 2005  testate
cmq grazie per le correzioni!!
Logged
Pages: 1 2 [3]   Go Up
Print
Jump to: