Logika i teoria mnogości Ćwiczenia
|
|
- Karolina Drozd
- 5 lat temu
- Przeglądów:
Transkrypt
1 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. 5 7 Relacje 7 8 Relacje porządku i równoważności 8 9 Funkcje 9 10 Działania uogólnione 11
2 Podstawy logiki i teorii zbiorów Ćwiczenia Zestaw 1. Zdania logiczne i tautologie Zadanie 1.1. Wyznacz wartość logiczną podanego wyrażenia, jeśli wp = 1, wq = 0 a p q e[p q = p] p q b p q f p q p q c p q q gp = q q p d p = q = p hp = q = p Zadanie 1.2. Wyznacz wartość logiczną każdego wyrażenia z poprzedniego zadania przy podstawieniu wp = 0, wq = 1. Zadanie 1.3. Wyznacz wartość logiczną wyrażenia, jeśli wp = 1, wq = 0, wr = 1 a p q r b p q r c p q r d p q r e p = q = r f p = q = r g p = q r h p = q r Zadanie 1.4. Wyznacz wartość logiczną zdania a 2 < 3 2 > 3 b 2 < 3 = 2 > 3 c 2 < 3 2 > 3 d 2 < 3 2 = 3 e 2 = 3 2 > 3 f 2 = 3 2 > 3 g 2 = 3 2 > 3 h 2 = 3 = 2 > 3 Zadanie 1.5. Czy podane wyrażenie jest tautologią? Sprawdź za pomocą tabelki. [p q p] q [p q [p r q] [p q p q] q p p [ p q] p [ p q] Zadanie 1.6. Wiedząc, że wp q = 0 określ wartość logiczną zdania q = p. Zadanie 1.7. Wiedząc, że wp q = 1 określ wartość logiczną zdania q = p. Zadanie 1.8. Wiedząc, że wq = p = 0 określ wartość logiczną zdania p q = p. Zadanie 1.9. Wiedząc, że wp q = r = 0 określ wartość logiczną wyrażenia q r p q = r. Renata Wiertelak 1
3 Logika i teoria mnogości Ćwiczenia 2015 Zestaw 2. Zdania logiczne i tautologie c.d. Zadanie 2.1. Wiedząc, że wp q = 1 określ wartość logiczną wyrażeń p q p q {[r = p q] [p q = r]} = p q r. Zadanie 2.2. Wiedząc, że wp q = 0 określ wartość logiczną wyrażeń p q p q {[p q = r] [p q = r]} = p q r. Zadanie 2.3. Wiedząc, że wp q = 1 określ wartość logiczną wyrażenia [r = p q] = [p q p q]. Zadanie 2.4. Czy podane wyrażenie jest tautologią? Sprawdź bez tabelki. [ p q] [ q p p q] [p q r] [r p r q] [p s q r] [p q r s] [p r q r] [p q r] [q p p q] [ p q] [ p q] [ q p p q] [p q r s t u] [p r t q s u] Zadanie 2.5. Określ wartość logiczną zdania i zapisz jego negację: a Słowacja jest sąsiadem Polski lub Hiszpania jest sąsiadem Polski. b Jeżeli Sieradz jest stolicą Czech, to Ewa jest matematykiem. c Pies jest ssakiem wtedy i tylko wtedy, gdy kot jest ssakiem. d Jeżeli z faktu, że nie mam psa wynika, że mam psa, to mam psa. e Jeżeli z faktu, że mam kota wynika, że mam rybki, to wtedy nie mam rybek. f Jeżeli z faktu, że mam kota wynika, że mam psa, to nie mam kota lub mam psa. Zadanie 2.6. Sformułuj negację podanych zdań. a Jeżeli Zosia ma psa, to Zosia nie ma psa lub Zosia jest alergikiem. b Jeżeli Piotr ma kota, to Piotr jest informatykiem i Piotr ma chomika. c Jeżeli Adam ma kota i Adam nie ma kota, to Adam ma rybki. d Jeżeli Ania ma kota lub Ania jest matematykiem, to wtedy Ania jest informatykiem. Renata Wiertelak 2
4 Podstawy logiki i teorii zbiorów Ćwiczenia 2015 Zestaw 3. Algebra zbiorów Zadanie 3.1. Podaj ile różnych elementów ma podany zbiór i wymień je jeśli jest to możliwe. Zakładamy, że a b c a A = {a, {a, b}, {b}, c, {{c}}} B = {a, {a}, {a, {a}}} C = {x N: x 2 25} D = {x Q: x 2 = 16} E = {x R: x < 0} F = {x R: x > 0} Zadanie 3.2. Jakie relacje zachodzą między zbiorami A i B? a A = 3, 5 B = 2, 6 b A = 0, 1 {2} B = {0, 1, 2} c A = [1, 2] B = 0, 1 {2} d A = {x R: x 2 = 16} B = {4} Zadanie 3.3. Oblicz A B, A B, A \ B, B \ A, A, B. a A = {x N: x 6} B = {x N: x > 2}; b A = [2, B = 1, 6; c A =, 2 B = [3, ; d A =, 3] B = 3, 6; e A = 0, 2 {3} B = [2, 3] {1}; f A = [2, 3] B = 3, 6; g A = [1, 2] {3} B = [2, 3] {1}; h A = [2, 3] B = [3, 6]; Zadanie 3.4. Sprwadź czy dla dowolnych zbiorów prawdziwe są następujące równości: A \ B = A B \ B A \ B = A \ A B A B = A \ B B A B = A \ A \ B A A B = B A B C \ A B = C A \ C B = A B A \ B C = A \ B \ C Renata Wiertelak 3
5 Logika i teoria mnogości Ćwiczenia 2015 Zestaw 4. Różnica symetryczna Zadanie 4.1. Oblicz: a {1, 2, 3} {3, 4, 5}; b {1, 2, 3} [1, 3]; c 2, 5 [6, 8]; d 0, 5, 8]; e 0,, 2; f [2, 0, 2]; Zadanie 4.2. Rozwiąż równanie: a {1, 2} A = {4, 5}; b A {1, 2, 3} = {3, 4}; c [1, 3] A = 1, 3; d A 2, 6] = 0, 4]; e 5, A = 0, 2]; f A [2, = 4, 6; Zadanie 4.3. Uprość wyrażenie: a A \ A B b A B \ A c A \ B B d A \ B B e A B A f A \ B \ C g A \ A B h A B \ A i A A B j A B \ A B Zadanie 4.4. Jakie relacje inkluzji zachodzą między zbiorami jeśli: a A \ A B = A b A B \ A = B \ A c A B \ C = A d A B \ C = e A B \ C = f A B \ C = A \ C B \ C g A B = A B h A B C = C Zadanie 4.5. Podaj przykład zbiorów dla których podana równość zachodzi oraz przykład zbiorów dla których podana równość nie zachodzi: a A B \ A = B b A B = A c A B \ C = d A B \ C = e A B C \ A B = C f A B \ C = A \ C B \ C g A B = A B h A B C = C Renata Wiertelak 4
6 Logika i teoria mnogości Ćwiczenia 2015 Zestaw 5. Iloczyn kartezjański Zadanie 5.1. Niech A = [1, 3], B = 2, 3, S = {1, 2, 3}, T = {4, 5}. Wypisz lub narysuj zbiory: a S T ; b S T A B; c A B S T ; d A B; e S T A B; f S T A \ B; Zestaw 6. Kwantyfikatory. Zadanie 6.1. Wyznacz wartość logiczną podanego wyrażenia i zapisz jego negację. a x R x 2 = 2x; b x R x 2 = 2x; c x R x 2 < 0; d x R x 2 > 0; e x N x 2 = 3; f x N x > 0; Zadanie 6.2. Wyznacz wartość logiczną podanego wyrażenia i zapisz jego negację. a x R x = 2 x < 0; b x R x = 2 x R x < 0; c x R x = 2 x < 0; d x R x = 2 x R x < 0; e x R x 2 > 0 x < 0; f x R x 2 > 0 x R x < 0; Zadanie 6.3. Wyznacz zmienne wolne i związane podanych funkcji zdaniowych oraz narysyj ich wykresy. Zbiory X, Y oznaczają zakres zmienności zmiennych x i y. a x 2 1 0, X = R; b x x, X = Z; c x x = y, X = Y = R; d xy 1, X = Y = R; e x xy = 1, X = Y = R; f y xy 1, X = Y = R; Zadanie 6.4. Zapisz następujące zdania za pomocą kwantyfikatorów, symboli logicznych i działań arytmetycznych. Następnie określ wartość logiczną podanego wyrażenia oraz zapisz jego negację. 1. Istnieje taka liczba rzeczywista, że jej kwadrat jest równy 2; 2. Dla wszystkich liczb rzeczywistych x mamy, że 2x = x; 3. Dla każdej liczby rzeczywistej z mamy, że z 2 + 2z + 1 = 0; 4. Dla pewnej liczby rzeczywistej z mamy, że z 2 + 2z + 1 0; 5. x jest liczbą nieparzystą; 6. Dla każdej liczby rzeczywistej x istnieje liczba rzeczywista y większa od niej; Renata Wiertelak 5
7 Logika i teoria mnogości Ćwiczenia Nie istnieje największa liczba naturalna; 8. Dla każdej liczby naturalnej x istnieje liczba naturalna y taka, że iloczyn tych liczb jest mniejszy niż Dla każdej liczby naturalnej x istnieje liczba naturalna y taka, że różnica tych liczb jest niewiększa niż 5. Zadanie 6.5. Wyznacz wartość logiczną podanego wyrażenia i zapisz jego negację. a n N nm = 10 b m N x R\{0} xy = 1 y R\{0} c y = y R x R x2 d x R xy = 0 e y R y R\{0} xy = 1 x R\{0} f y = x R y R x2 Zadanie 6.6. Podaj przykład funkcji zdaniowych ϕx, ψx oraz X dla których podane zdania są fałszywe. ϕx ψx = ϕx ψx [ ] [ϕx ψx] = ϕx ψx ϕx ψx = ϕx ψx ϕx ψx x X x X ϕx ψx x X x X = x X [ϕx ψx] = x X [ϕx ψx] Zadanie 6.7. Czy podane wyrażenie jest prawem rachunku kwantyfikatorów? ϕx ψx = ϕx ψx [ ] ϕx ψx [ϕx ψx] [ϕx ψx] ϕx ψx ϕx ψx [ϕx ψx] [ ] ϕx ψx ψx ϕx x X [ ] ψx ϕx ϕx ψx x X Renata Wiertelak 6
8 Podstawy logiki i teorii zbiorów Ćwiczenia 2015 Zestaw 7. Relacje Zadanie 7.1. Niech S = {2, 4, 6, 8} oraz T = {1, 3, 5, 7, 9}. Wypisz i narysuj wszystkie pary należące do relacji R S T. 1. x, y R x + y 10; 2. x, y R x + y = 11; 3. x, y R x + y jest nieparzyste; Zadanie 7.2. Niech S = {2, 4, 6, 8}. Wypisz i narysuj wszystkie pary należące do relacji R S S. Następnie zbadaj które własności zwrotność, przeciwzwrotność, symetria, przeciwsymetria, antysymetria, przechodniość posiada podana relacja? 1. x, y R x + y 10; 2. x, y R x + y = 10; 3. x, y R x + y jest parzyste; Zadanie 7.3. Które własności zwrotność, przeciwzwrotność, symetria, przeciwsymetria, antysymetria, przechodniość posiada podana relacja? 1. x, y S, xϱy x + y jest nieparzyste, S = {0, 1, 2, 3, 4}; 2. x, y S, xϱy x y = 2, S = {0, 1, 2, 3, 4}; 3. x, y N, xϱy x = y ; 4. x, y N, xϱy x y jest parzyste; 5. x, y R, xϱy x < y ; 6. x, y R, xϱy x y < 1; 7. x, y R, xϱy xy < 0; 8. A, B R, AϱB A B; 9. A, B N, AϱB A \ B jest zbiorem skończonym; 10. x, y-ludzie, xsy x oraz y są tej samej płci; 11. x, y-ludzie, xt y x nie jest niższy niż y; 12. a, b, n, m N 2, a, bsn, m a + m = n + b; 13. a, b, n, m Z 2, a, bt n, m am = nb; Renata Wiertelak 7
9 Podstawy logiki i teorii zbiorów Ćwiczenia 2015 Zestaw 8. Relacje porządku i równoważności Zadanie 8.1. Czy podana relacja jest relacją częściowego porządku lub równoważności? 1. x, y N, xϱy x dzieli y; 2. x, y {1, 2, 3, 4, 5}, xϱy x 3 = y 3 ; 3. x, y {0, 1, 2, 3, 4, 5}, xϱy x 2 y 2 0 x 2 y 2 ; 4. x, y { 3, 2, 1, 0, 1, 2}, xϱy x + 1 y + 1 ; 5. a, b, n, m N 2, a, bϱn, m 1 a+b = 1 m+n ; 6. a, b, n, m Z 2, a, bϱn, m 1 ab = 1 mn ; 7. a, b, n, m N 2, a, bϱn, m a n b m; 8. A, B R, AϱB 5 A B 5 / A B; 9. x, y-ludzie, xry x i y mają tego samego rodzica; 10. x, y-ludzie, xry x i y mają tę samą matkę; 11. a, b, n, m Z Z \ {0}, a, bsn, m am = nb; Zadanie 8.2. Dla podanej relacji równoważności wyznacz jej klasy abstrakcji. 1. x, y N, xϱy x y jest parzyste; 2. x, y {1, 2, 3, 4, 5}, xϱy x 3 = y 3 ; 3. a, b, n, m N 2, a, bϱn, m 1 a+b = 1 m+n ; 4. a, b, n, m Z 2, a, bϱn, m 1 ab = 1 mn ; 5. x, y-ludzie, xsy x oraz y są tej samej płci; 6. x, y-ludzie, xry x i y mają tę samą matkę; 7. a, b, n, m N 2, a, brn, m a + m = n + b; Zadanie 8.3. Dla podanej relacji częściowego porządku wyznacz elementy minimalne oraz maksymalne. 1. x, y N, xϱy x dzieli y; 2. x, y {1, 2, 3, 4, 5}, xϱy x 3 y 3 0 x 3 y 3 ; 3. x, y {0, 1, 2, 3, 4, 5}, xϱy x 2 y 2 0 x 2 y 2 ; 4. x, y { 3, 2, 1, 1, 3}, xϱy x + 1 y + 1 ; 5. a, b, n, m N 2, a, bϱn, m a n b m; Renata Wiertelak 8
10 Podstawy logiki i teorii zbiorów Ćwiczenia 2015 Zestaw 9. Funkcje Zadanie 9.1. Czy podana relacja R X Y jest funkcją? Jeśli nie, to czy można tak zmienić zbiory X, Y aby była. 1. x, y R x = y, R R R; 2. x, y R x 2 = y 3, R N Z; 3. x, y R x 3 = y 2, R N Z; 4. x, y R x = y 2, R R R; 5. x, y R x 4 = y 3, R N Z; 6. x, y R x = y 3, R R R; 7. x, y R x 2 + y 2 = 9, R R R; Zadanie 9.2. Czy podana funkcja f : R R jest różnowartościowa, "na" R? a fx = 2x + 3; b fx = x 2 4; c fx = x + 3 ; d fx = x 3 1; e fx = x 1 3 ; f fx = 3 x 1; Zadanie 9.3. Czy podana funkcja f : R R jest różnowartościowa, "na" R? a fx = 3x 1; b fx = 1 x ; c fx = x + 2 ; d fx = x 2 1; e fx = x 1 2 ; f fx = x ; Zadanie 9.4. Wyznacz f[0, 1, f0, 1, f 1 [0, 1, f 1 0, 1. a fx = 3x 1; b fx = 1 x ; c fx = x + 2 ; d fx = x 2 1; e fx = x 1 2 ; f fx = x ; Zadanie 9.5. Niech S = {1, 2, 3, 4, 5}. Które z podanych funkcja f : S S są różnowartościowe, "na", mają funkcję odwrotną? a fn = n; b fn = 3; Zadanie 9.6. Wskazać wszystkie funkcje f : {1, 2, 3} {1, 2, 3} takie, że f{1, 2} = {3}. Renata Wiertelak 9
11 Podstawy logiki i teorii zbiorów Ćwiczenia 2015 Zadanie 9.7. Czy podana funkcja jest różnowartościowa, "na", ma funkcję odwrotną? 1. f : N N; fn = n 2 ; 2. f : Z 2 Z; fn, k = n 2 ; 3. f : R 2 R 2 ; fn, k = 2n + k, n 3k; 4. f : N N; fn = n 2 + k 2 ; 5. f : Z 2 Z; fn, k = n 2 k 2 ; 6. f : N 2 N 2 ; fn, k = n + k, n k; Zadanie 9.8. Oblicz podane obrazy i przeciwobrazy. 1. f : N 2 N; fn, k = nk; f{2} 2N 1 f2n 2N f 1 {1}, f 1 {3}, f 1 {2N} 2. f : N 2 N; fn, k = minn, k; f{2, 28}, f{2n 2N}, f 1 {1} 1 {2N} Zadanie 9.9. Zbadaj czy funkcja f : R R określona wzorem fx = { 2x + 4 dla x < 0 x 2 dla x 0 jest różnowartościowa i "na" R. Wyznacz f 3, 3, f0, 3, f 1 0, 4 oraz f 1 3, 0. Zadanie Zbadaj czy funkcja f : R R określona wzorem fx = { 1 x dla x < 1 x 1 dla x 1 jest różnowartościowa i "na" R. Wyznacz f 2, 1, f 2, 1], f 1 [ 3, 0 oraz f 1 4, 2. Zadanie Zbadaj czy funkcja f : R R określona wzorem fx = { 4 x dla x < 2 3 2x dla x 2 jest różnowartościowa i "na" R. Wyznacz f 1 [0, 3] oraz f[ 3, 0]. Zadanie Zbadaj czy funkcja f : R R określona wzorem fx = { 3x + 1 dla x > 2 x 3 dla x 2 jest różnowartościowa i "na" R. Wyznacz f 1 [0, 3] oraz f[ 3, 0]. Renata Wiertelak 10
12 Wstęp do matematyki Ćwiczenia 2015 Zestaw 10. Działania uogólnione Zadanie Oblicz sumy i iloczyny uogólnione następujących zbiorów oraz ich dopełnień A n = 1 n + 1, ] [ 1 B n = n n + 1, 2 1 C n = [0, n; n D t = 1 n, 2 1 ] E t = 1 1 n + 2 4n, 3 1 F n = [ n, n + 1; n [ 1 n G n = {1, 2,..., n} H n = n, 5 I n = n, n + 1]; Zadanie Oblicz n N A n, n N A n, n N R \ A n, n N R \ A n. a A n = {x R: x > 2n}, n Z b A n = {x R: x n}, n N c A n = {x R: x + 3 < n}, n N d A n = e A n = } {x R: n x 3 + 1n, n N n {x R: 1n n } < x < n, n N f A t = { x R: 1 n < x < 3 n}, n N g A n = {x R: n x < n + 1}, n N h A n = {x R: n x n + 1}, n Z Zadanie Wyznacz n N A n, n N A n jeżeli a n N R \ A n = [ 3, 0, n N R \ A n = 2, 1] b n N R \ A n = 0,, n N R \ A n = [5, c n N R \ A n = R, n N R \ A n = R \ N d n N R \ A n = R \ N, n N R \ A n = e n N R \ A n = Z, n N R \ A n = N Renata Wiertelak 11
Podstawy 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ół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ół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ółowoPodstawy 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 Kwantykatory 5 6 Relacje 7 7 Relacje porz dku i równowa»no±ci 8 8 Funkcje
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ół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ółowo1 Logika. 1. Udowodnij prawa logiczne: 3. (p q) (p q) 2. (p q) ( q p) 2. Sprawdź, czy wyrażenie ((p q) r) (p (q r)) jest tautologią.
Logika. Udowodnij prawa logiczne:. (p q) ( p q). (p q) ( q p) 3. (p q) (p q). Sprawdź czy wyrażenie ((p q) r) (p (q r)) jest tautologią. 3. Zad 3. Sprawdź czy zdanie: Jeżeli liczba a dzieli się przez i
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ół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ół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ół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ółowoLista zadań - Relacje
MATEMATYKA DYSKRETNA Lista zadań - Relacje Zadania obliczeniowe Zad. 1. Która z poniższych relacji jest funkcją? a) Relacja składająca się ze wszystkich par uporządkowanych, których poprzednikami są studenci,
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ółowoSYLABUS DOTYCZY CYKLU KSZTAŁCENIA realizacja w roku akademickim 2016/2017
Załącznik nr 4 do Uchwały Senatu nr 430/01/2015 SYLABUS DOTYCZY CYKLU KSZTAŁCENIA 2016-2020 realizacja w roku akademickim 2016/2017 1.1. PODSTAWOWE INFORMACJE O PRZEDMIOCIE/MODULE Nazwa przedmiotu/ modułu
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ół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ół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ł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ół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ółowoRelacje. 1 Iloczyn kartezjański. 2 Własności relacji
Relacje 1 Iloczyn kartezjański W poniższych zadaniach litery a, b, c, d oznaczają elementy zbiorów, a litery A, B, C, D oznaczają zbiory. Przypomnijmy definicję pary uporządkowanej (w sensie Kuratowskiego):
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ół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ół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ół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ół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ół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ółowoPRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Teoria mnogości Set theory Kierunek: Rodzaj przedmiotu: obowiązkowy dla wszystkich specjalności Rodzaj zajęć: wykład, ćwiczenia Matematyka Poziom kwalifikacji: I stopnia Liczba godzin/tydzień:
Bardziej szczegółowoRozważmy funkcję f : X Y. Dla dowolnego zbioru A X określamy. Dla dowolnego zbioru B Y określamy jego przeciwobraz:
Rozważmy funkcję f : X Y. Dla dowolnego zbioru A X określamy jego obraz: f(a) = {f(x); x A} = {y Y : x A f(x) = y}. Dla dowolnego zbioru B Y określamy jego przeciwobraz: f 1 (B) = {x X; f(x) B}. 1 Zadanie.
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ółowoLogika. Zadanie 4. Sprawdź, czy poniższe funkcje zdaniowe są tautologiami: i) (p q) = ( p q), ii) (p = q) ( p q). Rozwiązanie.
Logika Zadanie 4. Sprawdź, czy poniższe funkcje zdaniowe są tautologiami: i) (p q) = ( p q), ii) (p = q) ( p q). Rozwiązanie. i) Wprowadźmy oznaczenie F (p, q) ((p q) = ( p q)). Funkcja zdaniowa F nie
Bardziej szczegółowoZbiory, relacje i funkcje
Zbiory, relacje i funkcje Zbiory będziemy zazwyczaj oznaczać dużymi literami A, B, C, X, Y, Z, natomiast elementy zbiorów zazwyczaj małymi. Podstawą zależność między elementem zbioru a zbiorem, czyli relację
Bardziej szczegółowoStrona główna. Strona tytułowa. Spis treści. Strona 1 z 403. Powrót. Full Screen. Zamknij. Koniec
Strona z 403 Przedmowa Do wydania pierwszego Podręcznik przeznaczony jest dla studentów pierwszego roku studiów w Szkole Głównej Handlowej. Składa się dziesięciu rozdziałów zawierających teorię (definicje,
Bardziej szczegółowoRACHUNEK ZBIORÓW 5 RELACJE
RELACJE Niech X i Y są dowolnymi zbiorami. Układ ich elementów, oznaczony symbolem x,y (lub też (x,y) ), gdzie x X i y Y, nazywamy parą uporządkowaną o poprzedniku x i następniku y. a,b b,a b,a b,a,a (o
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ół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ółowoMatematyka Dyskretna Zestaw 2
Materiały dydaktyczne Matematyka Dyskretna (Zestaw ) Matematyka Dyskretna Zestaw 1. Wykazać, że nie istnieje liczba naturalna, która przy dzieleniu przez 18 daje resztę 13, a przy dzieleniu przez 1 daje
Bardziej szczegółowoElementy teorii mnogości. Część I. Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im.
Elementy teorii mnogości 1 Elementy teorii mnogości Część I Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im. Adama Mickiewicza Elementy teorii mnogości 2 1. Pojęcia
Bardziej szczegółowoFunkcja jest różnowartościowa w zbiorze A wtedy i tylko wtedy, gdy różnym argumentom funkcja ta przyporządkowuje różne wartości.
Gdy mamy daną funkcję, poza określeniem jej dziedziny i miejsca zerowego możemy badad szczególne własności, takie jak: monotonicznośd, różnowartościowośd, parzystośd, nieparzystośd. Na temat monotoniczności
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ółowo- Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S.
1 Zbiór potęgowy - Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S. - Dowolny podzbiór R zbioru 2 S nazywa się rodziną zbiorów względem S. - Jeśli S jest n-elementowym zbiorem,
Bardziej szczegółowoUwaga 1. Zbiory skończone są równoliczne wtedy i tylko wtedy, gdy mają tyle samo elementów.
Logika i teoria mnogości Wykład 11 i 12 1 Moce zbiorów Równoliczność zbiorów Def. 1. Zbiory X i Y są równoliczne (X ~ Y), jeśli istnieje bijekcja f : X Y. O funkcji f mówimy wtedy, że ustala równoliczność
Bardziej szczegółowoBOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH
BOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH WSTĘP Zbiór liczb całkowitych można definiować na różne sposoby. Jednym ze sposobów określania zbioru liczb całkowitych jest
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ół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ół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ółowohttp://www-users.mat.umk.pl/~pjedrzej/matwyz.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego i opanowanie przez nich podstawowych pojęć dotyczących
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ół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ółowo2. FUNKCJE. jeden i tylko jeden element y ze zbioru, to takie przyporządkowanie nazwiemy FUNKCJĄ, lub
WYKŁAD 2 1 2. FUNKCJE. 2.1.PODSTAWOWE DEFINICJE. Niech będą dane zbiory i. Jeżeli każdemu elementowi x ze zbioru,, przyporządkujemy jeden i tylko jeden element y ze zbioru, to takie przyporządkowanie nazwiemy
Bardziej szczegółowoKARTA KURSU. Kod Punktacja ECTS* 7
KARTA KURSU Nazwa Nazwa w j. ang. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory Kod Punktacja ECTS* 7 Koordynator Dr hab. prof. UP Piotr Błaszczyk Zespół dydaktyczny: Dr hab. prof.
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ół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ółowoWykład ze Wstępu do Logiki i Teorii Mnogości
Wykład ze Wstępu do Logiki i Teorii Mnogości rok ak. 2016/2017, semestr zimowy Wykład 1 1 Wstęp do Logiki 1.1 Rachunek zdań, podstawowe funktory logiczne 1.1.1 Formuła atomowa; zdanie logiczne definicje
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ółowoLOGIKA MATEMATYCZNA, ZBIORY, LICZBY RZECZYWISTE
LOGIKA MATEMATYCZNA, ZBIORY, LICZBY RZECZYWISTE POJĘCIE PIERWOTNE, AKSJOMAT, TWIERDZENIE Pojęcie pierwotne jest to pojęcie, którego nie definiujemy, a mimo to przyjmujemy za oczywiste np.: liczba, punkt,
Bardziej szczegółowoRepetytorium z matematyki ćwiczenia
Spis treści 1 Liczby rzeczywiste 1 2 Geometria analityczna. Prosta w układzie kartezjańskim Oxy 4 3 Krzywe drugiego stopnia na płaszczyźnie kartezjańskiej 6 4 Dziedzina i wartości funkcji 8 5 Funkcja liniowa
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ół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ółowoKARTA KURSU. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory
KARTA KURSU Nazwa Nazwa w j. ang. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory Kod Punktacja ECTS* 6 Koordynator Dr hab. prof. UP Piotr Błaszczyk Zespół dydaktyczny dr Antoni
Bardziej szczegółowoMatematyka dyskretna. Andrzej Łachwa, UJ, /10
Matematyka dyskretna Andrzej Łachwa, UJ, 2018 andrzej.lachwa@uj.edu.pl 2/10 funkcje Funkcja o dziedzinie X i przeciwdziedzinie Y to dowolna relacja f X Y taka, że x X!y Y: (x,y) f. Dziedzinę i przeciwdziedzinę
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ółowoCzęść całkowita i ułamkowa, funkcje trygonometryczne, podstawowe własności funkcji
Sprawdzian nr 2: 25..204, godz. 8:5-8:40 (materiał zad. -48) Sprawdzian nr 3: 9.2.204, godz. 8:5-8:40 (materiał zad. -88) Część całkowita i ułamkowa, funkcje trygonometryczne, podstawowe własności funkcji
Bardziej szczegółowoElementy logiki Zbiory Systemy matematyczne i dowodzenie twierdzeń Relacje
Dr Maciej Grzesiak, pok.724 E e-mail: maciej.grzesiak@put.poznan.pl http://www.put.poznan.pl/ maciej.grzesiak Konsultacje: poniedziałek, 8.45-9.30, środa 8.45-9.30, piątek 9.45-10.30, pokój 724E Treść
Bardziej szczegółowoWykłady z Matematyki Dyskretnej
Wykłady z Matematyki Dyskretnej dla kierunku Informatyka dr Instytut Informatyki Politechnika Krakowska Wykłady na bazie materiałów: dra hab. Andrzeja Karafiata dr hab. Joanny Kołodziej, prof. PK Informacje
Bardziej szczegółowoKierunek i poziom studiów: Matematyka, studia I stopnia, rok 1 Sylabus modułu: Wstęp do matematyki (Kod modułu: 03-MO1N-12-WMat)
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: Matematyka, studia I stopnia, rok 1 Sylabus modułu: Wstęp do matematyki (Kod modułu: 03-MO1N-12-WMat) 1. Informacje ogólne koordynator
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ół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ółowodomykanie relacji, relacja równoważności, rozkłady zbiorów
1 of 8 2012-03-28 17:45 Logika i teoria mnogości/wykład 5: Para uporządkowana iloczyn kartezjański relacje domykanie relacji relacja równoważności rozkłady zbiorów From Studia Informatyczne < Logika i
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ółowoWPROWADZENIE DO MATEMATYKI WYŻSZEJ
WPROWADZENIE DO MATEMATYKI WYŻSZEJ. Elementy logiki i teoria zbiorów Zad... Rozpatrzmy wartościowanie w takie, że w(p) = i w(q) = 0. Oblicz: a) w( (p p)), b) w( ( p p)), c) w( (q q)), d) w( p q), e) w(
Bardziej szczegółowo0 Alfabet grecki 2. 1 Rachunek zdań Podstawowe definicje Wybrane tautologie rachunku zdań (kpn) Zadania...
DB Wstęp do matematyki (ns) semestr zimowy 2018 SPIS TREŚCI Teoria w niniejszym skrypcie została opracowana na podstawie książki: R. Murawski, K. Świrydowicz, Wstęp do teorii mnogości, Wyd. Naukowe UAM,
Bardziej szczegółowo1 + x 1 x 1 + x + 1 x. dla x 0.. Korzystając z otrzymanego wykresu wyznaczyć funkcję g(m) wyrażającą liczbę pierwiastków równania.
10 1 Wykazać, że liczba 008 008 10 + + jest większa od Nie używając kalkulatora, porównać liczby a = log 5 log 0 + log oraz b = 6 5 Rozwiązać równanie x + 4y + x y + 1 = 4xy 4 W prostokątnym układzie współrzędnych
Bardziej szczegółowoRównoliczność zbiorów
Logika i Teoria Mnogości Wykład 11 12 Teoria mocy 1 Równoliczność zbiorów Def. 1. Zbiory X i Y nazywamy równolicznymi, jeśli istnieje bijekcja f : X Y. O funkcji f mówimy wtedy,że ustala równoliczność
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ółowo(4) W zbiorze R R definiujemy działania i wzorami. (a, b) (c, d) =(a + c, b + d),
Zestaw zadań 2: Ciało liczb zespolonych Układy równań liniowych () Ile działań można określić na zbiorze n-elementowym? Ile z nich to działania przemienne? (2) Zbadaj własności działania różnicy symetrycznej
Bardziej szczegółowoFUNKCJA POTĘGOWA, WYKŁADNICZA I LOGARYTMICZNA
FUNKCJA POTĘGOWA, WYKŁADNICZA I LOGARYTMICZNA POTĘGA, DZIAŁANIA NA POTĘGACH Potęga o wykładniku naturalnym. Jest to po prostu pomnożenie przez siebie danej liczby tyle razy ile wynosi wykładnik. Zapisujemy
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ółowoPrzykładowe zadania z teorii liczb
Przykładowe zadania z teorii liczb I. Podzielność liczb całkowitych. Liczba a = 346 przy dzieleniu przez pewną liczbę dodatnią całkowitą b daje iloraz k = 85 i resztę r. Znaleźć dzielnik b oraz resztę
Bardziej szczegółowoWykład 1. Informatyka Stosowana. 2 października Informatyka Stosowana Wykład 1 2 października / 33
Wykład 1 Informatyka Stosowana 2 października 2017 Informatyka Stosowana Wykład 1 2 października 2017 1 / 33 Wykłady : 45h (w semestrze zimowym) (Egzamin) 30h (w semetrze letnim) (Egzamin) 3h lekcyjne
Bardziej szczegółowo0 Alfabet grecki 2. 1 Rachunek zdań Podstawowe definicje Wybrane tautologie rachunku zdań Zadania... 4
DB Wstęp do matematyki semestr zimowy 2018 SPIS TREŚCI Teoria w niniejszym skrypcie została opracowana na podstawie książki: R. Murawski, K. Świrydowicz, Wstęp do teorii mnogości, Wyd. Naukowe UAM, Poznań
Bardziej szczegółowoZadania z PM II A. Strojnowski str. 1. Zadania przygotowawcze z Podstaw Matematyki seria 2
Zadania z PM II 010-011 A. Strojnowski str. 1 Zadania przygotowawcze z Podstaw Matematyki seria Zadanie 1 Niech A = {1,, 3, 4} za± T A A b dzie relacj okre±lon wzorem: (a, b) T, gdy n N a n = b. a) Ile
Bardziej szczegółowoLogika Matematyczna 16 17
Logika Matematyczna 16 17 Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Semantyka KRP (3) Jerzy Pogonowski (MEG) Logika Matematyczna 16 17 Semantyka KRP (3) 1 / 24
Bardziej szczegółowoMatematyka dyskretna. Andrzej Łachwa, UJ, /14
Matematyka dyskretna Andrzej Łachwa, UJ, 2019 andrzej.lachwa@uj.edu.pl 3/14 Funkcje Funkcja o dziedzinie X i przeciwdziedzinie Y to dowolna relacja f X Y taka, że x X!y Y: (x,y) f. Dziedzinę i przeciwdziedzinę
Bardziej szczegółowoProjekt Era inżyniera pewna lokata na przyszłość jest współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego
Materiały dydaktyczne na zajęcia wyrównawcze z matematyki dla studentów pierwszego roku kierunku zamawianego Inżynieria Środowiska w ramach projektu Era inżyniera pewna lokata na przyszłość Projekt Era
Bardziej szczegółowoElementy logiki matematycznej
Elementy logiki matematycznej Przez p, q będziemy oznaczać zdania. Każdemu zdaniu możemy przyporządkować wartość logiczną 1, gdy jest prawdziwe oraz wartość logiczną 0, gdy jest fałszywe. Oznaczmy wartość
Bardziej szczegółowo< > Sprawdzić prawdziwość poniższych zdań logicznych (odpowiedź uzasadnić) oraz podać ich zaprzeczenia:
Zadania na zajęcia z przedmiotu Repetytorium z matematyki elementarnej, GiK, 06/7 Zdania logiczne Funkcje zdaniowe i kwantyfikatory Ocenić wartość logiczną zdania (odpowiedź uzasadnić): < Nieprawda, że
Bardziej szczegółowoW. Krysicki, L.Włodarski, Analiza matematyczna w zadaniach cz. 1 i cz. 2. Pomocnicze symbole. Spójniki logiczne: Symbole kwantyfikatorów:
dr Urszula Konieczna-Spychała Instytut Matematyki i Fizyki UTP imif.utp.edu.pl Literatura: M. Lassak, Matematyka dla studiów technicznych. M. Gewert, Z. Skoczylas, Analiza matematyczna 1. M. Gewert, Z.
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ółowoKURS MATURA ROZSZERZONA część 1
KURS MATURA ROZSZERZONA część 1 LEKCJA Wyrażenia algebraiczne ZADANIE DOMOWE www.etrapez.pl Strona 1 Część 1: TEST Zaznacz poprawną odpowiedź (tylko jedna jest prawdziwa). Pytanie 1 Wyrażenie 3 a 8 a +
Bardziej szczegółowoS n = a 1 1 qn,gdyq 1
Spis treści Powtórzenie wiadomości... 9 Zadania i zbiory... 10 Obliczenia... 18 Ciągi... 27 Własności funkcji... 31 Funkcje liniowe i kwadratowe... 39 Wielomiany i wyrażenia wymierne... 45 Funkcje wykładnicze
Bardziej szczegółowoLogika I. Wykład 3. Relacje i funkcje
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 3. Relacje i funkcje 1 Już było... Definicja 2.6. (para uporządkowana) Parą uporządkowaną nazywamy zbiór {{x},
Bardziej szczegółowo1. Liczby zespolone i
Zadania podstawowe Liczby zespolone Zadanie Podać część rzeczywistą i urojoną następujących liczb zespolonych: z = ( + 7i)( + i) + ( 5 i)( + 7i), z = + i, z = + i i, z 4 = i + i + i i Zadanie Dla jakich
Bardziej szczegółowoPróbny egzamin maturalny z matematyki Poziom rozszerzony
Kujawsko-Pomorskie Centrum Edukacji Nauczycieli w Bydgoszczy PLACÓWKA AKREDYTOWANA Zadanie 1 (4 pkt) Rozwiąż równanie: w przedziale 1 pkt Przekształcenie równania do postaci: 2 pkt Przekształcenie równania
Bardziej szczegółowoRelacje. Relacje / strona 1 z 18
Relacje Relacje / strona 1 z 18 Relacje (para uporządkowana, iloczyn kartezjański) Definicja R.1. Parą uporządkowaną (x,y) nazywamy zbiór {{x},{x,y}}. Uwaga: (Ala, Ola) (Ola, Ala) Definicja R.2. (n-tka
Bardziej szczegółowoWykład z Analizy Matematycznej 1 i 2
Wykład z Analizy Matematycznej 1 i 2 Stanisław Spodzieja Łódź 2004/2005 http://www.math.uni.lodz.pl/ kfairr/analiza/ Wstęp Książka ta jest nieznacznie zmodyfikowaną wersją wykładu z analizy matematycznej
Bardziej szczegółowoElementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań
Elementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań Micha l Ziembowski m.ziembowski@mini.pw.edu.pl www.mini.pw.edu.pl/ ziembowskim/ October 2, 2016 M. Ziembowski (WUoT) Elementy logiki i teorii
Bardziej szczegółowoFunkcje i ich własności. Energetyka, sem.1 (2017/2018) Matematyka #3: Funkcje 1 / 43
Funkcje i ich własności Energetyka, sem.1 (2017/2018) Matematyka #3: Funkcje 1 / 43 Zbiory liczbowe Zbiory Zbiór Iloczyn (część wspólna zbiorów) A B = {x : x A x B} Suma Różnica Zawieranie się A B = {x
Bardziej szczegółowoNotatki z Analizy Matematycznej 1. Jacek M. Jędrzejewski
Notatki z Analizy Matematycznej 1 Jacek M. Jędrzejewski Wstęp W naszym konspekcie będziemy stosowali następujące oznaczenia: N zbiór liczb naturalnych dodatnich, N 0 zbiór liczb naturalnych (z zerem),
Bardziej szczegółowoROZDZIAŁ 1. Rachunek funkcyjny
ROZDZIAŁ 1 Rachunek funkcyjny Niech X 1,..., X n będą dowolnymi zbiorami. Wyrażenie (formułę) ϕ(x 1,..., x n ), w którym występuje n zmiennych x 1,..., x n i które zamienia się w zdanie logiczne, gdy zamiast
Bardziej szczegółowo