Informatyka UJ forum

exeman · Wysłany: Nie 12:39, 05 Mar 2006 Temat postu:

Dlaczego kontrprzykald nie dziala? Oczywiscie, ze dziala.
A co do definicji funkcji monotonicznej to jest z implikacja, a nie rownowaznoscia. Zatem a - a, b - a, c - a, powinno dzialac.
[link widoczny dla zalogowanych] (na koncu).

Prosze o wskazanie w ktorym miejscu kontrprzyklad nie dziala.

exeman · Wysłany: Nie 12:42, 05 Mar 2006 Temat postu:

[quote="wuodi"]

wuodi · Wysłany: Nie 12:47, 05 Mar 2006 Temat postu:

[quote="exeman"][quote="wuodi"][quote="exeman"]Kontrprzyklad do zadania 3:

exeman · Wysłany: Nie 12:52, 05 Mar 2006 Temat postu:

wuodi: MAsz Racje! W moim kontrprzykladzie jest blad powinno byc L = {0, 1, 2, 3}, ale P = {0, 1, 2}, zatem dalej L != P.

Tutaj poprawna (oby:P) wersja kontrprzykladu:

A = {0, 1, 2}
B = {0, 1, 2, 3}

.........../ {0, 1, 2, 3} dla x = {0, 1}
f(x) = | {0, 1, 2} dla x = {0, 1, 2}
...........\ pusty, dla reszty

wtedy:
f^-1(B) = {0, 1}
f(A) = {0, 1, 2}

L = f({0, 1, 2} n {0, 1}) = f({0, 1}) = {0, 1, 2, 3}
P = f(A) n B = {0, 1, 2} n {0, 1, 2, 3} = {0, 1, 2}

L != P.

Stasiu · Wysłany: Nie 13:01, 05 Mar 2006 Temat postu:

exeman:

funkcja byla f:N->N
obrazem takiej funkcj jest ZBIOR liczb naturalnych, wiec {{0,1,2}} n {{0,1,2,3}} = 0. am i right?

Gość · Wysłany: Nie 13:11, 05 Mar 2006 Temat postu:

exeman · Wysłany: Nie 13:17, 05 Mar 2006 Temat postu:

stasiu: W sumie masz racje, ale teoretycznie to moje {0, 1, 2} jest liczba 3, ale takze jest zbiorem liczb naturalnych, zatem mozna skonstruowac funkcje, ze:

[f oznacza f ze strzalka]

f({{0, 1, 2, 3}}) = {{0, 1, 2, 3, 4}}, ale i taka:
f({0, 1, 2, 3} = {0, 1, 2, 3, 4}.

Coraz mniej jestem pewny, ale w dalszym ciagu obstawiam, ze moj kontrprzyklad jest mimo wszystko poprawny.

exeman · Wysłany: Nie 13:20, 05 Mar 2006 Temat postu:

gość: oczywiscie {{0, 1, 2}} n {{0, 1, 2, 3}} = zbior pusty. natomiast {0, 1, 2} n {0, 1, 2, 3} to {0, 1, 2}. Ja kozystalem z tego drugiego. Powoli zaczynam sie motac :P

Stasiu · Wysłany: Nie 13:24, 05 Mar 2006 Temat postu:

Gość · Wysłany: Nie 13:30, 05 Mar 2006 Temat postu:

Prezioso · Wysłany: Nie 13:35, 05 Mar 2006 Temat postu:

Tak... jedno podejście do egzaminu. Rok temu był 29 kwietnia... ale jeżeli chodzi o mnie to on niczego nie zmienił :(

exeman · Wysłany: Nie 15:23, 05 Mar 2006 Temat postu:

Madras · Wysłany: Nie 15:34, 05 Mar 2006 Temat postu:

exeman · Wysłany: Nie 15:38, 05 Mar 2006 Temat postu:

Ale przeciez tam nie ma w definicji rownowaznosci, a implikacja w prawo!!
Przeciez funkcja f(x) = 4 jest monotoniczna (slabo monotoniczna)! A przeciez kozystamy na wdmie z tej samej definicji tylko troche bardziej uogolnionej bo dla zbiorow.

muciu

załączony jpg:

exeman · Wysłany: Nie 15:41, 05 Mar 2006 Temat postu:

muciu: mialem ta definicje w glowie (pierwsza od gory) i to mnie zainspirowalo do szukania kontrprzykaldu, co mi zajelo z 20 min :P

muciu · Wysłany: Nie 16:05, 05 Mar 2006 Temat postu:

exeman: ja w ostatnich sekundach wpadłem na to rozwiazanie :D ... fuks, bo miałem zaznaczać TAK :D

Prezioso

exeman · Wysłany: Nie 16:26, 05 Mar 2006 Temat postu:

dla bijekcji sie zgadza, dla stalej chyba nie. mimo wszystko jest kontrprzykald, wiec uspokujcie sie, nie popuszcze, bede bronil mojego kontrprzykladu nawet jesli bedzie zly :P

Madras · Wysłany: Nie 16:29, 05 Mar 2006 Temat postu:

Ok w końcu nie wiem, jak jest z tą definicją monotoniczności, ale chyba jednak wydaje mi się, że tylko w jedną stronę... Nvm, zmęczony jestem i idę się zdrzemnąć ;].

Yacus · Gość

a czy nie przeszkadza to że f jest |N->|N bo przecież znaleźliście kontrprzykład P(|N)->P(|N) skąd pewność że nie wszystkie kontrprzykłądy bądą z poza zbioru naszych funkcji??

exeman · Wysłany: Nie 16:42, 05 Mar 2006 Temat postu:

Yacus: nie prawda. kontrprzyklad jest |N -> |N. Przegladnij dokladnie temat, juz bylo to omawiane. {0, 1, 2} to jest zbior zawierajacy 0, 1, 2, ale to takze to samo co 3.

x = {0, 1, .., x-1}

tak zdefiniowal liczby naturalne von neumann.

camensky · Wysłany: Nie 16:54, 05 Mar 2006 Temat postu: