- Zamknięty przez: Meylot 2009-06-15, 13:21
-
-
-
Heh, przecież te pytania są własnie od Tabakowa, nie wrzucałbym ich tu w innym wypadku. U nas też powtarzał, że zadania wymysli an bieżąco - i tak właściwie zrobił, tylko przypadkiem były niemal identyczne jak dwa lata temu. Plotka glosi, że tak jest od x lat wstecz. Ile w tym prawdy to nie wiem, nie wiem też czy Wam da to samo, ale w ramach przygotowań można to sobie rozwiązać. 
d41d8cd98f00b204e9800998ecf8427e
-
-
-
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Rozwiązanie zad. 1
Nie moje, ale ważne, że jest ;D
Tw: (p->qv(r=s)) -> (r^p->qvs)^(s^p->qvr)
1. p->qv(r=s) {zał}
2. ~(r^p->qvs)v~(s^p->qvr) {zdn}
3. r^p^~q^~svs^p^~q^~r {SR, NC: 2}
1.1 r
1.2 p
1.3 ~q
1.4 ~s {wszystkie to zd}
1.5 qv(r=s) {-C:1, 1.2}
1.6 r=s {-A: 1.5,1.3}
1.7 r->s
1.8 s {-C: 1.1,1.7}
{sprz: 1.4,1.8}
2.1 s
2.2 p
2.3 ~q
2.4 ~r {wszystkie to zd}
2.5 qv(r=s) {-C: 1, 2.2}
2.6 r=s {-A: 2.3, 2.5}
2.7 s->r
2.8 r
{sprz: 2.4}
metoda wprost
1. p -> q v (r == s ) {zał}
2. p -> q v (r -> s) {-E: 1}
3. p -> q v (s -> r) {-E: 1}
4. ~p v q v ~r v s {-C: 2}
5. ~p v q v ~s v r {-C: 3}
6. ~(p ^ r) v q v s {NA: 4}
7. ~(p ^ s) v q v r {NA: 5}
8. p ^ r -> q v s {+C: 6}
9. p ^ s -> q v r {+C: 7}
kwadracik {+K: 8,9}
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Jeszcze taka jedna mała dygresja. Dowód wprost jest rozwiązany nie do końca poprawnie (przynajmniej wg Tabakowa). U nas na roku wynikło z tego straszne zamieszanie (długa historia) w wyniku którego trochę osób miało MD ostatecznie w plecy. Wszyscy oczywiście przepisali to rozwiązanie (notabene z notatek z ćwiczeń), a Tabakow się strasznie zirytował z tego powodu (mówiąc delikatnie ). Nie pamiętam dokładnie o co chodziło -zdaję się, że w punkcie 2 i 3 zaznaczenie, że korzysta się z reguły -E:1 nie wystarcza- ale uważajcie bo (jeśli da podobny przykład) historia się powtórzy. U nas nawet dalej nie sprawdzał pracy jeśli zobaczył ten błąd- dawał "warunkowe 3 " i kazał przyjść na poprawkę. Tam były do wyboru dwie drogi- poprawiałeś ten przykład, albo wybierałeś drugie zadanie. Ci którzy wybrali to pierwsze w większości oblali, bo nikt nie wiedział o co mu dokładnie chodziło. ;P
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Hm, czy nie chodzi przypadkiem o to, że najpierw trzeba dane wyrażenie rozbić do postaci atomowej (czy jak to tam naukowcy nazywają), aby dopiero wtedy móc skorzystać z reguł? Tutaj w pkt'ach 2,3,5,6 odbiegamy od tej zasady. Ale znowu w ten sposób nie widzę metody na rozwiązanie...
d41d8cd98f00b204e9800998ecf8427e
-
-
-
były w ogóle te grupoidy na wykładzie? ;> nie było mnie tylko na 2 wykładach, ale może akurat na którymś z nich było... jeśli nie to biorąc jeszcze pod uwagę fakt, iż w w/w pytaniach na egzamin (a nie koło) nie ma nic o rozmytej, ani zbiorach przybliżonych, więc coś mi się zdaje, że oprócz pierwszego reszta będzie inna.
d41d8cd98f00b204e9800998ecf8427e
-
-
-
PS. Odnośnie
| Cytat: | 2. p -> q v (r -> s) {-E: 1}
3. p -> q v (s -> r) {-E: 1}
4. ~p v q v ~r v s {-C: 2} |
bo już nie mogę zedytować. To nie jest -C, lecz CR.
d41d8cd98f00b204e9800998ecf8427e
-
-
-
| Zibo napisał/a: | | To nie jest -C, lecz CR. |
"-C" to usuwanie implikacji. A co to jest CR?_________________
FCB - Més que un club
d41d8cd98f00b204e9800998ecf8427e
-
-
-
CR: a -> b
______
~a v b
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Mógłby ktoś potwierdzić, czy na wykładach była mowa o grupoidach i izoformizmach (chodzi mi o zadanie nr 2 i 3) ? Czy tego typu zadan nie bedzie?
_________________
FCB - Més que un club
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Izomorfizm był ;/
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Please don't laugh... W tym dowodzie (nie wprost) do zadania 1 - punkty np. 1.1, 1.2, 1.3, 1.4 i 2.1, 2.2, 2.3, 2.4 to są te "dodatkowe założenia dowodu" ??? Czy skąd to się generalnie wzięło ?
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Na ile to rozumiem, to są właśnie dodatkowe założenia. Wzięły się z linii 3 - do dodatkowych założeń bierze się wiersz typu A v B v ... v N, każdą z części alternatywy jako jedno założenie dodatkowe i z każdego z nich ma wyjść sprzeczność. Tam jest w ten sposób zrobione, tylko od razu koniunkcje zostały rozbite na kilka wierszy, więc jest zamieszanie.
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Jak się jutro nie zaliczy, albo dostanie 3 to i tak bez różnicy?
_________________
Im lepiej widać piersi, tym trudniej zapamiętać twarz.
d41d8cd98f00b204e9800998ecf8427e
-
-
-
tak - to jest termin zerowy, mozna na niego w ogole nie przyjsc i nie ma konsekwencji.
_________________
Gdyby budowlańcy tak budowali budynki, jak informatycy piszą swoje programy, to jeden dzięcioł załatwiłby całą cywilizację.
d41d8cd98f00b204e9800998ecf8427e
-
-
-
| Cytat: | 2. p -> q v (r -> s) {-E: 1}
3. p -> q v (s -> r) {-E: 1}
4. ~p v q v ~r v s {-C: 2} |
Wg mnie te reguly sa uzyte niepoprawnie. d41d8cd98f00b204e9800998ecf8427e
-
-
-
a wg mnie, po dzisiejszej zerówce, można śmiało iść śmiało do dziekana na niezobowiązującą rozmowę 
d41d8cd98f00b204e9800998ecf8427e
-
-
-
było kilka razy mowione ze dzisiejsze koło było dla NAJZDOLNIEJSZYCH.
d41d8cd98f00b204e9800998ecf8427e
-
-
-
ktoś może nie mieć oporów (nie mieć = przyjmij a) i być zdolnym (b), ale ja bym powiedział, że to alternatywa (a v b). Zdolność jest zupełnie niezależna od tego czy ma się opory z tym "przedmiotem", więc może występować samotnie, tak jak nie-posiadanie oporów przy dyskretnej. ah, jak ja kocham tę logikę... do bólu.
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Lista zwycięzców dzisiejszego losowania dużego lotka już za tydzień ;]
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Pozdrowienia dla wszystkich którzy w nieznanym celu zapełnili dziś salę 
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Dziękuję, pozdrawiam również 
_________________
FCB - Més que un club
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Mógłby ktoś tak po krótce napisać o czym mówił przy tablicy, bo JAKOŚ go niedosłyszałem
W woli ścisłości - 2 grupa ;p
_________________
Seks, sesja. Wszystko na "s", a jaka różnica ;p
d41d8cd98f00b204e9800998ecf8427e
-
-
-
Że jak się zaliczy ćw. na 4.0 i koło na 4.0, to się do niego zgłosić jakośtam przed 15.06, żeby zwolnił z egzaminu... chyba.  Jeśli mówił coś jeszcze ważnego, to ja go już wtedy nie słuchałem/słyszałem.
d41d8cd98f00b204e9800998ecf8427e
-
-
-
no to co mowil przy tablicy wiekszosci z nas nie dotyczy:P
_________________
Gdyby budowlańcy tak budowali budynki, jak informatycy piszą swoje programy, to jeden dzięcioł załatwiłby całą cywilizację.
d41d8cd98f00b204e9800998ecf8427e
Powered by phpBB modified by Przemo © 2003 phpBB Group. Then, after many years modified again, this time by Piotrek © 2014
Strona wygenerowana w 45,6ms. Zapytań do SQL: 17
|
