-
-
-
Ktoś, kto "zapamiętał", najlepiej pisamnie, zadania z drugiego kola, moze sie pochwalic? 
d41d8cd98f00b204e9800998ecf8427e
-
-
-
1.przeliczalność
2.funcjonalna pełność
3.tautologie rachunku zdan
4.sekwenty gentezena
5. zmienne zwiazane i wolne
6,7.Tautologie z kwantyfikatorami.
8. Odpowiednik zad.1 z 7.listy
9,10. Strasznie bzdury, cieżko zacytowac, milion kwantyfikatorów itp. itd.
Miło by było gdyby ktoś pokazał jak sie robi podpunkt 8. ale dla troche trudniejszego przykładu niż na liście(zależy mi na wytłumaczenii, a nie tylko podaniu poprawnych odp.) np.
Ax f(x,y) OR ExEy f(x,y) , A-all, E-exist;
dla wartościowań jak na liście, bo ja taki miałem na kole i podejrzewam ze go źle zrobiłem.
d41d8cd98f00b204e9800998ecf8427e
-
-
-
no dla wartosciowan z listy, to z E bedzie wszedzie poprawne (bo y zostaje takie, jakie mamy wpisane wartosciowanie, a x jest dont care, bo jest zwiazany poprzez kwantywikator E, tak wiec mozemy mu dowolna wartosc (a lub b) przypisac, co w tym przypadku sprawia, ze wszystkie 4 mozliwosci daja prawidlowe podstawienia). Wszedzie poprawne w tym przypadku oznacza, ze odpowiedziami beda a i c. Co do A, no to y zostaje dowolny, wazniejszy staje sie x, ktory zarowno dla wartosci a, jak i b musi sie znajdowac w Rsr. Czyli patrzysz na to w ten sposob: jesli masz wartosciowanie a przypisane do igreka, no to zarowno <a, a>, jak i <b, a> musza znajdowac sie w danym swiecie. Co i tak nie zmienia faktu, ze ten przedmiot jest głupi.
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Noo! Teraz w końcu ktoś to porządnie wytłumaczył 
d41d8cd98f00b204e9800998ecf8427e
-
-
-
a ja i tak nic nie kminie ;/
_________________
Chuck Norris nie boi się trojanów i spyware dlatego używa IE.
Jednak ty nie jesteś Chuckiem! Używaj bezpiecznych przeglądarek takich jak:
Opera lub Firefox
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Prośba do tych, co pisali dzisiaj KOŁO POPRAWKOWE. Co było? 
d41d8cd98f00b204e9800998ecf8427e
-
-
-
tylko 7 zadan ?
_________________
...kobiety to zło ![:]](images/smiles/smile2-fs8.png ":]")
d41d8cd98f00b204e9800998ecf8427e
-
-
-
10 ich bylo.
10 bylo Gentzen
8 i 9 musialesz zaznaczyc co jest prawda
_________________
Nadaje sie do wszystko oproc programowania
d41d8cd98f00b204e9800998ecf8427e
-
-
-
uwaga uwaga - Huzar wrzucił właśnie 9 listę zadań !!
_________________
Chuck Norris nie boi się trojanów i spyware dlatego używa IE.
Jednak ty nie jesteś Chuckiem! Używaj bezpiecznych przeglądarek takich jak:
Opera lub Firefox
d41d8cd98f00b204e9800998ecf8427e
-
-
-
no to ostatnia lista huzara to totalny kosmos 
_________________
...kobiety to zło
d41d8cd98f00b204e9800998ecf8427e
-
-
-
niestety pewnie na egzamin trzeba będzie ją umieć 
_________________
Chuck Norris nie boi się trojanów i spyware dlatego używa IE.
Jednak ty nie jesteś Chuckiem! Używaj bezpiecznych przeglądarek takich jak:
Opera lub Firefox
d41d8cd98f00b204e9800998ecf8427e
-
-
-
zapewne.. no nic pozostaje sie uczyc.. pamieta ktos wszystkie 10 zadan z dzisiaj ? tj jakie było 8 i 9 dokladnie ?;)
_________________
...kobiety to zło
d41d8cd98f00b204e9800998ecf8427e
-
-
-
a co mieliście dziś kolokwium ?? z popkiem macie ??
[ Dodano: 2009-01-26, 18:31 ]
jak tak to napisz ktoś co było 
_________________
Chuck Norris nie boi się trojanów i spyware dlatego używa IE.
Jednak ty nie jesteś Chuckiem! Używaj bezpiecznych przeglądarek takich jak:
Opera lub Firefox
d41d8cd98f00b204e9800998ecf8427e
-
-
-
1-6. to było kopiuj-wklej z pierwszego koła, nawet na tę samą grupę trafiłem. Tak jak pisał KLU są one na listach pomocniczych Katarzyniaka.
7. odpowiednik zad. 1 z listy 7.
8. Wskazać prawdziwe zdania. Dwa z czterech to czy formuły są tautologiami rachunku kwantyfikatorów.
9. Definicja w tabeli zerojedynkowej dwóch spójników - NAND i NOR jeśli się nie mylę. Pytanie które zestawy są funkcjonalnie pełne i 4 zestawy w stylu
NOR, ^, <=>
10. to sekwenty Gentzena.
Nic chyba nie było np. z przeliczalności zbiorów.
d41d8cd98f00b204e9800998ecf8427e
-
-
-
| Meylot napisał/a: | 1-6. to było kopiuj-wklej z pierwszego koła, nawet na tę samą grupę trafiłem. Tak jak pisał KLU są one na listach pomocniczych Katarzyniaka.
7. odpowiednik zad. 1 z listy 7.
8. Wskazać prawdziwe zdania. Dwa z czterech to czy formuły są tautologiami rachunku kwantyfikatorów.
9. Definicja w tabeli zerojedynkowej dwóch spójników - NAND i NOR jeśli się nie mylę. Pytanie które zestawy są funkcjonalnie pełne i 4 zestawy w stylu
NOR, ^, <=>
10. to sekwenty Gentzena.
Nic chyba nie było np. z przeliczalności zbiorów. |
kogo grupa ?? tzn jaki ćwiczeniowiec ?? d41d8cd98f00b204e9800998ecf8427e
-
-
-
Na drugim kolokwium w rachunku Gentzena był taki o to przykład:
d)
-> (a ^ ~b) V ~o
("o" to kółeczko przekreślone, zbiór pusty?) Jak należalo to rozrysować?
d41d8cd98f00b204e9800998ecf8427e
-
-
-
| Shr3Q napisał/a: | | kogo grupa ?? tzn jaki ćwiczeniowiec ?? |
No nie kto inny jak Katarzyniak... _________________
Seks, sesja. Wszystko na "s", a jaka różnica ;p
d41d8cd98f00b204e9800998ecf8427e
-
-
-
eee ... a kto ma coś od Popka z grupy ?? bo jutro kolokwium już, fast !!
_________________
Chuck Norris nie boi się trojanów i spyware dlatego używa IE.
Jednak ty nie jesteś Chuckiem! Używaj bezpiecznych przeglądarek takich jak:
Opera lub Firefox
d41d8cd98f00b204e9800998ecf8427e
-
-
-
w jakiej sali Katarzyniak ma konsultacje? bo nie dosłyszałem, a muszę z indeksem wpaść
d41d8cd98f00b204e9800998ecf8427e
-
-
-
chyba 304 C3, ale nie jestem pewny
d41d8cd98f00b204e9800998ecf8427e
-
-
-
nie wiem czy wszyscy zainteresowani widzieli, na boardzie u Katarzyniaka jest lista osób warunkowo dopuszczonych do egzaminu z logiki
d41d8cd98f00b204e9800998ecf8427e
Powered by phpBB modified by Przemo © 2003 phpBB Group. Then, after many years modified again, this time by Piotrek © 2014
Strona wygenerowana w 61,6ms. Zapytań do SQL: 15
|
