CELEBRATING GEORGE BOOLES BICENTENARY genius 1815 2015 University

CELEBRATING GEORGE BOOLE’S BICENTENARY *genius *1815 -2015 University College Cork Ireland

projekt: Boole 2 School *

George Boole § Urodził się 2 XI 1815 roku w angielskim mieście Lincoln jako syn szewca. § Był pierwszym profesorem matematyki na Uniwersytecie w Cork (dawniej Queen's College Cork). § Wprowadził logikę dwuwartościową zwaną dziś boolowską, która jest podstawą działania komputerów. *

George Boole - nauczyciel § W wieku 16 lat został głównym żywicielem rodziny. Podjął wówczas pracę jako asystent nauczyciela. § Wtedy zafascynowała go matematyka. Był w niej samoukiem. § W wieku 18 lat otworzył własną szkołę w Lincoln. § W wieku 22 lat objął kierownictwo Akademii w Waddington. § W wieku 24 lat otworzył w Lincoln własną szkołę z internatem. *

Mary Everest Boole • Córka pastora, bratanica George’a Everesta (od którego wziął nazwę Mount Everest). • Żona George’a, feministka, matematyczny samouk, zajmowała się teorią nauczania i dydaktyką matematyki. • Wprowadziła nauczanie czynnościowe, m. in. wyszywanki matematyczne. *

wyszywanki matematyczne Mary Boole *

Śmierć George’a Boola • Poszedł do pracy w ulewnym deszczu, cały dzień spędził w mokrym ubraniu i przeziębił się. • Mary jako zwolenniczka homeopatii wierzyła, że najlepszym sposobem walki z chorobą jest wystawienie chorego na jej przyczynę, więc regularnie polewała łóżko męża wodą. • George nie przeżył tej kuracji. Zmarł po dwóch tygodniach. *

George Boole - matematyk • Od 15 roku życia rozpoczął ambitny program samokształcenia w matematyce. • W 1844 roku Królewskie Towarzystwo Naukowe (Royal Society) nagrodziło go złotym medalem za pracę Ogólne metody w analizie. • W 1849 roku został pierwszym profesorem matematyki na Uniwersytecie w Cork. • Jego najbardziej znaną pracą są Badania prawideł myślenia z 1854 1815 -1864 roku. *

Boole, Shannon i elektronika § Teoria Boole’a została wykorzystana w praktyce dopiero 70 lat po jego śmierci. § W 1938 roku amerykański inżynier Claude Shannon wykorzystał algebrę Boole’a w programowaniu przełączników obwodów elektrycznych, co doprowadziło do skonstruowania układów scalonych, które stały się podstawą rozwoju technologii komputerowej. *

Czym jest logika? Zajmuje się weryfikacją poprawności wypowiedzi i dedukcyjnych rozumowań. Przykład wnioskowania: Mary jest człowiekiem. ZAŁOŻENIA Ludzie są śmiertelni. Mary jest śmiertelna. * WNIOSEK

Logika boolowska • Logika boolowska operuje zdaniami logicznymi. • To inne zdania niż te językowe. • Zdania logiczne są prawdziwe albo fałszywe. • Zaprzeczenie zdania prawdziwego jest fałszywe. • Zaprzeczenie zdania fałszywego jest prawdziwe. *

Zdania logiczne • Które z tych zdań są zdaniami logicznymi? Która godzina? Dziś jest raczej ciepło. Może przyjdę jutro. Koszulka Janka jest czerwona. Chciałbym mieć psa. Zdanie, które właśnie czytasz, jest fałszywe. Byłbym zapomniał. *

Logika i obwody elektryczne • Zdania logiczne są prawdziwe albo fałszywe. • Obwody elektryczne są zamknięte albo otwarte. Obwód otwarty. Prąd płynie. Żarówka świeci. Prawda * Obwód zamknięty. Prąd nie płynie. Żarówka nie świeci. Fałsz

Spójniki logiczne Zdania logiczne złożone tworzymy ze zdań prostych za pomocą spójników logicznych i , lub, albo oraz przeczenie nie. Kierowca sprzedaje bilety w soboty i niedziele oraz święta po godzinie 18. Powiedział, że się ochłodziło i zaczął padać śnieg. Przynieś szklankę lub kubek oraz wazon. Czy bilet można kupić w niedzielę rano? Gdzie padał śnieg? Ile rzeczy należy przynieść? *

bramka I (AND) • Bramka I - źródło napięcia i połączone szeregowo wyłączniki A i B. • Żarówka świeci tylko wtedy, gdy oba wyłączniki są zamknięte i płynie prąd. *

bramka LUB (OR) • Bramka LUB - źródło napięcia i połączone równolegle wyłączniki A i B. • Żarówka świeci tylko wtedy, gdy przynajmniej jeden z wyłączników jest zamknięty i płynie prąd. *

Wyszukiwanie w sieci Możesz wyszukać: • Swift AND Dreams • Swift OR Dreams • Swift NOT Dreams Spróbuj! *

Gry komputerowe Candy Crush Zamieniając miejscami sąsiednie cukierki, utwórz linię (pionową lub poziomą) z trzech cukierków w tym samym kolorze. *

Gry komputerowe A 1 = blue B 1 = yellow C 1 = red B 2= * r i B 3= r i B 4= r Następuje crush na B 2, B 3, B 4. Otrzymujesz 300 punktów.

Gry komputerowe Co robić po utracie wszystkich żyć? 1. Operator Candy Crush daje nowe życie co 30 minut. 2. Kupujesz nowe życie u operatora. 3. Nowe życie może podarować ci znajomy na Facebooku. 4. Sam zmieniasz ustawienia gry i usuwasz limit żyć. * LUB

Gry komputerowe Kiedy można zamienić A 1 i B 1? • Kolory cukierków są zapisane w pamięci komputera. • Warunek ‘C 3=D 4? ’ znaczy: Czy w podanych okienkach jest ten sam kolor? Uzupełnij diagram: B 1=A 2=A 3 ? LUB możliwy crush PRAWDA możliwa zamiana *

P Negacja Zdanie P NOT(P) PRAWDA FAŁSZ PRAWDA Zdanie NIE (P) Ania I Bartek są szczęśliwi. ? Gra aktorów Testowanie zaprzeczenia Ania I Bartek są szczęśliwi. Ania I Bartek NIE są szczęśliwi 1) Ania * Bartek F F

Prawo boolowskie NIE (A I B) = (NIE A) LUB (NIE B) Gra aktorów Testowane zaprzeczenie Ania I Bartek są szczęśliwi. 1) Ania Bartek 2) Ania Bartek . 3) Ania Bartek . 4) Ania Bartek * Ania NIE jest szczęśliwa LUB Bartek NIE jest szczęśliwy.

Prawo boolowskie NIE (A I B)= (NIE A) LUB (NIE B) Gra aktorów Zdania logiczne Ania I Bartek są szczęśliwi. Ania NIE jest szczęśliwa LUB Bartek NIE jest szczęśliwy. 1) Ania Bartek . F P 2) Ania Bartek . P F 3) Ania Bartek . F P 4) Ania Bartek . F P *

Gry komputerowe Minecraft § Gra konstrukcyjna. § Materiał budowlany to czerwony piaskowiec, który przewodzi moc. § Moc przepływa obwodami i aktywuje różne narzędzia (lampa, winda). najprostszy obwód *

Bramki NOT i OR OR gate * Lever 1 input Lever 2 input Output P P F F F INPUT: moc do pochodni OUTPUT: moc z pochodni P F F P

Bramka AND NOT (lever 1) OR NOT (lever 2) ) Key Redstone Torch * Torch 1 Wires meeting = (lever 1) AND (lever 2) Torch 2 Prawo boolowskie NIE (NIE A LUB NIE B)= A I B

Gry komputerowe *

NIE (jeśli … to…) Słynny uczony dr Doom ogłosił publicznie: JEŚLI jutro będzie trzęsienie ziemi, TO ten budynek się zawali. Następnego dnia wszyscy mówili o tym, jak bardzo się mylił. Co się wydarzyło? *

NIE (jeśli … to…) Kapitan drużyny brydżowej lubi oszukiwać. Ale jest dobry z logiki. Trener powiedział mu przed ostatnią partią: Jeśli oszukasz, to będziesz musiał odejść! Kapitan pokazał, że trener się mylił. Co zrobił? Zawodnicy postanowili dać kapitanowi ostatnie ostrzeżenie. Zorganizowali protest pod hasłem Jeśli oszukasz, to odejdziesz! Korzystając ze spójników logicznych I, LUB oraz zaprzeczenia NIE, przekształć hasło protestu tak, by nie zmienić jego przekazu, ale by nie używać implikacji „JEŚLI … TO…. ”. *

NIE (jeśli … to…) Jeśli oszukasz, to będziesz musiał odejść! trener zdanie JEŚLI oszukasz, TO odejdziesz zapis logiczny JEŚLI os TO od * kapitan zawodnicy