Wykład1. Elementy logiki matematycznej i teorii mnogości.

Podobne dokumenty
Algebra liniowa z geometrią analityczną

Zmienna losowa. M. Przybycień Rachunek prawdopodobieństwa i statystyka

Pierwiastki kwadratowe z liczby zespolonej

Binarne Diagramy Decyzyjne

Zastosowanie algorytmu Euklidesa

Dr inż. Robert Wójcik, p. 313, C-3, tel Katedra Informatyki Technicznej (K-9) Wydział Elektroniki (W-4) Politechnika Wrocławska

Wstęp do Sztucznej Inteligencji: Laboratorium Sterownik rozmyty

Wykład 4. Zasada zachowania energii. Siły zachowawcze i niezachowawcze

Elementy logiki matematycznej

{ 1, 2,, n } Ponadto wówczas mówimy, że formuła: oraz równoważna jej formuła:

Wybrane rozkłady zmiennych losowych i ich charakterystyki

Zadania otwarte. 2. Matematyka. Poziom rozszerzony Próbna Matura z OPERONEM i Gazetą Wyborczą n n. 2n n. lim 10.

Liczby zespolone. Niech C = R 2. Zdefiniujmy dwa działania w C. Dodawanie + : C 2 C zdefiniowane jest przez

Modele odpowiedzi do arkusza Próbnej Matury z OPERONEM. Matematyka Poziom rozszerzony

PRÓBNY EGZAMIN MATURALNY Z MATEMATYKI

σ-ciało zdarzeń Niech Ω będzie niepustym zbiorem zdarzeń elementarnych, a zbiór F rodziną podzbiorów zbioru Ω spełniającą warunki: jeśli A F, to A F;

RACHUNEK ZDAŃ - ZADANIA. Zadanie 1. Wyznacz wartość logiczną formuły A dla podanych wartościowań zmiennych zdaniowych występujących w tej formule q q

Ekstrema funkcji dwóch zmiennych

Metoda podziału zbioru obiektów na wielokryterialne klastry jakościowe

Matematyka dyskretna

Podstawy rachunku prawdopodobieństwa (przypomnienie)

Zestaw 2. Definicje i oznaczenia. inne grupy V 4 grupa czwórkowa Kleina D n grupa dihedralna S n grupa symetryczna A n grupa alternująca.

14. Grupy, pierścienie i ciała.

25. RÓWNANIA RÓŻNICZKOWE PIERWSZEGO RZĘDU. y +y tgx=sinx

Kognitywistyka II r. Teoria rzetelności wyników testu. Teorie inteligencji i sposoby jej pomiaru (4) Rzetelność czyli dokładność pomiaru

Programowanie nieliniowe optymalizacja funkcji wielu zmiennych

Wektory. P. F. Góra. rok akademicki

Warsztat pracy matematyka

SKRYPT Z MATEMATYKI. Wstęp do matematyki. Rafał Filipów Piotr Szuca

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),

Kongruencje i ich zastosowania

Wybrane zagadnienia teorii liczb

ĆWICZENIE 5. Badanie przekaźnikowych układów sterowania

Podróże po Imperium Liczb

KRYTERIA OCENIANIA ODPOWIEDZI Próbna Matura z OPERONEM. Matematyka Poziom rozszerzony

Całkowanie przez podstawianie i dwa zadania

Teoria liczb. Magdalena Lemańska. Magdalena Lemańska,

O y. Rys Opis położenia punktu za pomocą wektora wodzącego

Wyznaczenie współczynnika dyfuzji cieplnej κ z rozkładu amplitudy fali cieplnej

Z funkcji zdaniowej x + 3 = 7 można otrzymać zdania w dwojaki sposób:

Zmienne losowe typu ciągłego. Parametry zmiennych losowych. Izolda Gorgol wyciąg z prezentacji (wykład III)

Obóz Naukowy Olimpiady Matematycznej Gimnazjalistów

5. Relacja prawostronnie jednoznaczna (jednoznaczna, inaczej: jest funkcją), jeżeli

12. FUNKCJE WIELU ZMIENNYCH. z = x + y jest R 2, natomiast jej

ROZWIĄZUJEMY PROBLEM RÓWNOWAŻNOŚCI MASY BEZWŁADNEJ I MASY GRAWITACYJNEJ.

Wykład 4. Określimy teraz pewną ważną klasę pierścieni.

BADANIE PRZEBIEGU ZMIENNOŚCI FUNKCJI

Metody probabilistyczne Rozwiązania zadań

Rekurencyjna przeliczalność

Kongruencje oraz przykłady ich zastosowań


1. Wykład NWD, NWW i algorytm Euklidesa.

Funkcje wielu zmiennych

ZWIĄZEK FUNKCJI OMEGA Z DOMINACJĄ STOCHASTYCZNĄ

Wykład 4 Testy zgodności. dystrybuanta rozkładu populacji dystrybuanty rozkładów dwóch populacji rodzaj rozkładu wartości parametrów.




K N. y y n. ) k=1,2,...k. x k. k x nk. x = 1.1

Zegar ten przedstawia reszty z dzielenia przez 6. Obrazuje on jak kolejne liczby można przyporządkować do odpowiednich pokazanych na zegarze grup.

RACHUNEK CAŁKOWY FUNKCJI DWÓCH ZMIENNYCH

i = n = n 1 + n 2 1 i 2 n 1. n(n + 1)(2n + 1) n (n + 1) =

LOGIKA I TEORIA ZBIORÓW

Wykład 10. Funkcje wielu zmiennych

3.2. Podstawowe własności funkcji. Funkcje cyklometryczne, hiperboliczne. Definicję funkcji f o dziedzinie X i przeciwdziedzinie Y mamy w 3A5.

f x f y f, jest 4, mianowicie f = f xx f xy f yx

Kongruencje pierwsze kroki

Teoria liczb. Zajmuje się własnościami liczb, wszystkim całkowitych

Rozkład normalny (Gaussa)

Pochodna funkcji wykład 5

Matematyka dyskretna. Wykład 2: Kombinatoryka. Gniewomir Sarbicki

Rozkład normalny (Gaussa)

Logika, teoria zbiorów i wartość bezwzględna

A i A j lub A j A i. Operator γ : 2 X 2 X jest ciągły gdy

RÓWNANIA RÓŻNICZKOWE WYKŁAD 5

Funkcje arytmetyczne

MADE IN CHINA czyli SYSTEM RESZTOWY

Paweł Gładki. Algebra. pgladki/

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

Ć w i c z e n i e K 2 a Wyznaczanie siły krytycznej pręta o przekroju prostokątnym posiadającego krzywiznę początkową.

Matematyka ETId Elementy logiki

KRYTERIA OCENIANIA ODPOWIEDZI Próbna Matura z OPERONEM. Matematyka Poziom rozszerzony

Funkcje. Krzysztof Piszczek. Teoria

II.6. Wahadło proste.

Analiza B. Paweł Głowacki

4 Klasyczny rachunek zdań

Logika i teoria mnogości Ćwiczenia

Teoria i metody optymalizacji

ISBN (wersja drukowana) ISBN (ebook)

Metody numeryczne. Wykład nr 2. dr hab. Piotr Fronczak

29 Rozpraszanie na potencjale sferycznie symetrycznym - fale kuliste

Zasada indukcji matematycznej

1 Funktory i kwantyfikatory

Egzamin z logiki i teorii mnogości, rozwiązania zadań

GEOMETRIA PŁASZCZYZNY

Uwaga 1.1 Jeśli R jest relacją w zbiorze X X, to mówimy, że R jest relacją w zbiorze X. Rozważmy relację R X X. Relację R nazywamy zwrotną, gdy:

Logika klasyczna i rozmyta. Rozmyte złożenie relacji (ang. fuzzy composition) Złożenie relacji (ang. composition)

Rachunek różniczkowy funkcji jednej zmiennej

Elementy logiki i teorii mnogości

Przykładowe zadania z teorii liczb

Transkrypt:

WKŁAD. Wład. Element logii matematcznej i teoii mnogości. Definicja zdania Zdaniem w logice nazwam wowiedź zbudowaną zgodnie z zasadami ustalonego jęza tóej można zisać jednoznacznie jedną z dwu ocen: awdę lub fałsz -nazwane watościami logicznmi danego zdania i oznaczane odowiednio smbolami 0. Definicja fom zdaniowej Fomą zdaniową nazwam wowiedź tóa może zawieać zmienne zbudowaną według taich samch eguł gamatcznch ja zdanie. Fat że jest zmienną fom zdaniowej oznaczam isząc. Uwaga. Każde zdanie jest fomą zdaniową. Uwaga. Istnieją fom zdaniowe nie będące zdaniami. Zasada twozenia zdań z fom zdaniowch Z fom zdaniowej można otzmać zdanie na dwa sosob: a Pzez odstawienie w miejsce zmiennch obietów w stosunu do tóch będziem mogli stosować ocen logiczne awdziwości i fałszu. b Pzez stosowanie wantfiatoów w odniesieniu do wstęującch w fomie zdaniowej zmiennch. Stosowanie wantfiatoa dużego do fom oznacza utwozenie zdania. Stosowanie tóe cztam: dla ażdego elementu ze zbiou jest wantfiatoa małego do fom oznacza utwozenie zdania tóe cztam: istnieje element ze zbiou tai że. Definicja Jeśli zaesem zmienności zmiennej w fomie jest zbió to zbió tch wszstich elementów zbiou tóe odstawione w miejsce zmiennej w fomie dają zdanie awdziwe oznaczam jao :. Pzład. Pzedział domnięt a b gdzie a b są liczbami zeczwistmi taimi że a b można zaisać jao R : a b. Zasada wefiacji awdziwości zdań złożonch Ocen awdziwości zdań złożonch doonujem na odstawie infomacji o awdziwości ich sładniów zgodnie z nastęującmi ustaleniami: a 0 0 0 0 0 0 0 0 0 0 0 0 0 jest awdą wted i tlo wted gd : b /8

/8 jest awdą wted i tlo wted gd : Definicja tautologii Pawem logicznm albo tautologią nazwam zdanie złożone tóe jest awdziwe niezależnie od watości logicznch zdań sładowch Waz ważniejszch aw achunu zdań 3 4 5 6 7 8 9 0 3 4 5 6 7 8 9 0 Własności zbioów liczbowch. Podzielność liczb całowitch elacja zstawania modulo twiedzenie chińsie o esztach. Liczb całowite Liczb 0±±±3... nazwam liczbami całowitmi. Zbió wszstich liczb o całowitch oznaczam zez Z. Liczbami natualnmi nazwam zbió liczb całowitch dodatnich: 3... i oznaczam zez N. Własnościami liczb całowitch zajmuje się Teoia Liczb - najstasza obo Geometii dsclina matematczna. Wiele najtudniejszch dotąd jeszcze nieozwiązanch oblemów matematcznch wwodzi się właśnie z Teoii Liczb. Obecnie zomnim i ogłębim szeeg zagadnień dotczącch liczb całowitch a taże zedstawim ila najważniejszch oblemów woół tóch oncentuje się atualn nut badań. Algotm Eulidesa

Piewszego w histoii matemati algotm to właśnie Algotm Eulidesa. Służ on do znajdowaniu najwięszego wsólnego dzielnia dwóch liczb natualnch. Definicja Niech d i n będą liczbami natualnmi. Mówim że d dzieli n jeśli istnieje taa liczba natualna że n = d. Liczbę d nazwam wówczas dzielniiem liczb n. Pzład 6 dzieli 4 onieważ 8 = 6 4. Natomiast 6 nie dzieli 0 onieważ ównanie 0 = 6 nie ma ozwiązań w liczbach natualnch. Fat odzielności liczb n zez d zaisujem jao d n. Uwaga Każda liczba natualna n ma sończoną liczbę óżnch dzielniów. Oznaczam ją zez τ n. Na zład τ0 = 6 onieważ 0 ma sześć óżnch dzielniów: 4 5 0 0. Liczbę dzielniów danej liczb n możem odcztać z nastęującego Diagamu Leibniza: Liczba gwiazde widniejącch nad n to liczba jej dzielniów τ n. Twiedzenie. O dzieleniu z esztą Dla dowolnch liczb całowitch n i d z czm d > 0 istnieje doładnie jedna aa liczb całowitch i taa ze n = d + 0 < d. Liczbę nazwam iloazem a esztą z dzielenia n zez d. Pzład. Jeśli n = 5 i d = 7 to = 3 i = 4 onieważ 3/8

5 = 7 3 + 4 0 4 < 7. Jeśli n = 5 i d = 7 to = 4 i = 3 onieważ 5 = 7 4 + 3 0 3 < 7. Definicja. Najwięszm wsólnm dzielniiem liczb natualnch m i n nazwam najwięszą liczbę natualną dzielącą jednocześnie m i n. Oznaczam ją zez m n. Na zład 00 770 = 54 onieważ 54 dzieli zaówno liczbę 00 ja i 770 i jest najwięszą liczbą natualną o tej własności. Oiszem teaz zasadę działania Algotmu Eulidesa ozwalającego dla zadanch liczb natualnch m i n znaleźć ich najwięsz wsóln dzielni NWD m n. Pzuśćm że m n. W iewszm ou wonujem dzielenie m zez n i otzmujem zgodnie z twiedzeniem o dzieleniu z esztą iloaz i esztę m n dla 0 n. Jeżeli 0 to możem wonać dugie dzielenie n zez tóe daje dugi iloaz i dugą esztę : m n dla 0. Jeżeli onownie 0 to dzielim znowu zez i dostajem iloaz 3 i esztę 3 sełniające wauni Jest jasne że w ońcu otzmam 0 dla ewnego natualnego onieważ ciąg liczb całowitch... jest z malejąc i oganiczon z dołu zez 0. 3 Twiedzim teaz że jeżeli 0 to NWDm n = W istocie wstacz zauważć że ówność m = n + ociąga za sobą ówność NWDm n =. Stosując to sostzeżnie do olejnch ówności otzmam NWD m n =. 4/8

Pzład Niech m = 00 a n = 770. Powtazając dzielenie z esztą na olejnch aach dostajem ciąg ówności: 00 = 770 + 46 770 = 46 + 308 46 = 308 + 54 308 = 54. Zatem NWD00 770 = 54. Algotm Eulidesa ozostaje wciąż jedną z najbadziej efetwnch metod wznaczania najwięszego wsólnego dzielnia. Algotm Eulidesa ma zastosowanie w bujnie ozwijającej się ostatnio Ktogafii dziedzinie zajmującej się szfowaniem infomacji. Liczb iewsze Każda liczba natualna n > osiada co najmniej dwa óżne dzielnii i n. Definicja Liczbę > nazwam liczbą iewszą jeżeli i są jednmi jej dzielniami. Liczbę natualną n > tóa nie jest iewszą nazwam liczbą złożoną. Liczb iewsze możem ozoznać w Diagamie Leibniza jao te nad tómi świecą doładnie dwie gwiazdi. Twiedzenie Eulides Liczb iewszch jest niesończenie wiele. Dowód. Pzuśćm że = < = 3 <... < są wszstimi liczbami iewszmi. Pzjmijm P =... + i niech będzie dzielniiem iewszm liczb P. Wted liczba nie może bć z żadną z liczb i gdz w zeciwnm azie dzieliłab óżnicę P... = co jest niemożliwe. Zatem... nie są wszstimi liczbami iewszmi. Twiedzenie Odstę omiędz olejnmi liczbami iewszmi mogą bć dowolnie duże. Poof. W istocie niech n będzie liczbą natualną Rozważm ciąg n 5/8

olejnch liczb natualnch n! + n! + 3... n! + n. Ponieważ żadna z nich nie moż bć liczbą iewszą twiedzenie jest udowodnione. Znacznie tudniej udowodnić awdziwość nastęującego twiedzenia znanego jao Postulat Betanda. Twiedzenie Postulat Betanda W ażdm zedziale [n n] n =...znajduje się liczba iewsza. A jeszcze tudniejsze są dowod słnnego Twiedzenia Diichleta cz Twiedzenia o Liczbach Piewszch. Twiedzenie 5. Twiedzenie Diichleta Jeżeli a b = to ciąg atmetczn an + b n = 0... zawiea niesończenie wiele liczb iewszch. Twiedzenie Twiedzenie o Liczbach Piewszch Niech πn oznacza liczbę liczb iewszch w zedziale [N]. Wówczas Podstawowe Twiedzenie Atmeti Twiedzenie Każda liczba całowita n > ozłada się na iloczn liczb iewszch n... t gdzie... t są liczbami iewszmi Zauważm że jeżeli n = ab to liczb a i b nie mogą bć jednocześnie więsze od n. Stąd wnia że dowolna liczba złożona n osiada dzielni iewsz niezewższającch n. Rozład liczb na iloczn otęg óżnch liczb iewszch. n... gdzie... i i 0 dla i 3... nazwam ozładem anonicznm liczb n Twiedzenie Podstawowe Twiedzenie Atmeti Rozład anoniczn liczb całowitej n > jest jednoznaczn. 6/8

Na zład 00 = 7 3 jest jednm możliwm ozładem anonicznm liczb 00. Podobnie 5! = 80 658 75 70 943 878 57 660 636 856 403 766 975 89 505 440 883 77 84 000 000 000 000 = 493357843473939 3 37 4 43 47. Funcja Eulea. Niech N będzie liczbą natualną. Smbolem ϕn oznaczam liczbę niesacalnch ułamów właściwch o mianowniu N. Na zład ϕ8 = 6 bo istnieje doładnie 6 taich ułamów o mianowniu 8: 5 8 8 7 8 Funcja N ϕn nosi nazwę Funcji Eulea. Tabela oczątowch watości funcji Eulea: 3 7 8 8 8 N 3 4 5 6 7 8 9 0 3 4 5 6 7 8 ϕn 4 6 4 6 4 0 4 6 8 8 6 6 Watość ϕn zależ od ozładu liczb N na cznnii iewsze. Na zład jeżeli N = jest liczbą iewszą to ϕ =. Ogólnie jeśli liczba iewsza dzieli N to należ ominąć wszstie ułami tóch liczni dzieli się zez. Ta obsewacja ozwala na znalezienie wzou na funcję ϕn. Twiedzenie Niech N... N na cznnii iewsze. Wówczas N N.... będzie anonicznm ozładem liczb Wzó owższ można zaisać w ostaci ównoważnej. N... Pzład Obliczm watość funcji Eulea dla N = 00. Ponieważ 7/8

00 = 7 3 więc na moc wzou owżej mam ϕ00 = 6 0 = 70. Wniose. Dla dowolnch liczb całowitch dodatnich M N taich że NWD M N = zachodzi wzó ϕmn = ϕmϕn. Funcja Eulea osiada jeszcze wiele innch cieawch własności tóe oznam w dalszm ciągu. 8/8