Pages: 1 [2]   Go Down
Print
Author Topic: es funzioni calcolabili  (Read 3949 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
nairi
Apprendista Forumista
**
Offline Offline

Posts: 185



« Reply #15 on: 19-06-2013, 23:18:21 »

Quote
i numeri da 0 a x-1

ok questo l'avevo capito (per fortuna) anche se non sono riuscita ad esprimerlo bene!

e se mettessi la condizione z<x? che ne pensi?

cioè:

f(x,y)=x+o(\muz(y=x+z+1) \wedge z<x)
Logged
ɹǝǝuıƃuǝsɹǝʌǝɹ
Administrator
God of the Forum
*****
Offline Offline

Gender: Male
Posts: 4.450


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


WWW
« Reply #16 on: 19-06-2013, 23:49:24 »

Penso bene, benissimo .

A parte un errore (che devi imparare a non fare più testate) di sbagliare la parentesizzazione (la condizione z<x va messa dentro alla minimalizzazione, giustamente in AND con l'altra), in questo modo hai fatto in modo che f sia definita esattamente nei valori per cui vale z<x, ovvero (in riferimento all'argomento libero di f, cioè l'unico di \fs{3}\phi_{k(x)}, cioè y) i valori y=x+z+1 con z=0, 1, ..., x-1, e cioè ancora i valori y=x+1, x+2, x+3, ..., 2x. Se i valori di z sono esattamente x (e lo sono) per il fatto che hai verificato che y fosse un valore proveniente da una funzione iniettiva dei suoi (di z) valori (λz.x+z+1 assume sempre valori diversi univ, per ogni z, mai lo stesso per due z diversi), allora necessariamente anche i valori di y che hai scelti saranno x.

Ma se non ne siamo sicuri, controlliamo: allora, la sequenza per y è di valori tutti consecutivi, inizia da x+1 e finisce a 2x. Quanti sono i numeri nell'intervallo chiuso [a, b]? Sono esattamente b-a+1. Quindi: quanti sono i numeri nell'intervallo chiuso [x+1, 2x]? Sono esattamente (2x)-(x+1)+1=2x-x-1+1=2x-x=(2-1)x=1x=x  ok!!!

Ottimo lavoro!
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
Pages: 1 [2]   Go Up
Print
Jump to: