Lista 1 - Rachunek zdań i reguły wnioskowania
|
|
- Grzegorz Łuczak
- 6 lat temu
- Przeglądów:
Transkrypt
1 Lista 1 - Rachunek zdań i reguły wnioskowania 1. Każda karta z jednej strony jest czerwona albo niebieska, z drugiej zaś ma narysowane kółko albo trójkąt. Na stole widzimy cztery takie karty, widoczna strona jest w nich kolejno czerwona, niebieska, trójkątem i kółkiem. Jacek twierdzi, że karty niebieskie mają na odwrocie kółko. Które karty Placek musi odwrócić, aby sprawdzić, czy Jacek mówi prawdę? 2. Zbadaj, które z poniższych formuł są tautologiami: a) (p p) p; b) p ( p q); c) (p q) [( p) ( q)]; d) (p q) (p q); e) (p q) [ p) ( q)]; f) (p q) [( p) ( q)]; g) [(p (q r)] [(p q) (p r)]; h) [(p q) r] [p (q r)]; i) [p (q r)] [(p q) (p r)]; j) [p (q r)] [( (p q) (p r)]; k) [p (q r)] [( q r) p]; l) [(p q) r)] [( p (q r)]. 3. Przyjmijmy, że gdy Jacek chrapie, to Agata śni. Które z poniższych zdań są prawdziwe przy tym założeniu? a) Gdy Agatka nie śni, to Jacek nie chrapie. b) Gdy Jacek nie chrapie, to Agatka nie śni. c) Gdy Agatka śni, to Jacek chrapie. d) Jacek nie chrapie lub Agatka śni. e) Nie jest możliwe, aby Jacek chrapał, a Agatka nie śniła. 4. Zapisz formułę korzystając wyłącznie ze wskazanych spójników: a) p q za pomocą koniunkcji i negacji; b) p q za pomocą alternatywy i negacji; c) p q za pomocą implikacji i negacji; d) p q za pomocą implikacji i negacji; 5. Zapisz za pomocą alternatywy, koniunkcji i negacji spójnik albo (alternatywę wykluczającą). 6. Zapisz formułę: p 1 (p 2 (p 3... (p n q))...) używając znak implikacji: a) tylko raz; b) ani razu. 7. Spójnik Pierce a (operator NOR) jest zdefiniowany wzorem (p q) (( p) ( q)). Kreska Sheffera, (operator NAND) jest zdefiniowana wzorem p q (( p) (( q)). Wyraź: a) alternatywę, implikację oraz równoważność za pomocą negacji oraz koniunkcji; b) koniunkcję, implikację oraz równoważność za pomocą negacji oraz alternatywy; c) negację, koniunkcję, alternatywę oraz implikację za pomocą spójnika Pierce a. d) negację, koniunkcję, alternatywę oraz implikację za pomocą kreski Sheffera. 8. Przyjmijmy oznaczenia: N p negacja p, Cpq implikacja, Apq alternatywa, Kpq koniunkcja, Epq równoważność. System ten (tzw. notacja polska) pozwala zapisywać formuły rachunku zdań bez użycia nawiasów. a) Zapisz w zwykłej notacji KCpNqp. b) Zapisz w notacji polskiej zasady sprzeczności i wyłączonego środka oraz prawa de Morgana.
2 9. Zbadaj, czy poniższe schematy wnioskowania są poprawne: ( p) q, p (p q) r, q p (q r), r a) ; b) ; c) ; q p r p q p q, ( p) q (p q) r, q p q,p ( q) d) ; e) : f). q p r p 10. Zbadaj poprawność każdego z poniższych wnioskowań. Jeżeli jest poprawne, daj pełne wyprowadzenie ze wskazaniem stosowanych reguł wnioskowania. Jeżeli jest niepoprawne, wyjaśnij dlaczego. a) Jeśli płyta jest głośna lub monotonna, to nie jest długa. Płyta jest monotonna. Wniosek: Płyta nie jest długa. b) Jeśli Rybin jest nudny, to trudno go znaleźć. Jeżeli Rybin nie jest mały, to nietrudno go znaleźć. Rybin jest nudny. Wniosek: Rybin jest mały. c) Nieprawda, ze Franek gra zarówno na gitarze jak i na flecie. Jeżeli Franek nie gra ani na gitarze, ani na flecie, to gra na organach i na harfie. Jeżeli gra na harfie, to gra na organach. Wniosek: Franek gra na organach. d) Jeżeli napadniesz na bank, trafisz do więzienia. Jeśli trafisz do więzienia, nie spędzisz czasu miło. Jeśli wyjedziesz na wakacje, to spędzisz czas miło. Napadasz na bank lub jedziesz na wakacje. Wniosek: Trafisz do więzienia lub spędzisz miło czas. e) Jeśli Jones nie spotkał tej nocy Smitha, to Smith jest mordercą lub Jones kłamie. Jeżeli Smith nie jest mordercą, to Jones nie spotkał tej nocy Smitha i morderstwo nastąpiło po północy. Jeżeli morderstwo miało miejsce po północy, to Smith jest mordercą lub Jones kłamie. Wniosek: Smith jest mordercą. 11. Zbadaj, czy podany zestaw informacji jest niesprzeczny: a) Jeśli wieczór nudny, to Ala płacze lub Anatol opowiada śmieszne historie. Jeżeli wieczorem zjawia się Sylwester, to wieczór jest nudny lub Ala płacze. Jeżeli Anatol opowiada śmieszne historie, to Ala nie płacze. Sylwester zjawia się wieczorem wtedy i tylko wtedy, gdy Anatol nie opowiada śmiesznych historii. Jeśli Ala płacze, to Anatol opowiada śmieszne historie. b) Jeżeli kurs papierów wartościowych rośnie lub stopa procentowa maleje, to ceny akcji spadają lub podatki nie rosną. Ceny akcji spadają wtedy i tylko wtedy, gdy idzie w górę kurs papierów wartościowych i rosną podatki. Jeżeli stopa procentowa maleje, to ceny akcji nie spadają lub kurs papierów wartościowych nie rośnie. Podatki rosną lub ceny akcji maleją i maleje stopa procentowa. 12. W czasie kampanii wyborczej panowie Alfa, Beta i Gamma złożyli oświadczenia: Alfa: Beta zawsze kłamie. Beta: Gamma zawsze kłamie. Gamma: Alfa zawsze kłamie. Uzasadnij, że przynajmniej dwa z tych oświadczeń są fałszywe. 13. W czasie kampanii wyborczej panowie Alfa, Beta, Gamma i Delta złożyli następujące oświadczenia: Alfa: Beta zawsze kłamie. Beta: Gamma przynajmniej czasem mówi prawdę. Gamma: Delta przynajmniej czasem kłamie. Delta: Alfa zawsze mówi prawdę. Wykaż, że dokładnie dwa z tych zdań są prawdziwe.
3 Lista 2 - Kwantyfikatory 1. Niech d(x,y) oznacza x jest dzieckiem y, m(x) x jest mężczyzną. Zapisz formuły: a) x jest bratem y; b) x jest dziadkiem y; c) x jest stryjkiem y; d) x oraz y są przyrodnim rodzeństwem. 2. Przyjmijmy, że w języki arytmetyki liczb naturalnych mamy stałe 0, 1, 2,... oraz symbole + i. Zapisz w tym języku: a) n jest liczbą parzystą; b) m > n; c) n jest liczbą złożoną; d) n jest liczba pierwszą; e) każda liczba parzysta większa od 2 jest sumą dwu liczb pierwszych (hipoteza Goldbacha); f) istnieje nieskończenie wiele liczb pierwszych. 3. Kwantyfikatory ograniczone określamy wzorami x A P(x) ( x(x A P(x)), x A P(x) ( x(x A P(x)). Sformułuj i udowodnij prawa de Morgana dla kwantyfikatorów ograniczonych. 4. Wykaż, że nie zachodzi wynikanie: a) x(a(x) B(x)) ( xa(x) xb(x)); b) ( xa(x) B(x)) ( x(a(x) B(x))); c) x yr(x, y) y xr(x, y); d) [ xa(x) B(x))] ( x(a(x) B(x))). 5. Wykaż, wskazując odpowiedni kontrprzykład, że reguła wnioskowania x(p(x) Q(x)), xm(x) x(p(x) M(x)) jest błędna. Uzupełnij komentarze przy przejściach poprawnych i wskaż błąd (błędy) w poniższym dowodzie poprawności tej reguły: 1. x(p(x) Q(x)) 2. xm(x) 3. P(a) Q(a) 4. P(a) 5. M(a) 6. P(a) M(a) 7. (P(x) M(x). 6. Wyprowadź poniższe reguły wnioskowania: x(p(x) Q(x)), x(p(x) M(x)) a) ; x(q(x) M(x) b) c) x((a(x) (R(x)) T(x))), x(t(x) P(x)), x(a(x) P(x)) ; xr(x) x(r(x) C(x)), x(t(x) R(x)). x( C(x) T(x)) 7. Wiadomo, że: a) jeżeli wielkie twierdzenie Fermata jest fałszywe, to krzywa Freya nie jest modularna; b) krzywa Freya jest krzywą eliptyczną; c) każda krzywa eliptyczna jest modularna. Wywnioskuj z tych przesłanek, że wielkie twierdzenie Fermata jest prawdziwe. Wskaż wykorzystywane reguły wnioskowania. Zauważ, że nie musisz rozumieć żadnego z terminów! 8. Przyjmijmy, że zakresem zmienności wszystkich zmiennych są liczby naturalne. Niech k l oznacza k dzieli l. Wykaż, że za pomocą 0, 1, + oraz można zdefiniować predykat z = xy. Wsk.: Zdefiniuj najpierw predykat y(x = y 2 ). Przydadzą się tożsamości: (x + y) 2 = x 2 + xy + xy + y 2 ; NWD(x,x + 1) = 1 oraz x 2 + x = NWW(x,x + 1), gdzie NWD oznacza największy wspólny dzielnik, NWW najmniejszą wspólną wielokrotność.
4 Lista ekstra e = 2, Typowe techniki dowodzenia Poniższe zadania pokazują charakter zadań, jakie mogą pojawić się na I minikolokwium w charakterze zadań na redagowanie dowodów. Nie są przeznaczone do rozwiazywania na ćwiczeniach. Niestety, czasem wymagana jest samodzielność! 1. Wykaż, że: a) suma dwu liczb nieparzystych jest parzysta; b) jeżeli iloczyn dwu liczb całkowitych jest parzysty, to przynajmniej jeden z czynników jest parzysty. 2. Wykaż, że: a) suma trzech kolejnych liczb naturalnych dzieli się przez 3; b) iloczyn trzech kolejnych liczb naturalnych dzieli sie przez Czy prawdą jest, że: a) iloczyn trzech kolejnych liczb naturalnych dzieli się przez 8; b) iloczyn czterech kolejnych liczb naturalnych dzieli się przez 24; c) pośród trzech kolejnych nieparzystych liczb naturalnych występuje liczba złożona; d) suma trzech liczb pierwszych jest liczbą złożoną; e) suma dwu sześcianów różnych dodatnich liczb naturalnych jest liczbą złożoną. Odpowiedź dokładnie uzasadnij, dając krótkie rozumowanie bądź kontrprzykład. 4. Podaj kontrprzykłady dla ponizszych zdań: a) kwadrat liczby niewymiernej jest liczba niewymierną; b) suma liczb niewymiernych jest liczbą niewymierną; c) iloczyn liczby niewymiernej przez liczbe wymierną jest liczba niewymierną. 5. Wiadomo, że dla liczby naturalnej n jest liczbą wymierną wtedy i tylko wtedy, gdy n jest kwadratem liczby naturalnej. Korzystając z tego faktu wykaż, że liczbami niewymiernymi są: a) 2 3; b) 1+ 5; c) 2+ 3; d) 4 2. Możesz korzystać z faktu, że suma, różnica i iloczyn liczb wymiernych jest liczba wymierną. 6. Korzystając z zasady indukcji matematycznej wykaż, że: a) n = 3n+1 1 ; 2 b) 7 n 1 dzieli się przez 6; c) dla n N zachodzi nierówność 4 n > n Wiadomo, że liczby e oraz π są niewymierne. Wywnioskuj stąd, że któraś z liczb e+π lub e π jest niewymierna. Czy wiadomo która?
5 Lista 3 - Rachunek zbiorów 1. Czy dla dowolnych zbiorów A,B i C prawdziwe są następujące równości: a) A (B C) = (A B) C; b) (A B) B = (A B) B; c) A (B C) = (A B) C; d)a (B C) = (A B) (A C); e) A (B C) = (A B) (A C); f) (A\B)\C = A\(B \C); g) (A\B) C = (A C)\(B C); h) (A\B) C = (A C)\(B C); i) (A B) C = (A C) (B C); j) (A B) C = (A C) (B C); k) (A B) C = (A C) (B C); l) (A B) C = (A C) (B C)? Uzasadniając odpowiedź pozytywną wskazuj, przy których przejściach korzystasz z definicji, a przy których z praw rachunku zdań (jakich?). 2. Czy dla dowolnych zbiorów A,B,C i D prawdziwe są następujące zdania: a) (A B) (B C) A C; b) (A B) (A\C B \C); c) (A C) (B C) A B C; d) (A B) (A C) A B C; e) (A B) (C D) A C B D; f) (A B) (C D) A C B D? 3. Wykaż, że A B = B A wtedy i tylko wtedy, gdy A = B lub A = lub B =. 4. Znajdź sumę n=0 oraz iloczyn n=0 dla poniższych rodzin zbiorów: a) A n = [n, ); b) B n = (0,1/n); c) C n = [0,1 1/n]; d) A n = ( n,1/n). 5. Znajdź sumę t T oraz iloczyn t T dla poniższych rodzin zbiorów: a) A t = (,t], T = R + ; b) B t = R\{t}, T = Q; c) C t = [t,1] [0,t], T = (0,1). 6. Które z ponizszych ciągów są elementami n=0 A n, gdzie A n = (n, ): a) a n = 1; b) b n = n+1; c) c n = 2n; d) d n = n 2 +1; e) e n = n+1+sinn? 7. Które z ponizszych funkcji są elementami t R A t, gdzie A t = [0, 1+ t ]: a) a(t) = 1; b) b(t) = t ; c) c(t) = sint; d) d(t) = t 2 ; e) e(t) = t 1?
6 Lista 4 - Funkcje 1. Dla funkcji f : R R znajdź f(a), f 1 (f(a)), f 1 (C), f(f 1 (C)): a) f(x) = e x, A = (0, ), C = [0,1]; b) f(x) = sinx, A = [0,π/2], C = {1}; c) f(x) = lnx, A = (0,1], C = [0,1]; d) f(x) = x +1, A = [ 1,2], C = R. 2. Niech f : R 2 R 2 będzie funkcją zadaną wzorem f((x,y)) = (x+y,x y). a) Czy odwzorowanie f jest injekcją? b) Czy f jest surjekcją? c) Znajdźf(R {0}), f(l) orazf 1 (L), gdzieljest prostą zadaną równaniemy = x Dla funkcji f(x) = x 2 oraz A = [ 2,0], B = [0,2] wyznacz: a) f(a B), f(a) f(b); b) f(a B), f(a) f(b); c) f(a\b), f(a)\f(b). 4. Niech f : X Y, A,B X, C Y. Wykaż, że a) f(a B) f(a) f(b); b) f(a)\f(b) f(a\b); c) A f 1 (f(a)); d) f(f 1 (C)) = C. 5. Wykaż, że jeżeli f jest różnowartościowa, to każdą z inkluzji w poprzednim zadaniu można zastąpić równoscią. 6. Niech f : X Y, g : Y X. Wykaż, że: a) jeżeli g f = id X, to f jest injekcją; b) jeżeli f g = id Y, to f jest surjekcją. 7. Inwolucją nazywamy taką funkcję f : X X, że f f jest identycznością. Wykaż, że każda inwolucja jest bijekcją. Podaj przykłady nieidentycznościowych inwolucji w algebrze i geometrii. 8. Inwersją względem okręgu x 2 +y 2 = 1 o środku O = (0,0) nazywamy przekształcenie, które punktowi P O przyporządkowuje punkt P leżący na półprostej OP, taki że OP OP = 1. a) Uzasadnij, że inwersja jest inwolucją na R 2 \{O}. b)* Znajdź obraz i przeciwobraz prostej x = 1/2 przez inwersję.
Lista 0 - Okolice rachunku zdań
Lista 0 - Okolice rachunku zdań 1. W używanym obecnie kalendarzu gregoriańskim rok jest przestępny, gdy dzieli się przez 4, lecz nie dzieli się przez 100, chyba, że dzieli się przez 400. Niech p oznacza
Bardziej szczegółowoLista 1 - Rachunek zdań i reguły wnioskowania
Lista 1 - Rachunek zdań i reguły wnioskowania 1. Każda karta z jednej strony jest czerwona albo niebieska, z drugiej zaś ma narysowane kółko albo trójkąt. Na stole widzimy cztery takie karty, widoczna
Bardziej szczegółowoLista 1 - Rachunek zdań i reguły wnioskowania
Lista 1 - Rachunek zdań i reguły wnioskowania 1. W używanym obecnie kalendarzu gregoriańskim rok jest przestępny, gdy dzieli się przez 4, lecz nie dzieli się przez 100, chyba, że dzieli się przez 400.
Bardziej szczegółowo(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];
Logika 1. Czy następujące sformułowania są zdaniami: (a) Wszystkie koty w Polsce są czarne. (b) Jak to udowodnić? (c) x + y = 7. (d) Jeśli x 2 = y 2, to x = y. (e) Jeśli x = y, to x 2 = y 2. (f) 2 n +
Bardziej szczegółowoWstęp do matematyki listy zadań
Projekt pn. Wzmocnienie potencjału dydaktycznego UMK w Toruniu w dziedzinach matematyczno-przyrodniczych realizowany w ramach Poddziałania 4.1.1 Programu Operacyjnego Kapitał Ludzki Wstęp do matematyki
Bardziej szczegółowoElementy logiki matematycznej
Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w
Bardziej szczegółowoIndukcja matematyczna
Indukcja matematyczna Zadanie. Zapisać, używając symboli i, następujące wyrażenia (a) n!; (b) sin() + sin() sin() +... + sin() sin()... sin(n); (c) ( + )( + /)( + / + /)... ( + / + / +... + /R). Zadanie.
Bardziej szczegółowoPytania i polecenia podstawowe
Pytania i polecenia podstawowe Liczby zespolone a) 2 i 1 + 2i 1 + 2i 3 + 4i, c) 1 i 2 + i a) 4 + 3i (2 i) 2, c) 1 3i a) i 111 (1 + i) 100, c) ( 3 i) 100 Czy dla dowolnych liczb z 1, z 2 C zachodzi równość:
Bardziej szczegółowoElementy logiki. Zdania proste i złożone
Elementy logiki Zdania proste i złożone. Jaka jest wartość logiczna następujących zdań: (a) jest dzielnikiem 7 lub suma kątów wewnętrznych w trójkącie jest równa 80. (b) Jeśli sin 0 =, to 5 < 5. (c) Równanie
Bardziej szczegółowoBukiety matematyczne dla gimnazjum
Bukiety matematyczne dla gimnazjum http://www.mat.uni.torun.pl/~kolka/ 1 X 2002 Bukiet I Dany jest prostokąt o bokach wymiernych a, b, którego obwód O i pole P są całkowite. 1. Sprawdź, że zachodzi równość
Bardziej szczegółowoElementy logiki i teorii mnogości
Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy
Bardziej szczegółowoW pewnym mieście jeden z jej mieszkańców goli wszystkich tych i tylko tych jej mieszkańców, którzy nie golą się
1 Logika Zdanie w sensie logicznym, to zdanie oznajmujące, o którym da się jednoznacznie powiedzieć, czy jest fałszywe, czy prawdziwe. Zmienna zdaniowa- to symbol, którym zastępujemy dowolne zdanie. Zdania
Bardziej szczegółowo0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
Bardziej szczegółowo1 Rachunek zdań, podstawowe funktory logiczne
1 Rachunek zdań, podstawowe funktory logiczne 1.1 Pokaż, że dla dowolnych zmiennych zdaniowych p, q, r poniższe formuły są tautologiami a p p p b q q q c p p p p d p q r p q p r e p q r p q p r f p q p
Bardziej szczegółowoJęzyk rachunku predykatów Formuły rachunku predykatów Formuły spełnialne i prawdziwe Dowody założeniowe. 1 Zmienne x, y, z...
Język rachunku predykatów 1 Zmienne x, y, z... 2 Predykaty n-argumentowe P(x, y,...), Q(x, y...),... 3 Funktory zdaniowe,,,, 4 Kwantyfikatory: istnieje, dla każdego Język rachunku predykatów Ustalenie
Bardziej szczegółowoLista 1 (elementy logiki)
Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły
Bardziej szczegółowoLOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
Bardziej szczegółowo1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.
Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze
Bardziej szczegółowoFunkcje. Oznaczenia i pojęcia wstępne. Elementy Logiki i Teorii Mnogości 2015/2016
Funkcje Elementy Logiki i Teorii Mnogości 2015/2016 Oznaczenia i pojęcia wstępne Niech f X Y będzie relacją. Relację f nazywamy funkcją, o ile dla dowolnego x X istnieje y Y taki, że (x, y) f oraz dla
Bardziej szczegółowo1 Rachunek zdań, podstawowe funk tory logiczne
1 Rachunek zdań, podstawowe funk tory logiczne 1.1 Zapisz symbolicznie następujące stwierdzenia i Jeśli z tego, że Paweł gra w palanta wynika to, że Robert jeździ na rowerze, to z tego, że Robert nie gra
Bardziej szczegółowoRoger Bacon Def. Def. Def. Funktory zdaniotwórcze
Kto lekceważy osiągnięcia matematyki przynosi szkodę całej nauce, ponieważ ten, kto nie zna matematyki, nie może poznad innych nauk ścisłych i nie może poznad świata." Roger Bacon Def. Zdaniem logicznym
Bardziej szczegółowoZestaw 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących
Zestaw 1 Zadanie 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących zdań: a) p (q r). b) Jeśli x + y = 1, to x 2 + y 2 1. c) Jeśli 2 + 2 = 4, to 3 + 3 = 8. Zadanie 2.
Bardziej szczegółowoSprawy organizacyjne. dr Barbara Przebieracz Bankowa 14, p.568
Sprawy organizacyjne Jak można się ze mna skontaktować dr Barbara Przebieracz Bankowa 14, p.568 barbara.przebieracz@us.edu.pl www.math.us.edu.pl/bp 10 wykładów, Zaliczenie wykładu: ocena z wykładu jest
Bardziej szczegółowoIMIĘ NAZWISKO... grupa C... sala Egzamin ELiTM I
IMIĘ NAZWISKO............................ grupa C... sala 10... Egzamin ELiTM I 02.02.15 1. 2. 3. 4.. 1. (8 pkt.) Niech X a,b = {(x, y) R 2 : (x b) 2 + (y 1 b )2 a 2 } dla a, b R, a > 0, b 0. Wyznaczyć:
Bardziej szczegółowo1 Podstawowe oznaczenia
Poniżej mogą Państwo znaleźć skondensowane wiadomości z wykładu. Należy je traktować jako przegląd pojęć, które pojawiły się na wykładzie. Materiały te nie są w pełni tożsame z tym co pojawia się na wykładzie.
Bardziej szczegółowoLogika i teoria mnogości Ćwiczenia
Logika i teoria mnogości Ćwiczenia Spis treści 1 Zdania logiczne i tautologie 1 2 Algebra zbiorów 3 3 Różnica symetryczna 4 4 Iloczyn kartezjański. Kwantyfikatory. 5 5 Kwantyfikatory. 6 6 Relacje 7 7 Relacje
Bardziej szczegółowoIndukcja matematyczna. Zasada minimum. Zastosowania.
Indukcja matematyczna. Zasada minimum. Zastosowania. Arkadiusz Męcel Uwagi początkowe W trakcie zajęć przyjęte zostaną następujące oznaczenia: 1. Zbiory liczb: R - zbiór liczb rzeczywistych; Q - zbiór
Bardziej szczegółowo1 Logika (3h) 1.1 Funkcje logiczne. 1.2 Kwantyfikatory. 1. Udowodnij prawa logiczne: 5. (p q) (p q) 6. ((p q) r) (p (q r)) 3.
Logika (3h). Udowodnij prawa logiczne:. (p q) ( p q). (p q) ( p q) 3. (p q) ( q p) 4. (p q) ( p q) 5. (p q) (p q) 6. ((p q) r) (p (q r)) 7. (p q) r (p r) (q r) 8. (p q) (q r) (p r). Sprawdź, czy wyrażenia:.
Bardziej szczegółowoPrzykł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),
Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości
Bardziej szczegółowoLOGIKA MATEMATYCZNA. Poziom podstawowy. Zadanie 2 (4 pkt.) Jeśli liczbę 3 wstawisz w miejsce x, to które zdanie będzie prawdziwe:
LOGIKA MATEMATYCZNA Poziom podstawowy Zadanie ( pkt.) Która koniunkcja jest prawdziwa: a) Liczba 6 jest niewymierna i 6 jest liczbą dodatnią. b) Liczba 0 jest wymierna i 0 jest najmniejszą liczbą całkowitą.
Bardziej szczegółowoEgzamin z logiki i teorii mnogości, rozwiązania zadań
Egzamin z logiki i teorii mnogości, 08.02.2016 - rozwiązania zadań 1. Niech φ oraz ψ będą formami zdaniowymi. Czy formuła [( x : φ(x)) ( x : ψ(x))] [ x : (φ(x) ψ(x))] jest prawem rachunku kwantyfikatorów?
Bardziej szczegółowoRoger Bacon Def. Def. Def Funktory zdaniotwórcze
Kto lekceważy osiągnięcia matematyki przynosi szkodę całej nauce, ponieważ ten, kto nie zna matematyki, nie może poznad innych nauk ścisłych i nie może poznad świata." Roger Bacon Def. Zdaniem logicznym
Bardziej szczegółowoZadania z analizy matematycznej - sem. I Liczby i funkcje
Zadania z analizy matematycznej - sem. I Liczby i funkcje Definicja 1. Mówimy że: liczba m Z jest dzielnikiem liczby n Z gdy istnieje l Z takie że n = l m. Zapisujemy to symbolem m n; liczba m Z jest wspólnym
Bardziej szczegółowoMatematyka dyskretna. Andrzej Łachwa, UJ, 2019 Zadania 1-100
Matematyka dyskretna Andrzej Łachwa, UJ, 2019 andrzej.lachwa@uj.edu.pl Zadania 1-100 Udowodnij, że A (B C) = (A B) (A C) za pomocą diagramów Venna. Udowodnij formalnie, że (A B i A C) A B C oraz że (A
Bardziej szczegółowoZiemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:
1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość
Bardziej szczegółowoJarosław Wróblewski Matematyka Elementarna, zima 2012/13
Poniedziałek 12 listopada 2012 - zaczynamy od omówienia zadań z kolokwium nr 1. Wtorek 13 listopada 2012 - odbywają się zajęcia czwartkowe. 79. Uprościć wyrażenia a) 4 2+log 27 b) log 3 2 log 59 c) log
Bardziej szczegółowoZadania z analizy matematycznej - sem. I Liczby i funkcje
Zadania z analizy matematycznej - sem. I Liczby i funkcje Definicja 1. Mówimy że: liczba m Z jest dzielnikiem liczby n Z gdy istnieje l Z takie że n = l m. Zapisujemy to symbolem m n; liczba m Z jest wspólnym
Bardziej szczegółowoLogika matematyczna i teoria mnogości (I) J. de Lucas
Logika matematyczna i teoria mnogości (I) J. de Lucas Ćwiczenie 1. (Zad. L. Newelskiego) Niech p oznacza zdanie Ala je, zaś q zdanie As wyje. Zapisz jako formu ly rachunku zdań nastȩpuj ace zdania: 1.1.
Bardziej szczegółowoXII Olimpiada Matematyczna Juniorów Zawody stopnia pierwszego część korespondencyjna (1 września 2016 r. 17 października 2016 r.)
XII Olimpiada Matematyczna Juniorów Zawody stopnia pierwszego część korespondencyjna ( września 06 r. 7 października 06 r.) Szkice rozwiązań zadań konkursowych. Liczby wymierne a, b, c spełniają równanie
Bardziej szczegółowoJarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13
35. O zdaniu 1 T (n) udowodniono, że prawdziwe jest T (1), oraz że dla dowolnego n 6 zachodzi implikacja T (n) T (n+2). Czy można stąd wnioskować, że a) prawdziwe jest T (10), b) prawdziwe jest T (11),
Bardziej szczegółowoELiTM 0 Indukcja Dany jest ciąg a 0 R, a n = a n 1. Zasada minimum Każdy niepusty podzbiór liczb naturalnych zawiera liczbę najmniejszą.
ELiTM 0 Indukcja Zasada minimum Każdy niepusty podzbiór liczb naturalnych zawiera liczbę najmniejszą. Zasada indukcji Jeżeli (1) istnieje n 0 N takie że T (n 0 ) jest prawdziwe; (2) z faktu, że T (n) jest
Bardziej szczegółowoZestaw zadań dotyczących liczb całkowitych
V Zestaw zadań dotyczących liczb całkowitych Opracowanie Monika Fabijańczyk ROZDZIAŁ 1 Cechy podzielności Poniższe zadania zostały wybrane z różnych zbiorów zadań, opracowań, konkursów matematycznych.
Bardziej szczegółowoWykład 2. Informatyka Stosowana. 8 października 2018, M. A-B. Informatyka Stosowana Wykład 2 8 października 2018, M. A-B 1 / 41
Wykład 2 Informatyka Stosowana 8 października 2018, M. A-B Informatyka Stosowana Wykład 2 8 października 2018, M. A-B 1 / 41 Elementy logiki matematycznej Informatyka Stosowana Wykład 2 8 października
Bardziej szczegółowoLogika binarna. Prawo łączności mówimy, że operator binarny * na zbiorze S jest łączny gdy (x * y) * z = x * (y * z) dla każdego x, y, z S.
Logika binarna Logika binarna zajmuje się zmiennymi mogącymi przyjmować dwie wartości dyskretne oraz operacjami mającymi znaczenie logiczne. Dwie wartości jakie mogą te zmienne przyjmować noszą przy tym
Bardziej szczegółowoJarosław Wróblewski Matematyka Elementarna, lato 2012/13. Czwartek 28 marca zaczynamy od omówienia zadań z kolokwium nr 1.
Czwartek 28 marca 2013 - zaczynamy od omówienia zadań z kolokwium nr 1. 122. Uprościć wyrażenia a) 4 2+log 27 b) log 3 2 log 59 c) log 6 2+log 36 9 123. Dla ilu trójek liczb rzeczywistych dodatnich a,
Bardziej szczegółowoI. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.
I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. 1. Elementy logiki matematycznej. 1.1. Rachunek zdań. Definicja 1.1. Zdaniem logicznym nazywamy zdanie gramatyczne
Bardziej szczegółowoIII. Funkcje rzeczywiste
. Pojęcia podstawowe Załóżmy, że dane są dwa niepuste zbiory X i Y. Definicja. Jeżeli każdemu elementowi x X przyporządkujemy dokładnie jeden element y Y, to mówimy, że na zbiorze X została określona funkcja
Bardziej szczegółowoFUNKCJE. 1. Podstawowe definicje
FUNKCJE. Podstawowe definicje DEFINICJA. Funkcja f odwzorowującą zbiór X w zbiór Y (inaczej f : X Y ) nazywamy takie przyporządkowanie, które każdemu elementowi x X przyporządkowuje dokładnie jeden element
Bardziej szczegółowoFunkcja kwadratowa. f(x) = ax 2 + bx + c = a
Funkcja kwadratowa. Funkcją kwadratową nazywamy funkcję f : R R określoną wzorem gdzie a, b, c R, a 0. f(x) = ax + bx + c, Szczególnym przypadkiem funkcji kwadratowej jest funkcja f(x) = ax, a R \ {0}.
Bardziej szczegółowo6. Liczby wymierne i niewymierne. Niewymierność pierwiastków i logarytmów (c.d.).
6. Liczby wymierne i niewymierne. Niewymierność pierwiastków i logarytmów (c.d.). 0 grudnia 008 r. 88. Obliczyć podając wynik w postaci ułamka zwykłego a) 0,(4)+ 3 3,374(9) b) (0,(9)+1,(09)) 1,() c) (0,(037))
Bardziej szczegółowoLekcja 3: Elementy logiki - Rachunek zdań
Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie
Bardziej szczegółowoBukiety matematyczne dla gimnazjum
Bukiety matematyczne dla gimnazjum http://www.mat.uni.torun.pl/~kolka/ 5 IX rok 2003/2004 Bukiet 1 1. W trójkącie ABC prosta równoległa do boku AB przecina boki AC i BC odpowiednio w punktach D i E. Zauważ,
Bardziej szczegółowoZbiory, funkcje i ich własności. XX LO (wrzesień 2016) Matematyka elementarna Temat #1 1 / 16
Zbiory, funkcje i ich własności XX LO (wrzesień 2016) Matematyka elementarna Temat #1 1 / 16 Zbiory Zbiory ograniczone, kresy Zbiory ograniczone, min, max, sup, inf Zbiory ograniczone 1 Zbiór X R jest
Bardziej szczegółowo1. Powtórka ze szkoły. Wykład: 4.10.2004 (4 godziny), ćwiczenia: 7.10.2004, kolokwium nr 1: 11.10.2004
ANALIZA MATEMATYCZNA A dla I roku, 2004/2005 1. Powtórka ze szkoły. Wykład: 4.10.2004 (4 godziny), ćwiczenia: 7.10.2004, kolokwium nr 1: 11.10.2004 Obliczyć sumy (postępów arytmetycznych i goemetrycznych):
Bardziej szczegółowoWstęp do Logiki i Struktur Formalnych Lista zadań
Wstęp do Logiki i Struktur Formalnych Lista zadań Jacek Cichoń Politechnika Wrocławska, WPPT Wrocław 2018 G1: Rachunek Zdań Które z następujących zdania są tautologiami: 1. (p (q r)) ((p q) (p r) 2. ((p
Bardziej szczegółowoJest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.
Logika Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Często słowu "logika" nadaje się szersze znaczenie niż temu o czym będzie poniżej: np. mówi się "logiczne myślenie"
Bardziej szczegółowoPrzykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Zapoznaj z poniŝszym tekstem reprezentującym wiedzę logiczną o wartościach logicznych będących interpretacjami formuł złoŝonych
Bardziej szczegółowo3. Operacje na zbiorach (1) Sprowadź poniższe zdania dotyczące zbiorów do postaci zdań logicznych i sprawdź ich prawdziwość.
1. Zapis matematyczny i elementy logiki matematycznej (1) Zapisz, używając symboliki matematycznej zdania: (a) Liczby x i y mają wspólny dzielnik większy od 2. (b) Jeśli x i y różnią się o 1, to nie mają
Bardziej szczegółowoLista 0 wstęp do matematyki
dr Karol Selwat Matematyka dla studentów kierunku Ochrona Środowiska, 2-2 Lista wstęp do matematyki.. Sprawdź, czy następujące zdania logiczne są tautologiami: p q) p q) p q) p q) p q) q p) d)[p q) p]
Bardziej szczegółowoDefinicja i własności wartości bezwzględnej.
Równania i nierówności z wartością bezwzględną. Rozwiązywanie układów dwóch (trzech) równań z dwiema (trzema) niewiadomymi. Układy równań liniowych z parametrem, analiza rozwiązań. Definicja i własności
Bardziej szczegółowoPlan wynikowy z wymaganiami edukacyjnymi z przedmiotu matematyka w zakresie rozszerzonym dla klasy I liceum ogólnokształcącego
Plan wynikowy z wymaganiami edukacyjnymi z przedmiotu matematyka w zakresie rozszerzonym dla klasy I liceum ogólnokształcącego Temat (rozumiany jako lekcja) Lekcja organizacyjna I. Działania na liczbach
Bardziej szczegółowoDalszy ciąg rachunku zdań
Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f
Bardziej szczegółowoWykład I. Literatura. Oznaczenia. ot(x 0 ) zbiór wszystkich otoczeń punktu x 0
Wykład I Literatura Podręczniki 1. G. M. Fitherholz Rachunek różniczkowy i całkowy 2. W. Żakowski Matematyka tom I Zbiory zadań 1. W. Krysicki, L. Włodarski Analiza matematyczna w zadaniach tom I i II
Bardziej szczegółowoElementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń
Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest
Bardziej szczegółowoWIELOMIANY. ZADANIE 1 (5 PKT) Reszta z dzielenia wielomianu x 3 + px 2 x + q przez trójmian (x + 2) 2 wynosi 1 x. Wyznacz pierwiastki tego wielomianu.
IMIE I NAZWISKO WIELOMIANY SUMA PUNKTÓW: 125 ZADANIE 1 (5 PKT) Reszta z dzielenia wielomianu x 3 + px 2 x + q przez trójmian (x + 2) 2 wynosi 1 x. Wyznacz pierwiastki tego wielomianu. ZADANIE 2 (5 PKT)
Bardziej szczegółowoMaria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI
Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI Matematyka dla liceum ogólnokształcącego i technikum w zakresie podstawowym i rozszerzonym Z E S Z Y T M E T O D Y C Z N Y Miejski
Bardziej szczegółowo1 Rachunek zdań. w(p) = 0 lub p 0 lub [p] = 0. a jeśli jest fałszywe to:
1 Rachunek zdań Formuły zdaniowe (lub krócej: zdania) w klasycznym rachunku zdań składają się ze zmiennych zdaniowych nazywanych też zdaniami składowymi (oznaczane są zazwyczaj p, q, r,...) oraz operatorów
Bardziej szczegółowoLogika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Bardziej szczegółowo1 Logika Zbiory Pewnik wyboru Funkcje Moce zbiorów Relacje... 14
Wstęp do matematyki Matematyka, I rok. Tomasz Połacik Spis treści 1 Logika................................. 1 2 Zbiory................................. 7 3 Pewnik wyboru............................ 10
Bardziej szczegółowoPodzielność, cechy podzielności, liczby pierwsze, największy wspólny dzielnik, najmniejsza wspólna wielokrotność.
Podzielność, cechy podzielności, liczby pierwsze, największy wspólny dzielnik, najmniejsza wspólna wielokrotność. W dniu 25 lutego 2014 r. omawiamy test kwalifikacyjny. Uwaga: Przyjmujemy, że 0 nie jest
Bardziej szczegółowoLogika i teoria mnogości Ćwiczenia
Logika i teoria mnogości Ćwiczenia Spis treści 1 Zdania logiczne i tautologie 1 2 Zdania logiczne i tautologie c.d. 2 3 Algebra zbiorów 3 4 Różnica symetryczna 4 5 Iloczyn kartezjański 5 6 Kwantyfikatory.
Bardziej szczegółowoJarosław Wróblewski Matematyka Elementarna, zima 2013/14. Czwartek 21 listopada zaczynamy od omówienia zadań z kolokwium nr 2.
Czwartek 21 listopada 2013 - zaczynamy od omówienia zadań z kolokwium nr 2. Uprościć wyrażenia 129. 4 2+log 27 130. log 3 2 log 59 131. log 6 2+log 36 9 log 132. m (mn) log n (mn) dla liczb naturalnych
Bardziej szczegółowoZbiory. Specjalnym zbiorem jest zbiór pusty nie zawierajacy żadnych elementów. Oznaczamy go symbolem.
Zbiory Pojęcie zbioru jest w matematyce pojęciem pierwotnym, którego nie definiujemy. Gdy a jest elementem należacym do zbioru A to piszemy a A. Stosujemy również oznaczenie a / A jeżeli (a A). Będziemy
Bardziej szczegółowoPodstawy logiki i teorii zbiorów Ćwiczenia
Podstawy logiki i teorii zbiorów Ćwiczenia Spis treści 1 Zdania logiczne i tautologie 1 2 Zdania logiczne i tautologie c.d. 2 3 Algebra zbiorów 3 4 Różnica symetryczna 4 5 Iloczyn kartezjański 5 6 Kwantyfikatory.
Bardziej szczegółowoMaciej Grzesiak Instytut Matematyki Politechniki Poznańskiej. Elementy logiki
Maciej Grzesiak Instytut Matematyki Politechniki Poznańskiej Elementy logiki 1. Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa.
Bardziej szczegółowoNp. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
Bardziej szczegółowoSkładnia rachunku predykatów pierwszego rzędu
Początek Gramatyka Kwantyfikatory Poprawność Logika obliczeniowa Instytut Informatyki Początek Gramatyka Kwantyfikatory Poprawność Plan wykładu 1 Na (dobry) początek Zrozumieć słowa Oswoić znaki 2 Gramatyka
Bardziej szczegółowoPodstawy logiki i teorii zbiorów Ćwiczenia
Podstawy logiki i teorii zbiorów Ćwiczenia Spis treści 1 Zdania logiczne i tautologie 1 2 Zdania logiczne i tautologie c.d. 2 3 Algebra zbiorów 3 4 Różnica symetryczna 4 5 Kwantyfikatory. 5 6 Relacje 7
Bardziej szczegółowo1. Liczby naturalne, podzielność, silnie, reszty z dzielenia
1. Liczby naturalne, podzielność, silnie, reszty z dzielenia kwadratów i sześcianów przez małe liczby, cechy podzielności przez 2, 4, 8, 5, 25, 125, 3, 9. 26 września 2009 r. Uwaga: Przyjmujemy, że 0 nie
Bardziej szczegółowoJednoznaczność rozkładu na czynniki pierwsze I
Jednoznaczność rozkładu na czynniki pierwsze I 1. W Biwerlandii w obiegu są monety o nominałach 5 eciepecie i 8 eciepecie. Jaką najmniejszą (dodatnią) kwotę można zapłacić za zakupy, jeżeli sprzedawca
Bardziej szczegółowoFunkcje rzeczywiste jednej. Matematyka Studium doktoranckie KAE SGH Semestr letni 2008/2009 R. Łochowski
Funkcje rzeczywiste jednej zmiennej rzeczywistej Matematyka Studium doktoranckie KAE SGH Semestr letni 2008/2009 R. Łochowski Definicje Funkcją (odwzorowaniem) f, odwzorowującą zbiór D w zbiór P nazywamy
Bardziej szczegółowoInternetowe Kółko Matematyczne 2003/2004
Internetowe Kółko Matematyczne 003/004 http://www.mat.uni.torun.pl/~kolka/ Zadania dla szkoły średniej Zestaw I (5 IX) Zadanie 1. Które liczby całkowite można przedstawić w postaci różnicy kwadratów dwóch
Bardziej szczegółowoLogika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.
5 marca 2009 Spis treści 1 2 3 4 5 6 Logika (z gr. logos - rozum) zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika matematyczna,
Bardziej szczegółowoFunkcje - monotoniczność, różnowartościowość, funkcje parzyste, nieparzyste, okresowe. Funkcja liniowa.
Funkcje - monotoniczność, różnowartościowość, funkcje parzyste, nieparzyste, okresowe. Funkcja liniowa. Monotoniczność i różnowartościowość. Definicja 1 Niech f : X R, X R. Funkcję f nazywamy rosnącą w
Bardziej szczegółowoFunkcja kwadratowa. f(x) = ax 2 + bx + c,
Funkcja kwadratowa. Funkcją kwadratową nazywamy funkcję f : R R określoną wzorem gdzie a, b, c R, a 0. f(x) = ax 2 + bx + c, Szczególnym przypadkiem funkcji kwadratowej jest funkcja f(x) = ax 2, a R \
Bardziej szczegółowoPodstawowe Pojęcia. Semantyczne KRZ
Logika Matematyczna: Podstawowe Pojęcia Semantyczne KRZ I rok Językoznawstwa i Informacji Naukowej UAM 2006-2007 Jerzy Pogonowski Zakład Logiki Stosowanej UAM http://www.logic.amu.edu.pl Dodatek: ściąga
Bardziej szczegółowoJarosław Wróblewski Matematyka Elementarna, zima 2011/12
168. Uporządkować podane liczby w kolejności niemalejącej. sin50, cos80, sin170, cos200, sin250, cos280. 169. Naszkicować wykres funkcji f zdefiniowanej wzorem a) f(x) = sin2x b) f(x) = cos3x c) f(x) =
Bardziej szczegółowoInternetowe Ko³o M a t e m a t yc z n e
Internetowe Ko³o M a t e m a t yc z n e Stowarzyszenie na rzecz Edukacji Matematycznej Zestaw 2 szkice rozwiązań zadań 1. Dana jest taka liczba rzeczywista, której rozwinięcie dziesiętne jest nieskończone
Bardziej szczegółowoLiczby pierwsze. Kacper Żurek, uczeń w Gimnazjum nr 1 im. Jana Pawła II w Giżycku.
Liczby pierwsze Kacper Żurek, uczeń w Gimnazjum nr 1 im. Jana Pawła II w Giżycku. Liczbą pierwszą nazywany każdą taką liczbę naturalną, która posiada dokładnie dwa dzielniki naturalne, czyli jest podzielna
Bardziej szczegółowo0. ELEMENTY LOGIKI. ALGEBRA BOOLE A
WYKŁAD 5() ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań Matematyka zbudowana jest z pierwotnych twierdzeń (nazywamy
Bardziej szczegółowoTreści zadań Obozu Naukowego OMG
STOWARZYSZENIE NA RZECZ EDUKACJI MATEMATYCZNEJ KOMITET GŁÓWNY OLIMPIADY MATEMATYCZNEJ GIMNAZJALISTÓW Treści zadań Obozu Naukowego OMG Poziom OM 2015 rok SZCZYRK 2015 Pierwsze zawody indywidualne Treści
Bardziej szczegółowoWIELOMIANY SUPER TRUDNE
IMIE I NAZWISKO WIELOMIANY SUPER TRUDNE 27 LUTEGO 2011 CZAS PRACY: 210 MIN. SUMA PUNKTÓW: 200 ZADANIE 1 (5 PKT) Dany jest wielomian W(x) = x 3 + 4x + p, gdzie p > 0 jest liczba pierwsza. Znajdź p wiedzac,
Bardziej szczegółowoALGEBRA Z GEOMETRIĄ ANALITYCZNĄ
ALGEBRA Z GEOMETRIĄ ANALITYCZNĄ Maciej Burnecki opracowanie strona główna Spis treści I Zadania Wyrażenia algebraiczne indukcja matematyczna Geometria analityczna na płaszczyźnie Liczby zespolone 4 Wielomiany
Bardziej szczegółowoXXV Rozkosze Łamania Głowy konkurs matematyczny dla klas I i III szkół ponadgimnazjalnych. zestaw A klasa I
XXV Rozkosze Łamania Głowy konkurs matematyczny dla klas I i III szkół ponadgimnazjalnych zestaw A klasa I 1. Zbiór wszystkich środków okręgów (leżących na jednej płaszczyźnie) przechodzących przez: a)
Bardziej szczegółowoZadania do samodzielnego rozwiązania
Zadania do samodzielnego rozwiązania I. Podzielność liczb całkowitych 1. Pewna liczba sześciocyfrowa a kończy się cyfrą 5. Jeśli tę cyfrę przestawimy na miejsce pierwsze ze strony lewej, to otrzymamy nową
Bardziej szczegółowoIX Olimpiada Matematyczna Gimnazjalistów
IX Olimpiada Matematyczna Gimnazjalistów Zawody stopnia pierwszego część testowa www.omg.edu.pl (3 października 2013 r.) Rozwiązania zadań testowych 1. Liczba 3 9 3 27 jest a) niewymierna; b) równa 3 27;
Bardziej szczegółowoĆwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki
0 1 Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 2. W następujących dwóch prawach wyróżnić wyrażenia specyficznie matematyczne i wyrażenia z zakresu logiki (do
Bardziej szczegółowoWykład 1. Informatyka Stosowana. 3 października Informatyka Stosowana Wykład 1 3 października / 26
Wykład 1 Informatyka Stosowana 3 października 2016 Informatyka Stosowana Wykład 1 3 października 2016 1 / 26 Wykłady : 45h (w semestrze zimowym) ( Egzamin) 30h (w semetrze letnim ) ( Egzamin) Zajęcia praktyczne:
Bardziej szczegółowo1. Wielomiany Podstawowe definicje i twierdzenia
1. Wielomiany Podstawowe definicje i twierdzenia Definicja wielomianu. Wielomianem stopnia n zmiennej rzeczywistej x nazywamy funkcję w określoną wzorem w(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, przy
Bardziej szczegółowo1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów
1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów Logika matematyczna, dział matematyki zajmujący się badaniem własności wnioskowania (dowodzenia)
Bardziej szczegółowo