zadanie

[xqver]

cześć. Mam do zrobienia zadanie które jest zamieszczone na podanej niżej stronie. Mam problem nie tylko z rozwiązaniem tego zadania ale z doczytaniem się o co tam właściwie chodzi (wszystko po angielsku).

Bardzo dziękuję wszystkim którzy zechcą mi pomóc.

http://undergraduate.csse.uwa.edu.au...rials/tut1.pdf

[markossx]

Podstawowe rzeczy to są i nie wiem komu się będzie chciało dłubać za Ciebie
ale btw:
jeśli ten prof. Kozera wykłada w Australii to miałem z Nim w Polsce wykłady z prologa

[cossinuss]

cześć. Mam do zrobienia zadanie które jest zamieszczone na podanej niżej stronie. Mam problem nie tylko z rozwiązaniem tego zadania ale z doczytaniem się o co tam właściwie chodzi (wszystko po angielsku).

Bardzo dziękuję wszystkim którzy zechcą mi pomóc.

http://undergraduate.csse.uwa.edu.au...rials/tut1.pdf

Zadanie 1 - robisz tabelkę p | q | s | t | twojeWyrażenie z wartościami logicznymi. W sumie 15 linijek dla (i) i (iii)

Zadanie 2 - jak duża tabelka w zalezności od liczby literałów; 2^n; indukcyjnie można (lamerski sposób, ale można )

Zadanie 3 - odsyłam do książki, ewentualnie do wykładów: logika

Zadanie 4 - wymyślić tautologie i sprzeczności. Dowody praw de'Morgana powinieneś beż problemu znaleźć. Podpowiem, że są tautologiami

Zadanie 5, 6, 7 - rachunek predykatów

Proszę bardzo, korzystaj z pracy rąk ludzkich i urządzeń elektronicznych

Mordechai Ben Ari

No i szacun dla autora książki . Przystępnie wszystko opisane, dużo przykładów... (wnerwia tylko, kiedy dowód jest pozostawiony jako ćwiczenia dla czytelnika )

[xqver]

możesz szprawdzić czy dobrze to jest to zrobione

http://xqver.cba.pl/

[xqver]

Dziękuje wszystkim którzy zechcieli mi pomóc,


serdecznie pozdrawiam.