Kilka osób prosiło o te zadania.

1. Sprawdzić, czy podane zdanie jest tautologią (czy ma wartość logiczną 1)

 (p -> q) <-> ((p -> q) ^ p)

2. Udowodnić/wykazać, że:





3. Dana jest relacja R na zbiór X={1,2,3}. Czy każdą relację R można rozszerzyć do relacji antysymetrycznej na X?



4. Dana jest funkcja określona wzorem f(n,k) = n * k . Wyznaczyć



5. Dany jest porządek ( P(N) \ , ). Znajdź wyrazy wyróżnione.



Zadania "odzyskiwaliśmy" z pamięci, ładnych kilkanaście minut po kolokwium. Jeśli wdarły się jakieś błędy, a ktoś jest w stanie je poprawić, to bardzo o to proszę.


A w międzyczasie zapraszam na http://upload.zytniow.pl. Taki mały download, w miarę upływu czasu i podawania nam nowych list zadań, będzie uaktualniany ;-)

/jeśli komuś strona nie wchodzi - należy podesłac mi publiczny adres ip danego komputera. Mozna to sprawdzic np. na www.twojeip.wp.pl/

Pozdrawiam,
Dawid.

w piatym powinno byc P(N)

i wyroznione to element minimalny to singleton dowolnej liczby naturalnej np {1} najwiekszy to zbior N

a moze ktos napisac rozwiazania do nich ?

j/w

trenowalem paint skilla - wiem , wiem pieknie rysuje









to 1 zadanie musi byc zle przepisane bo nie wychodzi ze to tautlogia, wydaje mi sie ze 2 rownowaznosci byly na kolokwium
no chyba ze sie gdzies jeblem to poprawiac =]

banan, zdales?

zadanie 3

Relacja R=X^2  (czyli X razy X = {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)} ) nie jest antysymetryczna, a nie da się jej rozszerzyć na X. Więc istnieje taka, że się nie da, czyli nie dla każdej się da.

Dzieki Wam

yogi napisał:

banan, zdales?

no udalo sie  :) łudzilem sie ze 3 dostane a tu 4^^
ja tam sie bardziej z programowania martwie^^

ciemak666 napisał:

Dzieki Wam

http://f.imagehost.org/t/0395/drinkBeer9.jpg

nie ma sprawy

wow to dobry jestes kozak jak 4:p

poprawa z logiki u dr Szczepaniaka w niedzielę o 16.15 !!!!!!