-
-
-
Będziemy wszyscy wdzięczni, jak grupa dzisiejsza pochwali się, co było.
_________________
Life is a game!
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Doktor K. już na wejściu uprzedził, że test wyszedł cholernie trudny i nie mylił się...
Trzeba było rozpoznać które zbiory funktorów są funkcjonalnie pełne,
zadanie analogiczne do zadania 1 z listy 7
coś na temat zmiennych wolnych i związanych i policzyć ile jest symboli predykatow, ile symboli funkcyjnych
narysować samemu 4 drzewa Gentzena dla rachunku zdań
powiedzieć co jest tautologia rachunku kwantyfikatorów(az 2 zadania z tego)
napisać, co nie jest tautologią rachunku zdań
analogiczne, co z listy pomocniczej o przeliczalności.
hmm...
praktycznie w każdym zadaniu był jakiś podpunkt z kosmosu, albo tak sformułowany, że totalnie nie było wiadomo o co chodzi. Więc powodzenia 
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Swietna robota ateemko:)
Ja mam takie pytanie...tak sie sklada ze nie mam zadnej ksiazki, czy jest w internecie jakas fajna magiczna stronka, na ktorej mozna sobie poczytac o tych pierdolach? z gory serdeczne dzieki:)
d41d8cd98f00b204e9800998ecf8427e
-
-
-
LINK
PS. Jestem już po, ale marze o 4 pkt, tylko tyle potrzebuje do szczęścia...
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Jakie mają być odpowiedzi do zad 1 z listy 7?
d41d8cd98f00b204e9800998ecf8427e
-
-
-
a pamięta ktoś swoje odpowiedzi na kole których był pewien ? 
d41d8cd98f00b204e9800998ecf8427e
-
-
-
A sa takie? ;d W ostatnim zadaniu wszystkie sa tautologiami 
d41d8cd98f00b204e9800998ecf8427e
-
-
-
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Tak w ogóle to oprócz drzew Gentzena ktore trzeba bylo narysowac to zadania byly testowe, tak jak na pierwszym kolokwium?
Moglby wyjasnic mi ktos co to sa funktory funkcjonalnie pełne?;D a najlepiej podac odpowiedzi do zad 1 z listy 7
d41d8cd98f00b204e9800998ecf8427e
-
-
-
| arszawin napisał/a: | | Tak w ogóle to oprócz drzew Gentzena ktore trzeba bylo narysowac to zadania byly testowe, tak jak na pierwszym kolokwium? |
Tak._________________
Seks, sesja. Wszystko na "s", a jaka różnica ;p
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Czy ktoś wie jak zrobic zadanie 1 z listy 7?
d41d8cd98f00b204e9800998ecf8427e
-
-
-
może ktoś w skrócie wytłumaczyć rysowanie drzew Gentzena? Lub podać link jakiś
d41d8cd98f00b204e9800998ecf8427e
-
-
-
blue spell book str. 214,215
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Prawdziwe: a, c. Dobrze myślę?
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Odwoływanie się do niebieskich książeczek nie ma sensu. Jak ktoś tu pyta, to pewnie nie ma.
PS. Ma ktoś ebook?
_________________
Life is a game!
d41d8cd98f00b204e9800998ecf8427e
-
-
-
| afromeen napisał/a: | | Czy ktoś wie jak zrobic zadanie 1 z listy 7? |
tez potrzebuje:D d41d8cd98f00b204e9800998ecf8427e
-
-
-
Ja bym dał ze d tez jest prawdziwe , bo nie ma relacji <b,a>
d41d8cd98f00b204e9800998ecf8427e
-
-
-
| michalolsze napisał/a: | | Prawdziwe: a, c. Dobrze myślę? |
Obstawiłbym tak jak Ty
Ale...
martwi mnie ta uwaga w tresci zadania:
| Cytat: | Uwaga:
Interpretacja n-argumentowego symbolu predykatu q jako pewnej n-elementowej relacji Rq An na zbiorze A jest równoważna interpretacji tego symbolu jako funkcji n-argumentowej fq : An {prawda, fałsz}. Dlaczego?
|
d41d8cd98f00b204e9800998ecf8427e
-
-
-
a i c prawdziwe 
d41d8cd98f00b204e9800998ecf8427e
-
-
-
a czemu nie d?
d41d8cd98f00b204e9800998ecf8427e
-
-
-
| afromeen napisał/a: | | a czemu nie d? |
d też:D
a o co chodzi z funktorami funkcjonalnie pełnymi?:D d41d8cd98f00b204e9800998ecf8427e
-
-
-
no to jest taki zbior spojników logicznych i innych(np.NAND, NOR, stałe -true,false), na podstawie których mozemy przedstawic kazda formułe.
Funktory funkcjonalnie pełne to:
{negacja,koniunkcja},{negacja,alternatywa},{negacja,implikacja},{NOR},{NAND}.
I kazde inne sumy tych zbiorow.
Wiecej nie znam ;]
d41d8cd98f00b204e9800998ecf8427e
-
-
-
d nieprawdziwe... afromen.. tam jest kwantyfikator, który wiąże zmienną x
d41d8cd98f00b204e9800998ecf8427e
-
-
-
czyli na v(y) w ogole nie patrzymy?
d41d8cd98f00b204e9800998ecf8427e
Powered by phpBB modified by Przemo © 2003 phpBB Group. Then, after many years modified again, this time by Piotrek © 2014
Strona wygenerowana w 36,7ms. Zapytań do SQL: 16
|
Jupi! 
