20:00 | | Temat wykladu: |
| | Logika: Wykład #1 (by Nome, 28.10.2005) @ wyklady.net |
20:00 | Reqamst | jedna minuta ;p |
| pukas | kiedy zaczynamy? |
20:01 | m2tek | 2-5 min? |
| Nome | za 5 minut |
| Nome | o 20.07 zaczynamy |
| Nome | czekajta |
20:03 | anakin_17 | zaczelo sie juz? |
| pukas | nie |
| Nome | jeszce nie |
| Nome | cierpliwosci |
| Nome | nic na szybko |
| Reqamst | za 5 minut |
| Nome | bo wtedy jest all nie logicznie i niedbale wykonane |
| Reqamst | bywa ;p |
20:04 | anakin_17 | poprostu dopiero przyszedlem a u mnie na zegarku jest po 8 |
20:05 | anakin_17 | chetnie poslucham wykladu bo ostatnio w liceum mielismy ten temat:) |
| joquIm | pierwsza klasa? |
20:06 | m2tek | ale logika jest prosta raczej, nie jest tak źle :P |
| anakin_17 | pierwsza |
| anakin_17 | nie narzekam |
| pukas | ja tez to mialem niedawno, tylko ja chodze do technikum |
| Reqamst | metek, zalezy jak sie uczysz |
| Reqamst | jak na przymus to jest do dupy |
| anakin_17 | przynajmniej narazie nie jest bardzo trudna |
| Reqamst | ale jak samemu to wtedy kocham sie uczyc :) |
20:07 | pukas | anakin: na informatyczno-matematyczny profil? |
| Reqamst | m2tek* |
| anakin_17 | dokladniej mat-fiz-inf |
| Nome | m2rtek pszedl do liceum gdzie srednia to 5,5 i trza bylo miec punktow 170 |
| m2tek | MFI, jakby nie patrzeć |
| Nome | tak kujon jestes i tyle :P |
| Reqamst | lol |
| m2tek | m2tek -> prosty nic, pisać bez błedow |
| m2tek | nick* |
20:08 | Nome | oki |
| Reqamst | co to za liceum? ;\ |
| m2tek | no spox spox:P |
| Nome | mowilem ze juz powienien byc wyklad tak? |
| Reqamst | jakie miasto? |
| pukas | logika jest prosta 0 albo 1 |
| Nome | to bylem w bledzie |
| m2tek | V LO, Danzig |
| joquIm | dokladnie 20:07 |
| Nome | wez cicho vbadz bo jak mowisz o V Lo a jak pomysle o X LO to mnie az bierze |
20:09 | m2tek | dobra spox, ty lepiej zacznij wykład :) |
| anakin_17 | u mnie w LO trzeba bylo miec cos w granicach 120 :) |
| pukas | nome: ty ktora klasa? |
| m2tek | bo nieche nic mowic ale gladiator niedlugo :PP |
| Nome | a ja mialem 130 aposzedlem gdzie byl 40:P |
| Nome | ja 1 LO |
| pukas | a klasa? |
20:10 | Nome | no kalsa pierwsza |
| Nome | oki robie scana |
| Nome | pogadajmy |
| Nome | wrzuce na serw i zaczynamy ;-) |
| pukas | jest tu ktos z rzeszowa lub okolic? |
20:11 | Nome | m2tek powiemy o xorze czy narazie nie? |
| Nome | :d |
| m2tek | jasne że tak |
| pukas | czego nie ma wykladow z pascala? |
| Nome | a moge zrobic |
| m2tek | xor to podstawa, przynajmnie jprzy programowanie |
| m2tek | a to jest bez sensu że w podręcznikach wogole tego nie ma |
| Nome | no jak lubisz c++wlasnie arta napisz :P |
20:12 | Nome | no wlasnie |
| pukas | co to ten xor? |
| Nome | bez sera takie czekajta za 2 minuty |
| shd | takie or ktore na 11 odpowiada 0 |
20:13 | Nome | :P |
| m2tek | exclusive or (alternatywa wykluczająca), ale nome zaraz o tym będzie mowił, więc ja trailerow nie robie :P |
| pukas | ok spoko |
| pukas | jeszcze pytanie do uczniow liceum: ile macie informatyk w tygodniu? |
20:14 | anakin_17 | 2 |
| Nome | 2 |
| m2tek | ja mam 2 |
| crook | 2h gry w sapera |
| joquIm | niestety 1 |
| pukas | lol |
| joquIm | :P |
| anakin_17 | ale narazie mamy cos co sie nazwywa "technologia informacyjna" czy jakos tak |
| m2tek | kurde, musze spadac, narazie, może wejde jeszcze poźniej w trakcie :( |
| joquIm | wiecej mam naert religii |
| pukas | ja poszedlem do rzeszowskiego elektronika |
| anakin_17 | i siedzimy w wordzie |
| pukas | na technika informatyka i mam w sumie 12 godzin |
| pukas | potem bedzie wiecej |
20:15 | anakin_17 | ale podobno pod koniec pierwszej albo od drugiej mamy miec juz algorytmy |
| CS_Beam | ja mam 7, ale to w 2 klasie |
| joquIm | 2 religie w tygodniu a informatyka jedna:P |
| Nome | kurcze oki |
| Nome | serw mi padl |
| Nome | moze w meidzy czasie uda sie to naprawic ;-) |
20:16 | Nome | Witam wszytskich na wykladzie o logice |
| Nome | Bedzie to wstep wiec nie oczekujcie zbytnio duzo |
20:17 | Nome | ale jezeli nie wiecie coi to logika, albo macie orientacje a nie chodzicie ejszce do liceum to bedzie mogli udowodnic, ze jestescie dobrzy z matmy czy z informy |
| Nome | Kazdy przygotowany? |
| shd | z czego? |
| anakin_17 | ;) |
| Reqamst | lol ;p |
| shd | na ukladach cyfrowych to mialem :) |
| pukas | zaczynaj |
20:18 | shd | gogo |
| joquIm | lecimy |
| Nome | oki |
| Nome | a wiec |
20:19 | Nome | Logika to pochodzi z grecji |
| Nome | ale nie ebde o histori mowil |
| Nome | bo historii chcial sie uczyc adam_i |
| Nome | a my mamy uczyc sie czegos innego ;-) |
20:20 | Nome | W logice wyrozniamy glownie: |
| Nome | Koniunkcje |
| Nome | *Alternatywe |
| Nome | * Implikacje |
20:21 | Nome | * Rownowaznosc |
| Nome | * Negacje |
| Nome | macie jakies pytania na wstepie? |
| pukas | wytlumacz do czego to w ogole jest |
20:22 | Nome | oki |
| pukas | a nie lecisz od razu o koniunkjach |
| defc0n | wlasnie do czego prowadzi ten wyklad |
| ^Klocek | logika matematyczna |
| Nome | oki |
| Nome | dobrze |
| ^Klocek | do zapisu twierdzen i innych rzeczy |
| Nome | dobrze |
| pukas | wytlumacz ze 0 to falsz a 1 to prawda |
| Nome | hehe |
| Nome | taki boolean |
| shd | to logika boole'a |
| Nome | No dobrze |
| Nome | ja bed etyu mowil o logice matematycznej |
20:23 | Nome | tzn w matematyce |
| Nome | logiiki glownie uzywa sie w informatyce do programowania |
| Nome | zapewne takie pojecia jak: If then, Not, and, xor, or slyszeliscie? |
20:24 | Nome | Zaczniemy od oimplikacji |
| Nome | albo nie najlatwiej koniunkcji |
| Nome | mamy 2zdania |
| Nome | jedna czesc zonaczmy jako p |
| Nome | a drugie zdanie jako q |
| Nome | polaczmy oba spojnikiem "i" |
| Nome | schemat: p i q |
20:25 | Nome | zapisywac bardziej profesjonalnie mozna tak: |
| Nome | p^q |
| Nome | Przyklad: |
20:26 | Nome | Moja babcie dostala emeryture i jest duzo kasy |
| Nome | 1 zdanie prawdziwe zakladamy |
| Nome | czyli p=1 |
| Nome | 2 zdanie prawdziwe |
| Nome | czyli q=1 |
| Nome | schemat wyglada nastepujaco: |
20:27 | Nome | p^q=1 |
| Nome | Czyli koniukncja prawdziwa |
| Nome | teraz koniuncja gdzie zdania p i q sa falszywe |
| Nome | liczba 9 jest niewymierna (p) |
20:28 | Nome | i Liczba 3 jest mniejsza od 2 |
| Nome | (q) |
| Nome | jak widizmy oba zdania falszywe czyli p=0 |
| Nome | q=0 |
| Nome | p^q=0 |
| Nome | koniunkcja falszywa |
| Nome | teraz: |
| Nome | p prawdziwe |
20:29 | Nome | q falszywe: |
| Nome | 2,(14) jest liczba wymierna (1) |
| Nome | (1) bo prawdziwe |
| Nome | czyli zdanie p jest prawdziwe |
| Nome | zdanie q bedzie falszywe a oto ono: |
20:30 | Nome | i 2,(14) jest liczba mniejsza od 1 |
| Nome | falszywe czyli |
| Nome | p=1 |
| Nome | q=0 |
| Nome | Koniunkcja falszywa |
| Nome | Przyklad gdzie oba czlony p i q beda falszywe dadza nam koniunkcje falszywa |
20:31 | Nome | Liczba 3,14 jest niewymierna i 3,14 jest liczba mniejsza od 3 |
| Nome | jak widizmy p i q maja wartosc 0 |
| Nome | czyli koniunkcja ma wartosc 0 |
20:32 | Nome | Pytania? |
| r00uter | o kurwa |
| Reqamst | tak |
| Nome | slucham... |
| ^Klocek | reasumujac |
| Reqamst | jezeli p=1 |
| ^Klocek | koledze chodzilo o to |
| Reqamst | a q=0 |
| ^Klocek | p q p^q |
| Reqamst | to mozna zapisac to tak : |
| ^Klocek | 1 1 1 |
| ^Klocek | 1 0 0 |
| ^Klocek | 0 1 0 |
| ^Klocek | 0 0 1 |
20:33 | Reqamst | p^q=1^0 |
| Reqamst | ? |
| Nome | tak mzona to tak zapisac |
| Nome | klocek zapisujemyu to tak: |
| ^Klocek | i w gwoli scislosci |
| ^Klocek | to nie jest p do q |
| ^Klocek | tylko p |
| ^Klocek | odwrocony v |
| Nome | p i q |
| ^Klocek | q |
| ^Klocek | Nome ja wiem jak sie zapisuej |
20:34 | Nome | no tak |
| ^Klocek | v to jest lub |
| ^Klocek | odwrocony v to jest i |
| Nome | no |
| ^Klocek | operator |
| Nome | a ja popelnilem blad? |
| ^Klocek | do Ciebie nie mowie cicho ;p |
| Nome | jak tak to sorki z rozpedu penwnie |
| ^Klocek | tabelke wyzej podalem |
| ^Klocek | tabele sie podaje a nie tylko przykaldy ;p |
| Nome | tak |
| Nome | chcialem tabele |
| ^Klocek | tlumacz im alternatywe |
| ^Klocek | ja ide zjesc |
| Nome | ale swer w mi anwalil |
| Nome | robilem tabele |
| Nome | i dlatego opoznienie |
20:37 | Nome | oki unknow zajmie sie serwerem |
| Nome | a ja dalej nawijam |
| Nome | jeszce jakies co do koniunkcji? |
| Nome | oki |
20:38 | Nome | a wiec tu macie tabelke: |
| Nome | http://unkn0w.hopto.org/3/wyklad/koniunkcja.txt |
| Nome | jest tu ktos? |
| Nome | Ilu wwas jest? |
| Reqamst | ja |
| Nome | jeszce ktos? |
| joquIm | obecny;P |
| CS_Beam | ja jestem |
| Nome | okej |
| defc0n | i am |
| Nome | brak pytan? |
20:39 | joquIm | brak |
| Nome | oki |
20:40 | Nome | a wiec teraz tlumacze alternatywe |
| Nome | Alterntywa |
| Nome | czesto slyszymy to w TV |
20:41 | Nome | tele2 Twoja alternatywa do TP |
| Nome | czy cos w tym stylu |
| Nome | czyli wybor |
| Nome | Mmay cos lub cos do wybotu |
| Nome | podalkem przyklad dalej na nim pociagne |
| Nome | mymy tele2 i TP |
| Nome | czyli to tele2 nadal bedzie p |
20:42 | Nome | a TP to q |
| Nome | i mamy p v q |
| Nome | czyli zdanie p lub zdanie |
| Nome | q |
| Nome | da nam alternatywe prawdziwa lub faszywa |
| Nome | tak jak to bylo z koniunkcja |
| Nome | czyli replay |
| Nome | koniunkcja spojnik i miedyz p i q |
20:43 | Nome | alternatywa lacznik lub miedzy p a q |
| Nome | Przyklad: |
| Nome | albo ejszce nie |
| Nome | jeszc edokoncze wstep :D |
| Nome | alternatywe zdan uwazamy z aprawdziwa |
20:44 | Nome | gdy jedno zdanie przynjamniej jest pradwziwe |
| Nome | czyli p lub q jest prawdziwe |
| Nome | to alternatywa staje sie prawdziwa |
| Nome | tablica: |
| Nome | http://unkn0w.hopto.org/3/wyklad/alternatywa.txt |
20:45 | Nome | Thx dla unknow'a ze pomogl zrobic tablice, gdy mi serw padl |
| Nome | i przyklady stricte wobec tablicy: |
20:46 | Nome | alternalternatywa jest prawdziwa gdy: |
| Nome | np. Liczba 2 jest liczba naturalna lub liczba 2 jest liczba niewymierna ujemna |
| Nome | p =1 |
20:47 | Nome | q=0 |
| Nome | pvq=1 |
| Nome | gdzyz przynjamniej jedno zdanie spelnia warunek prawdziwy (1) |
20:48 | Nome | oki |
| Nome | zapewne domyslacie sie ze gdy p=0 lub q=1 |
20:49 | Nome | to alternatywa bedzie prawdziwa |
| Nome | racja |
| Nome | ale dam i tak przyklad :D |
| Nome | Liczba 7 jest ujemna(p) |
| Nome | p=0 |
| Nome | liczba -7 jest dodatnia |
| Nome | sorki ma byc ujemna :D |
20:50 | Nome | czyli q (liczba -7 jest ujemna) |
| Nome | i wyglada to tak: |
| Nome | p v q = 1 |
| Nome | i alternatywa jest prawdziwa |
20:51 | Nome | teraz przykldzik nastepony gdy zdanie p i q beda prawdziwe |
| Nome | Pierwiastek z 9 jest liczba naturalna (p) =1 |
| Nome | Pierwaiastek z 9 jest liczba wymierna(q)=1 |
| Nome | czyli p v q = 1 |
| Nome | alternatywa prawdziwa |
20:52 | Nome | alternatywa staje sie falszywa wtedy i tylko wtedy, gdy |
| Nome | oba zdania (p lub q) sa falszywe |
| Nome | czyl maja wartosc 0 |
| Nome | przyklad: |
| Nome | pierwiastek z 3 jest livczba naturalna (p) =0 |
20:53 | Nome | pierwiastek z 3 jest liczba wymeirna (q) =0 |
| Nome | p v q =0 |
| Nome | czyli alterntywa falszywa |
| Nome | jakies pytania? |
20:54 | Nome | mzoe ejszce raz tabelka dla alternatywy? |
| DJ_cool_ | do rzeczy |
| Nome | sluchal mnie ktos? |
| DJ_cool_ | =p |
| Nome | nie do rzeczy bo niektorzy nie wiedza co to ejst : ^ |
| ^Klocek | zacznij cos ciekawego |
| Nome | nie moge zrobic czegos trudnego |
| ^Klocek | tabelka eh |
20:55 | ^Klocek | macie |
| ^Klocek | p v q |
| Nome | ale obieuje ze za tydzien porozmawiamy o xorze |
| ^Klocek | 1 1 1 |
| ^Klocek | 1 0 1 |
| ^Klocek | 0 1 1 |
| ^Klocek | 0 0 0 |
| Nome | czyli tej lepszej alternwtywie:D |
| Nome | http://unkn0w.hopto.org/3/wyklad/alternatywa.txt |
| ^Klocek | bylem 1 |
| ^Klocek | :P |
20:56 | Nome | oki to teraz bedzie impliakcja |
| Nome | Impliakcja |
| Nome | czyli: |
20:57 | Nome | zdanie zlozone |
| Nome | ktore otzrymujemy gdy polaczymy |
| Nome | 2 zdania slowem jezeli to |
| Nome | znacie to z programowania funkcja warunkowa |
| Nome | jezeli cos jest otwarte to niech sie stanie zamkniete |
20:58 | Nome | np. |
| Nome | :D |
| Nome | i tak smao mamy tutakj |
| Nome | przyklad: |
| Nome | Jezeli Gdansk lezy nad Baltykiem to w Gdansku wiecej osob odpoczywa w wakacje nad morzem |
20:59 | Nome | pierwsze zdanie na 100% prawdziwe |
| Nome | przyjmijmy ze 2-e tez:D |
| Nome | tableka: |
| Nome | http://unkn0w.hopto.org/3/wyklad/implikacja.txt |
| Nome | I stricte wobec tableki: |
21:00 | Nome | *tabelki ;-) |
| Nome | Jezlei pierwiastek z 2 jest nieymierna liczba to pierwiatsek z 3 jest niewymierna liczba |
21:01 | Nome | p=1 |
| Nome | q=1 |
| Nome | p --> q =1 |
| Nome | mozna uzywac --> i => |
| Nome | widzialem rozne zrodla |
21:02 | Nome | i roznie bylo |
| Nome | z tym |
| Nome | przynudzam co? |
| Nome | no coz.. akomu sie nie nudzi czasme jak amcie 4 matmy pod rzad co nie? |
| Nome | :D |
| Nome | tak? |
| shd | Nome |
| ^Klocek | => sie pisze raczej |
| ^Klocek | i oznacz |
| ^Klocek | a |
21:03 | ^Klocek | "jezeli wtedy" |
| Nome | tak dojde |
| shd | a zalozymy sie czy wiekszosc gdanszczan spedza wakacje nad morzem? |
| Nome | do tego ofc |
| CS_Beam | 2 maty pod rzad to strasne, a na 4 bym nie wysiedzial :p |
| shd | :) |
| ^Klocek | x=k-1 => k=x+1 |
| Nome | kurcze |
| ^Klocek | chociaz tam moze byc wtedy i tylko wtedy :) |
| Nome | glupie etoikony;/ |
| ^Klocek | x=k-1 <=> k=x+1 |
| Nome | no racja |
21:04 | ^Klocek | powiedz im |
| ^Klocek | jaka jest roznica |
| Nome | no to juz uslyszeli |
| ^Klocek | miedzy => a <=> |
| Nome | ehh |
| Nome | implikacja zwrotna |
| Nome | czyli may kolejnosc |
| Nome | p q |
| Nome | tak? |
| Nome | to warunek |
21:05 | Nome | jezeli q to p |
| Nome | na odrot |
| Nome | poprostu |
| Nome | nic znaczego |
| Nome | przechodzimy |
| Nome | zbydnio przez to do rownoznacznosci |
| Nome | gdzie mamy operator <=> |
| Nome | ale o tym zaarz |
21:06 | Nome | *zaraz |
| Nome | zadnych pytan? |
| DJ_cool_ | rownowaznosci chyba. |
| Nome | no tak |
| Nome | a czy to nie to samo? |
| DJ_cool_ | nie |
21:07 | Nome | no nie |
| Nome | racja |
| Nome | zapmaiteajcie |
| Nome | to |
| Nome | nie mozecie sie pomylic |
| Nome | bo bedziecie mieli na sprawdzianie karne punkty ! |
21:08 | Nome | Tak |
| Nome | a wiec nikt nie ma zadnych pytan |
| Nome | bo i chyba nikogo tu nie ma :D |
| joquIm | jadziem dalej |
21:09 | Nome | a wiec |
| Nome | to byl przyklad impliakcji |
| Nome | prawdziwej |
21:10 | Nome | teraz implikacja prawdziwa |
| Nome | z falszywym poprzednikiem (p) |
| Nome | i prawdziwym nastepnikiem (q) |
| Nome | bedzie to implikacja prawdziwa |
| Nome | przyklad: |
21:11 | Nome | jezeli 3 jest liczba niewymierna(p), to pierwiastek z 2 jest niewymierny(q) |
| Nome | p=0; q=1 |
| Nome | p --> q =1 |
| Nome | implikacja prawdziwa |
21:12 | Nome | kolejny przyklad na odwrot gdzxie implikacja bedzie prawdziwa |
| Nome | i tu jest cikawostka |
| Nome | bo pomyslicie |
| Nome | ze impliakcja bedzie prawdziwa gdy p bedzie falszywym poprzednikiem |
| Nome | a q bedzie pradwziwym nastpenikiem |
| Nome | otoz blad |
21:13 | Nome | implikacja bedzie prawdziwa gdy p=0 --> q=0 |
| Nome | i tak: |
| Nome | jezlei 3 jest liczba niewyumierna to pierwiastek z 4 jest niewymierny |
| Nome | p=0 |
21:14 | Nome | q=0 |
| Nome | Impliakcja prawdziwa |
| Nome | no to wychodziloby ze kazde ulozenie sprawi z eimplikacja bedzie pradwziwa |
| Nome | NIE! |
| Nome | gdy |
21:15 | Nome | p=1 |
| Nome | a q=0 |
| Nome | bedize implikacja falszywa |
| Nome | Przyklad: |
| Nome | Jezlei pierwiastek z 2 jest niewymierna liczba(p) , to 2 jest liczba niewymierna(q) |
21:16 | Nome | jeszce raz tableka |
| Nome | http://unkn0w.hopto.org/3/wyklad/implikacja.txt |
21:17 | Nome | oki, jakies pyatnia ^Klocek? |
| Nome | bo glownie Ty ejstes aktywny widze :D |
21:18 | joquIm | warto by tu przytoczyc przyklad z kura |
| Nome | sdluchal mnie ktos? |
| Nome | podaj przyklad bo go nie znam |
| joquIm | bazuja na podanej prze Ciebie tabeli |
21:19 | joquIm | jezeli kury nie karmia i ona nie zyje to jest zgodne |
| joquIm | jezeli jej nie karmia i ona zyje to tez ma to sens |
| Nome | no tak |
| joquIm | jezeli zas ja karmia a ona nie zyje to juz jest niepoprawne |
| Nome | ale ejzeli karmia a ona nie zyje:D |
| DJ_cool_ | to jest implikacja, |
| DJ_cool_ | to jest implikacja, |
| DJ_cool_ | z prawdy nie moze wynikac falsz |
21:20 | Nome | no i ja moiwe o implikacji :D |
| Nome | no nie |
| Nome | ale to ejst wiesz nie uzasadnione |
| Nome | bo ktos mzoe pwoeidziec Ci |
| Nome | ze z falszu prawda |
| Nome | jak moze wyjsc |
| Nome | ? |
| Nome | ale z kura mi sie podobalo |
| joquIm | ;p |
| joquIm | tak na zdrowy rozsadek |
21:21 | Nome | no wlasnie |
| Nome | i przystapnie |
| Nome | nawet dla mnie :D |
| Nome | unknow czytasz to? |
| Nome | oki |
| Nome | lecimy bo ja jutro musze wczesniej wstac |
| Nome | a jeszce chce dokonczyc |
| Nome | i pozegnac sie goraco:D |
21:22 | Nome | a wiec impliakcje p-->q |
| Nome | alternatywe p v q |
| Nome | i koniunkcje p ^ q |
| Nome | mamy za soba |
| Nome | zostala nam jeszce |
21:23 | Nome | rownowaznosc |
| Nome | http://unkn0w.hopto.org/3/wyklad/rownow.txt |
| Nome | i tak: |
21:24 | Nome | dwa zdania sa prawdziwe wtedy i tylko wtedy gdy nazywamy rownowaznoscia. |
| Nome | Rownowaznosc jest prawdziwa wtedy gdy |
| Nome | p i q jest prawdziwe |
| Nome | lub p i q jest laszywe |
| Nome | czyli |
| Nome | ofc przyklady |
21:25 | Nome | vide jak wyzej :D |
| Nome | 6 jest liczba parzysta <=> 6 +7 jets liczba nieparzysta |
| Nome | p=1 |
| Nome | q=1 |
| Nome | rownowaznosc prawdziwa |
| Nome | pieriwstek z 20 |
21:26 | Nome | jes liczba niewymierna |
| Nome | wtedy i tylko wtedy gdy(<=>) pierwiastek z 5 jest liczba wymierna |
| Nome | p=1 |
| Nome | q=0 |
| Nome | roznowaznosc falszywa |
| Nome | teraz p bedzie mialo wartosc 0 |
21:27 | Nome | a q bedzie mialo wartosc 1(prawdziwa) |
| Nome | kazda liczba calkowita jest nieujemna wtedy i tylko wtedy(<=>) gdy Kazda liczba naturalna jest nieujemna |
| Nome | czyli: |
| Nome | p=0 |
| Nome | q=1 |
21:28 | Nome | rownowaznosc falszywa |
| Nome | teraz rownowaznosc prawdziwa |
| Nome | z p ; q falszywymi |
21:29 | Nome | pierwiastek z liczby 36 jest liczba nieymierna wtedy i tylko wtedy gdy pierwstek z 4 jest liczba nieywmierna |
| Nome | czyli p =0 |
| Nome | q=0 |
| Nome | rownowaznosc falszywa |
| redeye | e jak jest z zaprzeczeniami p==>q i p<==>q |
| Nome | ojejo negacji chcesz mowic? |
| Nome | wiesz |
| Nome | jzu mnie glowa boli szcerze mowiac |
21:30 | Dale | kazdego glowa rozboli po takiej ilosci logiki ;p |
| Nome | taak |
| Dale | teorie mnogosci tez zrobisz ? ;p |
| Nome | za tydzien |
| Nome | specjalnie dla Dale teoria mnogosci z atydzien ebdzie |
| Dale | hehe |
21:31 | Nome | Powiem tylko ze negacje uzywa sie przy parametrze ~ |
| Nome | i tyle |
| Nome | ogloszam |
| Nome | zakonczenbie wykladow |
| redeye | ej a zaprzeczenia... |
| redeye | plisss |
| redeye | na szybko:D |
| Nome | oki |
| Nome | a wiec tak: |
| redeye | ;] |
| Nome | zdanie i negacja zdania jest |
21:32 | Nome | liczba 24 jest parzytsa |
| Nome | zdanie prawdziwe |
| Nome | Liczba 24 jest nieparzytsa |
| Nome | zdanie falszywa |
| Nome | oznaczamy ~ |
| Nome | zdanie laszywe: |
| Nome | Liczba 6 jest liczba niewymierna |
21:33 | Nome | lczba 6 jest l. wymierna prawdziwe |
| redeye | tzn mi chodzi glownie ze zapzreczenia 'p i q' i 'p v q' i te inne jak sie tam znaki zmienialy :) |
| Nome | aha ja myslalem ze chodzi Ci o negacje |
| Nome | a nie o zaprzeczenia |
| Dale | jemu chodzi o wzorki demorgana ;p |
21:34 | Nome | ale mpowilem jzu o tym |
| redeye | o zaprzeczenia |
| redeye | aha;] |
| Nome | a to nie wiem |
| Nome | dorki |
| Nome | ale ja to robilem ten wyklad |
| Nome | bardziej z zamilowania |
| Nome | niz zwiedzy :D |
| redeye | hehe |
| Nome | ale postaram sie zebrac materialy i sam siebie podszkolic w tym zakresie |
21:35 | Nome | Powiedzice co chcilibyscie poznac? |
| Nome | za tydzien? |
| redeye | zaprzeczenia!:D |
| Nome | oki |
| Nome | ladnie przygotuje obmowie |
| Nome | i bedzie git :D |
| joquIm | ;) |
| Nome | jeszce jakies prosby? |
| redeye | ;] |
21:36 | Nome | vchyba nie |
| Nome | a wiec Wyklad zakonczony |
21:37 | Nome | Greetz for: mojej nauczycielki matmatyki p. Bartel, Unknow'owi, frodo, m2tek, M34L, prodigy |
| Nome | wystawcie ocene |
| Nome | jak Wam sie podobalo? |
| Nome | w skali 1-6 |
21:38 | Dale | powiem jak logi przeczytam |
| Nome | oki |
| Nome | Dale |
| Nome | za tdyzien bedzie zapewniona for you teoria mnogosci |
21:39 | Dale | przyda sie ;p |
| Reqamst | hmmm |
| Dale | bo jak narazie to wiem ze alev zero jest mniejsze od continuum |
| Reqamst | daje 3 |
| Reqamst | bo bylo dobrze, ale narazie malo ciekawe rzeczy |
21:40 | MEAL | Nome: sorki ale nie czytalem ;/ |
| Nome | oki luzik |
| Reqamst | wiec na bardziej subiektywna ocene poczekaj do nastepnego wykladu :) |
| Nome | a na #uw-teamnie |
| MEAL | hmm |
| Nome | ktos czytal mowil? |
| CS_Beam | ja 4, bo troche przysypiałem, ale to dlatego że na matematyce juz to sluchalem :] |
| MEAL | tak na oko miedzy 1-6 a to 4 bys dostal |
| joquIm | ja bym proponowal o cos poszezyc nastepnym razem |
21:41 | Nome | tak bedzie |
| Nome | xor, teoria mnogosci, zaprzeczenia |
| joquIm | jakies prawa logiki, kwantyfikatory |
| Nome | bedzie sie dzialo neich sie przygotuje tylko |
| Nome | bedzie, bedzie |
| Nome | mam wolny wikend |
| Nome | spory ze tak chaotycznie |
| Nome | ale dopiero o 19.,45 vzaczalem sie przygotowywac :D |
21:42 | Nome | M34l pomimo, ze wyklad rozreklamowalem to nikt zuw-team'u nie przybyl ;/ |
21:43 | MEAL | lenie |
| MEAL | i tak nikt tam nie pisze teraz |
| MEAL | seraphin cos mruczal |
| Nome | nie? |
| Nome | :D |
| defc0n | ;] |
| Nome | buahah |
21:48 | Nome | To coc checie |
| Nome | abyz a tydzien nome prowdazil kolejny wyklad? |
21:49 | joquIm | no teoria mnogosci juz obiecana... |
| Nome | tak |
| Nome | i zaprzeczebia |
| joquIm | wiec niech sie stanie |
| Nome | jeszce cos? |
| Nome | oki |
| Nome | nie znam terminu musze z prodigy pogadac ;-) |
| Nome | bye all! |
21:51 | CS_Beam | nom narq |
| joquIm | do nastepnego razu |