Forum studentów Informatyki Zaocznej na Uniwersytecie Opolskim

Forum studentów Informatyki Zaocznej na Uniwersytecie Opolskim


  • Index
  •  » Zadania
  •  » Zadania - kolokwium z logiki 25.01.2009

#1 2009-01-26 02:12:07

dawid1989

Użytkownik

1713201
Skąd: Żytniów
Zarejestrowany: 2008-10-12
Posty: 30
Punktów :   

Zadania - kolokwium z logiki 25.01.2009

Kilka osób prosiło o te zadania.

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

Kod:

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

2. Udowodnić/wykazać, że:

http://img259.imageshack.us/img259/3954/zad2me8.png



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 http://img144.imageshack.us/img144/7313/zad4tb2.png określona wzorem f(n,k) = n * k . Wyznaczyć http://img509.imageshack.us/img509/4711/zad4bjo1.png



5. Dany jest porządek ( P(N) \ http://img525.imageshack.us/img525/4790/zad5bxt8.png, http://img294.imageshack.us/img294/4433/zad5ch2.png). 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.

Ostatnio edytowany przez dawid1989 (2009-01-26 22:39:55)

Offline

 

#2 2009-01-26 07:29:14

willy

Użytkownik

Zarejestrowany: 2008-10-19
Posty: 33
Punktów :   

Re: Zadania - kolokwium z logiki 25.01.2009

w piatym powinno byc P(N)

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

Offline

 

#3 2009-01-26 14:06:02

ciemak666

Użytkownik

5089189
Zarejestrowany: 2008-10-12
Posty: 102
Punktów :   

Re: Zadania - kolokwium z logiki 25.01.2009

a moze ktos napisac rozwiazania do nich ?

Offline

 

#4 2009-01-26 19:51:20

4tepian

Użytkownik

5095517
Call me!
Skąd: Widok
Zarejestrowany: 2008-11-21
Posty: 23
Punktów :   

Re: Zadania - kolokwium z logiki 25.01.2009

j/w

Offline

 

#5 2009-01-28 10:28:11

Banan

Administrator

2387785
Call me!
Skąd: K-Koźle
Zarejestrowany: 2008-10-13
Posty: 131
Punktów :   

Re: Zadania - kolokwium z logiki 25.01.2009

trenowalem paint skilla - wiem , wiem pieknie rysuje

http://img150.imageshack.us/img150/8564/lulfx0.jpg




http://img210.imageshack.us/img210/3282/lul2jl6.jpg


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 =]


http://img194.imageshack.us/img194/2751/newlogog.png
Zapraszam na forum www.lockerz-forum.eu

Offline

 

#6 2009-01-28 11:33:17

yogi

Użytkownik

9701592
Zarejestrowany: 2008-10-13
Posty: 104
Punktów :   

Re: Zadania - kolokwium z logiki 25.01.2009

banan, zdales?

Offline

 

#7 2009-01-28 16:05:54

wieslawski

Użytkownik

1594022
Zarejestrowany: 2008-10-13
Posty: 59
Punktów :   

Re: Zadania - kolokwium z logiki 25.01.2009

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.

Ostatnio edytowany przez wieslawski (2009-01-28 16:06:09)

Offline

 

#8 2009-01-28 16:10:16

ciemak666

Użytkownik

5089189
Zarejestrowany: 2008-10-12
Posty: 102
Punktów :   

Re: Zadania - kolokwium z logiki 25.01.2009

Dzieki Wam

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

Offline

 

#9 2009-01-28 17:41:46

Banan

Administrator

2387785
Call me!
Skąd: K-Koźle
Zarejestrowany: 2008-10-13
Posty: 131
Punktów :   

Re: Zadania - kolokwium z logiki 25.01.2009

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


http://img194.imageshack.us/img194/2751/newlogog.png
Zapraszam na forum www.lockerz-forum.eu

Offline

 

#10 2009-01-28 22:25:27

yogi

Użytkownik

9701592
Zarejestrowany: 2008-10-13
Posty: 104
Punktów :   

Re: Zadania - kolokwium z logiki 25.01.2009

wow to dobry jestes kozak jak 4

Offline

 

#11 2009-01-29 21:35:55

Lea501

Nowy użytkownik

Zarejestrowany: 2008-12-10
Posty: 2
Punktów :   

Re: Zadania - kolokwium z logiki 25.01.2009

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

Offline

 
  • Index
  •  » Zadania
  •  » Zadania - kolokwium z logiki 25.01.2009

Stopka forum

RSS
Powered by PunBB
© Copyright 2002–2008 PunBB
Polityka cookies - Wersja Lo-Fi


Darmowe Forum | Ciekawe Fora | Darmowe Fora
www.pw-b12.pun.pl www.zzn.pun.pl www.sportdownload.pun.pl www.goldhead.pun.pl www.wwsse.pun.pl