Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik
|
|
- Eugeniusz Dąbrowski
- 7 lat temu
- Przeglądów:
Transkrypt
1 Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik 8 Funkcje 8.1 Pojęcie relacji 8.1 Definicja (Relacja). Relacją (binarną) nazywamy dowolny podzbiór produktu kartezjańskiego dwóch zbiorów. Dziedziną lewostronną relacji R nazywamy zbiór D l (R) = {x : x, y R dla pewnego y}, a dziedziną prawostronną relacji R nazywamy zbiór D r (R) = {y : x, y R dla pewnego x}. Zbiór D l (R) D r (R) nazywamy polem relacji R. 8.2 Definicja (Złożenie relacji, relacja odwrotna). Złożeniem relacji R i S nazywamy relację S R = { x, z : dla pewnego y, x, y R oraz y, z S}. Relacją odwrotną do R nazywamy relację R 1 = { y, x : x, y R}. 8.3 Twierdzenie. Dla dowolnych relacji R i S mamy (S R) 1 = R 1 S Pojęcie funkcji 8.4 Definicja (Funkcja, dziedzina i zbiór wartości funkcji). Funkcją nazywamy dowolny zbiór f spełniający warunki: 1. z ( z f x, y (z = x, y ) ), 2. x, y 1, y 2 ( x, y1 f x, y 2 f y 1 = y 2 ). 1
2 8 Funkcje 2 Zgodnie z konwencją, piszemy f(x) = y w przypadku, gdy x, y f. Dziedziną i zbiorem wartości 1 funkcji f nazywamy odpowiednio zbiory dom(f) = {x : x, y f, dla pewnego y}, rng(f) = {y : x, y f, dla pewnego x}. 8.5 Uwaga. Oczywiście, rng(f) = {f(x) : x dom(f)} oraz f dom(f) rng(f), a zatem funkcje są w szczególności relacjami. 8.6 Twierdzenie. Dla dowolnych funkcji f i g, f = g wtedy i tylko wtedy, gdy 1. dom(f) = dom(g) oraz 2. f(x) = g(x), dla wszystkich x dom f. 8.7 Uwaga. Jeżeli f jest funkcją, dla której dom(f) = X oraz rng(f) Y, to piszemy f : X Y. 8.8 Przykład. 1. Funkcja pusta. : A. 2. Ciągi skończone a : {0, 1, 2,..., n} X; a k := a(k). Ciągi nieskończone a : N X. 3. Indeksowane rodziny zbiorów. Niech A będzie rodziną zbiorów, będącą zbiorem wartości funkcji A o dziedzinie I, czyli ={A i : i I}. Funkcję A = A i : i I nazywamy indeksowaną rodziną zbiorów. 8.3 Injekcje, surjekcje, bijekcje 8.9 Definicja (Injekcja, surjekcja, bijekcja). Funkcję f : X Y nazywamy 1. różnowartościową (lub injekcją), gdy x 1, x 2 dom(f) ( x 1 x 2 f(x 1 ) f(x 2 ) ) ; 2. na zbiór Y (lub surjekcją), gdy y Y x X f(x) = y lub równoważnie, gdy rng(f) = Y ; 1 Należy odróżniać zbiór wartości od przeciwdziedziny.
3 8 Funkcje 3 3. wzajemnie jednoznaczną z X na Y (lub bijekcją), gdy f jest różnowartościowa i na Y Przykład. 1. f : R R, f(x) = x 2 (nie na R, nie 1-1), 2. 4, 2, 3, 5, 2 (nie na {4, 2, 3, 5, 2}, nie 1-1), 3. g : P(N) \ { }, g(x) = min X (na N, nie 1-1), 4. h : N \ {0} P fin (N), h(n) = zbiór wszystkich dzielników liczby n (nie na P fin (N), 1-1) Definicja (Obcięcie i przedłużenie funkcji). Obcięciem funkcji f : X Y do zbioru Z X nazywamy funkcję f Z taką, że f Z = f (Z Y ). Funkcję f nazywamy przedłużeniem funkcji g, gdy 8.4 Złożenie funkcji g = f dom(g) Definicja (Złożenie funkcji). Złożeniem funkcji f i g nazywamy funkcję g f zdefiniowaną następująco: g f = { x, z dom(f) rng(g) : dla pewnego y, x, y f y, z g} Uwaga. Dla dowolnych funkcji f i g mamy 1. dom(g f) = {x dom(f) : f(x) dom(g)}, 2. (g f)(x) = g(f(x)), dla x dom(g f) Twierdzenie. Niech dane będą funkcje f : X Y oraz g : Y Z. Wówczas 1. Jeżeli f i g są różnowartościowe, to również g f : X Z jest funkcją różnowartościową. 2. Jeżeli f jest funkcją na Y i g jest funkcją na Z, to g f : X Z jest funkcją na Z. 3. Jeżeli f i g są bijekcjami, to funkcja g f : X Z jest bijekcją Twierdzenie. Operacja składania funkcji jest łączna ale nie jest przemienna.
4 8 Funkcje Funkcja odwrotna 8.16 Definicja (Funkcja odwrotna). Niech f będzie funkcją różnowartościową. Wówczas zbiór { y, x : x, y f} jest funkcją. Funkcję tę nazywamy funkcją odwrotną do f i oznaczamy symbolem f Uwaga. Dla dowolnej różnowartościowej funkcji f mamy 1. dom(f 1 ) = rng(f). 2. Dla dowolnych x dom(f) i y rng(f) mamy f 1 (y) = x f(x) = y Przykład. [GZ, Przykład 3.9] f : R R, f(x) = x 2 i f 1 (x) = x Definicja (Funkcja identycznościowa). Funkcją identycznościową na zbiorze X nazywamy funkcję id X = { x, x : x X} Uwaga. dom(id X ) = X, id X (x) = x, dla x X Twierdzenie. Dla dowolnej funkcji f: f id dom(f) = f, id rng(f) f = f. Ponadto, jeżeli f jest funkcją różnowartościową, to f 1 f = id dom(f), f f 1 = id rng(f) Twierdzenie. Dla dowolnych funkcji różnowartościowych f i g, (g f) 1 = f 1 g 1.
5 8 Funkcje Obrazy i przeciwobrazy 8.23 Definicja (Obraz i przeciwobraz). Obrazem zbioru A względem funkcji f nazywamy zbiór f[a] = rng(f A) = {f(x) : x A dom(f)}. Przeciwobrazem zbioru A względem funkcji f nazywamy zbiór f 1 [A] = {x dom(f) : f(x) B} Twierdzenie ([GZ, Twierdzenie 3.14]). Dla dowolnych funkcji f i g i dowolnych zbiorów V i W : 1. (g f)[v ] = g[f[v ]]. 2. (g f) 1 [V ] = f 1 [g 1 [V ]]. 3. f[f 1 [W ]] = W rng(f). 4. Jeśli V dom(f), to V f 1 [f[v ]] Twierdzenie. 1. Operacja obrazu i przeciwobrazu jest monotoniczna, czyli jeżeli A B, to f[a] f[b] i f 1 [A] f 1 [B]. 2. Obraz sumy zbiorów jest równy sumie obrazów tych zbiorów. Obraz przekroju dwóch zbiorów jest zawarty w przekroju ich obrazów. 3. Przeciwobraz sumy (przekroju) dwóch zbiorów jest równy sumie (przekrojowi) przeciwobrazów tych zbiorów Twierdzenie. Dla dowolnej funkcji f oraz indeksowanej rodziny zbiorów A i : i I : 1. f[ i I A i ] = i I f[a i ]. 2. f[ i I A i ] i I f[a i ], o ile I. 3. f 1 [ i I A i ] = i I f 1 [A i ]. 4. f 1 [ i I A i ] = i I f 1 [A i ], o ile I.
6 8 Funkcje Uogólniony produkt kartezjański 8.27 Definicja. Uogólnionym produktem kartezjańskim indeksowanej rodziny zbiorów A i : i I, gdzie I, nazywamy zbiór wszystkich funkcji f : I i I A i takich, że f(i) A i dla każdego i I. Produkt ten oznaczamy jako A i. i I W przypadku, gdy A i = B dla wszystkich i I, produkt i I A i oznaczamy też symbolem B I. Zatem B I jest zbiorem wszystkich funkcji f : I B Przykład. {0, 1} N, N N, R N, R R. Literatura [GZ] W. Guzicki, P. Zakrzewski, Wykłady ze wstępu do matematyki, PWN tp
Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik
Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik 9 Relacje 9.1 Podstawowe pojęcia 9.1 Definicja (Relacja). Relacją (binarną) nazywamy dowolny podzbiór produktu
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 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ółowoAnaliza matematyczna 1
Analiza matematyczna 1 Marcin Styborski Katedra Analizy Nieliniowej pok. 610E (gmach B) marcins@mif.pg.gda.pl www.mif.pg.gda.pl/homepages/marcins () 28 września 2010 1 / 10 Literatura podstawowa R. Rudnicki,
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ół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. 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ół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ół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ół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ół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ół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ółowo1 Zbiory. 1.1 Kiedy {a} = {b, c}? (tzn. podać warunki na a, b i c) 1.2 Udowodnić, że A {A} A =.
1 Zbiory 1.1 Kiedy {a} = {b, c}? (tzn. podać warunki na a, b i c) 1.2 Udowodnić, że A {A} A =. 1.3 Pokazać, że jeśli A, B oraz (A B) (B A) = C C, to A = B = C. 1.4 Niech {X t } będzie rodziną niepustych
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ół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ół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ółowoO funkcjach : mówimy również, że są określone na zbiorze o wartościach w zbiorze.
1. Definicja funkcji f:x->y. Definicja dziedziny, przeciwdziedziny, zbioru wartości. Przykłady. I definicja: Funkcją nazywamy relację, jeśli spełnia następujące warunki: 1) 2) 1,2 [(1 2)=> 1=2] Inaczej
Bardziej szczegółowoUwaga 1.2. Niech (G, ) będzie grupą, H 1, H 2 < G. Następujące warunki są równoważne:
1. Wykład 1: Produkty grup. Produkty i koprodukty grup abelowych. Przypomnijmy konstrukcje słabych iloczynów (sum) prostych i iloczynów (sum) prostych grup znane z kursowego wykładu algebry. Ze względu
Bardziej szczegółowo1 Działania na zbiorach
M. Beśka, Wstęp do teorii miary, rozdz. 1 1 1 Działania na zbiorach W rozdziale tym przypomnimy podstawowe działania na zbiorach koncentrując się na własnościach tych działań, które będą przydatne w dalszej
Bardziej szczegółowoMatematyka dyskretna. Andrzej Łachwa, UJ, /15
Matematyka dyskretna Andrzej Łachwa, UJ, 2014 andrzej.lachwa@uj.edu.pl 2/15 Funkcje Funkcja o dziedzinie X i przeciwdziedzinie Y to dowolna relacja f XG Y taka, że: Dziedzinę i przeciwdziedzinę funkcji
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ół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ół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ółowoZALICZENIE WYKŁADU: 30.I.2019
MATEMATYCZNE PODSTAWY KOGNITYWISTYKI ZALICZENIE WYKŁADU: 30.I.2019 KOGNITYWISTYKA UAM, 2018 2019 Imię i nazwisko:.......... POGROMCY PTAKÓW STYMFALIJSKICH 1. [2 punkty] Podaj definicję warunku łączności
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ół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ół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ółowo1. Funkcje monotoniczne, wahanie funkcji.
1. Funkcje monotoniczne, wahanie funkcji. Zbiór X będziemy nazywali uporządkowanym, jeśli określona jest relacja zawarta w produkcie kartezjańskim X X, która jest spójna, antysymetryczna i przechodnia.
Bardziej szczegółowoZasada indukcji matematycznej
Zasada indukcji matematycznej Twierdzenie 1 (Zasada indukcji matematycznej). Niech ϕ(n) będzie formą zdaniową zmiennej n N 0. Załóżmy, że istnieje n 0 N 0 takie, że 1. ϕ(n 0 ) jest zdaniem prawdziwym,.
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ółowoKierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat)
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: matematyka, studia I stopnia, rok I Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat) 1. Informacje ogólne koordynator modułu Tomasz
Bardziej szczegółowoFUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y.
FUNKCJE LICZBOWE Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y. Innymi słowy f X Y = {(x, y) : x X oraz y Y }, o ile (x, y) f oraz (x, z) f pociąga
Bardziej szczegółowoPodstawy matematyki dla informatyków. Funkcje. Funkcje caªkowite i cz ±ciowe. Deniowanie funkcji. Wykªad pa¹dziernika 2012
Podstawy matematyki dla informatyków Wykªad 3 Funkcje 18 pa¹dziernika 2012 Deniowanie funkcji Funkcje caªkowite i cz ±ciowe Denicja wprost: f (x) = x + y f = λx. x + y Denicja warunkowa: { n/2, je±li n
Bardziej szczegółowoZbiory i odwzorowania
Zbiory i odwzorowania 1 Sposoby okre±lania zbiorów 1) Zbiór wszystkich elementów postaci f(t), gdzie t przebiega zbiór T : {f(t); t T }. 2) Zbiór wszystkich elementów x zbioru X speªniaj cych warunek ϕ(x):
Bardziej szczegółowoII. Funkcje. Pojęcia podstawowe. 1. Podstawowe definicje i fakty.
II. Funkcje. Pojęcia podstawowe. 1. Podstawowe definicje i fakty. Definicja 1.1. Funkcją określoną na zbiorze X R o wartościach w zbiorze Y R nazywamy przyporządkowanie każdemu elementowi x X dokładnie
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ółowoMatematyka II - Organizacja zajęć. Egzamin w sesji letniej
Matematyka II - Organizacja zajęć Wykład (45 godz.): 30 godzin - prof. zw. dr hab. inż. Jan Węglarz poniedziałek godz.11.45 15 godzin - środa godz. 13.30 (tygodnie nieparzyste) s. A Egzamin w sesji letniej
Bardziej szczegółowoFunkcja. x X! y Y : x, y f. f : X Y f x = y f : x y. Funkcja o dziedzinie X i przeciwdziedzinie Y to dowolna relacja f XxY taka, że: Notacje:
Funkcja Funkcja o dziedzinie X i przeciwdziedzinie Y to dowolna relacja f XxY taka, że: Notacje: x X! y Y : x, y f f : X Y f x = y f : x y Przykłady f: N N, f(n) = 2n f: N R, f(n) = n/2 f: N {13}, f(n)
Bardziej szczegółowoWYKŁAD Z ANALIZY MATEMATYCZNEJ I. dr. Elżbieta Kotlicka. Centrum Nauczania Matematyki i Fizyki
WYKŁAD Z ANALIZY MATEMATYCZNEJ I dr. Elżbieta Kotlicka Centrum Nauczania Matematyki i Fizyki http://im0.p.lodz.pl/~ekot Łódź 2006 Spis treści 1. CIĄGI LICZBOWE 2 1.1. Własności ciągów liczbowych o wyrazach
Bardziej szczegółowoZbiór zadań ze wstępu do matematyki
Zbiór zadań ze wstępu do matematyki Jan Kraszewski Wrocław 2009 1 Spis treści 2 Przedmowa W zbiorach zadań ze wstępu do matematyki zadania zazwyczaj są tak pogrupowane, by dotyczyły pojęć z poszczególnych
Bardziej szczegółowoRozdział 6. Ciągłość. 6.1 Granica funkcji
Rozdział 6 Ciągłość 6.1 Granica funkcji Podamy najpierw dwie definicje granicy funkcji w punkcie i pokażemy ich równoważność. Definicja Cauchy ego granicy funkcji w punkcie. Niech f : X R, gdzie X R oraz
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ółowoKARTA PRZEDMIOTU. 12. PRZEDMIOTOWE EFEKTY KSZTAŁCENIA Odniesienie do kierunkowych efektów kształcenia (symbol)
KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: Wstęp do logiki i teorii mnogości (LTM010) 2. KIERUNEK: MATEMATYKA 3. POZIOM STUDIÓW: I stopnia 4. ROK/ SEMESTR STUDIÓW: I/1 5. LICZBA PUNKTÓW ECTS: 8 6. LICZBA GODZIN:
Bardziej szczegółowoFUNKCJE. (odwzorowania) Funkcje 1
FUNKCJE (odwzorowania) Funkcje 1 W matematyce funkcja ze zbioru X w zbiór Y nazywa się odwzorowanie (przyporządkowanie), które każdemu elementowi zbioru X przypisuje jeden, i tylko jeden element zbioru
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ółowoFunkcje. Materiały pomocnicze do wykładu. przedmiot: Matematyka Dyskretna 1 wykładowca: dr Magdalena Kacprzak
Funkcje Materiały pomocnicze do wykładu uczelnia: PJWSTK przedmiot: Matematyka Dyskretna 1 wykładowca: dr Magdalena Kacprzak Funkcja: definicja i intuicje Definicja funkcji Niech X i Y będą dowolnymi zbiorami.
Bardziej szczegółowoFunkcje: wielomianowa, wykładnicza, logarytmiczna wykład 2
Funkcje: wielomianowa, wykładnicza, logarytmiczna wykład 2 dr Mariusz Grządziel semestr zimowy 2013 Potęgowanie Dla dowolnej liczby dodatniej a oraz liczy wymiernej w = p/q definiujemy: a w (a 1/q ) p.
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ół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ół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 i Gospodarka Wodna w ramach projektu Era inżyniera pewna lokata na przyszłość Projekt
Bardziej szczegółowo5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów.
5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów. Algebra jest jednym z najstarszych działów matematyki dotyczącym początkowo tworzenia metod rozwiązywania równań
Bardziej szczegółowo11. Pochodna funkcji
11. Pochodna funkcji Definicja pochodnej funkcji w punkcie. Niech X R będzie zbiorem niepustym, f:x >R oraz niech x 0 X. Funkcję określoną wzorem, nazywamy ilorazem różnicowym funkcji f w punkcie Mówimy,
Bardziej szczegółowoWykładowcy. Podstawy matematyki dla informatyków. Różne książki dla dociekliwych. Materiały. Books in English. Zaliczenie. Klasówka.
Wykładowcy Podstawy matematyki dla informatyków Semestr zimowy 2017-18 Jacek Chrząszcz, chrzaszcz@mimuw.edu.pl, pokój 5710. Paweł Urzyczyn, urzy@mimuw.edu.pl, pokój 5700. Materiały Różne książki dla dociekliwych
Bardziej szczegółowoMatematyka dyskretna. Andrzej Łachwa, UJ, /14
Matematyka dyskretna Andrzej Łachwa, UJ, 2012 andrzej.lachwa@uj.edu.pl 1/14 Netografia i bibliografia 1. Wykłady z matematyki dyskretnej dla informatyków wazniak.mimuw.edu.pl http://wazniak.mimuw.edu.pl/index.php?title=matematyka_dyskretna_1
Bardziej szczegółowo2 Rodziny zbiorów. 2.1 Algebry i σ - algebry zbiorów. M. Beśka, Wstęp do teorii miary, rozdz. 2 11
M. Beśka, Wstęp do teorii miary, rozdz. 2 11 2 Rodziny zbiorów 2.1 Algebry i σ - algebry zbiorów Niech X będzie niepustym zbiorem. Rodzinę indeksowaną zbiorów {A i } i I 2 X nazywamy rozbiciem zbioru X
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 i Gospodarka Wodna w ramach projektu Era inżyniera pewna lokata na przyszłość Projekt
Bardziej szczegółowoZbiór X nazywamy dziedziną funkcji f i oznaczamy przez D f. Jego elementy to argumenty
Wstęp do analizy i algebry - II. Funkcje: podstawowe własności i przegląd funkcji elementarnych I. Funkcje - definicja, dziedzina, przeciwdziedzina, wykres, funkcje w ekonomii Matematyka pozwala nam opisywać
Bardziej szczegółowoFunkcje elementarne. Matematyka 1
Funkcje elementarne Matematyka 1 Katarzyna Trąbka-Więcław Funkcjami elementarnymi nazywamy: funkcje wymierne (w tym: wielomiany), wykładnicze, trygonometryczne, odwrotne do wymienionych (w tym: funkcje
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ół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ół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ół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ółowoZapisujemy:. Dla jednoczesnego podania funkcji (sposobu przyporządkowania) oraz zbiorów i piszemy:.
Funkcja Funkcją (stosuje się też nazwę odwzorowanie) określoną na zbiorze o wartościach w zbiorze nazywamy przyporządkowanie każdemu elementowi dokładnie jednego elementu. nazywamy argumentem, zaś wartością
Bardziej szczegółowo1. Definicja granicy właściwej i niewłaściwej funkcji.
V. Granica funkcji jednej zmiennej. 1. Definicja granicy właściwej i niewłaściwej funkcji. Definicja 1.1. (sąsiedztwa punktu i sąsiedztwa nieskończoności) Niech x 0 R, r > 0, a, b R. Definiujemy S(x 0,
Bardziej szczegółowoWstęp do Matematyki (1)
Wstęp do Matematyki (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Wstęp do Matematyki (1) Wprowadzenie 1 / 41 Wprowadzenie
Bardziej szczegółowo. : a 1,..., a n F. . a n Wówczas (F n, F, +, ) jest przestrzenią liniową, gdzie + oraz są działaniami zdefiniowanymi wzorami:
9 Wykład 9: Przestrzenie liniowe i podprzestrzenie Definicja 9 Niech F będzie ciałem Algebrę (V, F, +, ), gdzie V, + jest działaniem w zbiorze V zwanym dodawaniem wektorów, a jest działaniem zewnętrznym
Bardziej szczegółowoZbiory liczbowe i funkcje wykład 1
Zbiory liczbowe i funkcje wykład 1 dr Mariusz Grządziel 6 października 2008 1 Matematyka w naukach przyrodniczych Zależności funkcyjne w naukach przyrodniczych Rozwój algebry i analiza matematycznej w
Bardziej szczegółowoRekurencyjna przeliczalność
Rekurencyjna przeliczalność Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Funkcje rekurencyjne Jerzy Pogonowski (MEG) Rekurencyjna przeliczalność Funkcje rekurencyjne
Bardziej szczegółowo7. Miara, zbiory mierzalne oraz funkcje mierzalne.
7. Miara, zbiory mierzalne oraz funkcje mierzalne. Funkcję rzeczywistą µ nieujemną określoną na ciele zbiorów S będziemy nazywali miarą, gdy dla dowolnego ciągu A 0, A 1,... zbiorów rozłącznych należących
Bardziej szczegółowoCiągłość funkcji f : R R
Ciągłość funkcji f : R R Definicja 1. Otoczeniem o promieniu δ > 0 punktu x 0 R nazywamy zbiór O(x 0, δ) := (x 0 δ, x 0 + δ). Otoczeniem prawostronnym o promieniu δ > 0 punktu x 0 R nazywamy zbiór O +
Bardziej szczegółowo14. Przestrzenie liniowe
14. 14.1 Sformułować definicję przestrzeni liniowej. Podać przykłady. Przestrzenią liniową nad ciałem F nazywamy czwórkę uporządkowaną (V, F,+, ), gdzie V jest zbiorem niepustym, F jest ciałem, + jest
Bardziej szczegółowoB jest liniowo niezależny V = lin (B) 1. Układ pusty jest bazą przestrzeni trywialnej {θ}. a i v i = i I. b i v i, (a i b i ) v i = θ.
8 Baza i wymiar Definicja 8.1. Bazą przestrzeni liniowej nazywamy liniowo niezależny układ jej wektorów, który generuję tę przestrzeń. Innymi słowy, układ B = (v i ) i I wektorów z przestrzeni V jest bazą
Bardziej szczegółowoAlgebra. Jakub Maksymiuk. lato 2018/19
Algebra Jakub Maksymiuk lato 2018/19 Algebra W1/0 Zbiory z działaniami Podstawowe własności Potęgi Tabelka działania Przykłady Grupa symetryczna Algebra W1/1 Podstawowe własności Definicja: Działaniem
Bardziej szczegółowoPodstawy matematyki dla informatyków
Podstawy matematyki dla informatyków Materiały do wykładu dla I roku informatyki P. Urzyczyn urzy@mimuw.edu.pl 28 września 2015, godzina 12: 05 1 Język logiki matematycznej Zadaniem matematyki jest badanie
Bardziej szczegółowoKOGNITYWISTYKA UAM, JERZY POGONOWSKI Zakład Logiki i Kognitywistyki UAM
MATEMATYCZNE PODSTAWY KOGNITYWISTYKI WYKŁAD 3: FUNKCJE KOGNITYWISTYKA UAM, 2016 2017 JERZY POGONOWSKI Zakład Logiki i Kognitywistyki UAM pogon@amu.edu.pl Pojęcie funkcji to jedno z najważniejszych pojęć
Bardziej szczegółowoWykłady ostatnie. Rodzinę P podzbiorów przestrzeni X nazywamy σ - algebrą, jeżeli dla A, B P (2) A B P, (3) A \ B P,
Wykłady ostatnie CAŁKA LBSGU A Zasadnicza różnica koncepcyjna między całką Riemanna i całką Lebesgue a polega na zamianie ról przestrzeni wartości i przestrzeni argumentów przy konstrukcji sum górnych
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ół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ółowoLogika I. Wykład 1. Wprowadzenie do rachunku zbiorów
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 1. Wprowadzenie do rachunku zbiorów 1 Podstawowe pojęcia rachunku zbiorów Uwaga 1.1. W teorii mnogości mówimy o zbiorach
Bardziej szczegółowo14. Wykład 14: Grupa Galois wielomianu. Zasadnicze twierdzenia teorii Galois. Rozszerzenia rozwiązalne, cykliczne i abelowe
14. Wykład 14: Grupa Galois wielomianu. Zasadnicze twierdzenia teorii Galois. Rozszerzenia rozwiązalne, cykliczne i abelowe. 14.1. Grupa Galois wielomianu. Definicja 14.1. Niech F będzie ciałem, niech
Bardziej szczegółowoLOGIKA ALGORYTMICZNA
LOGIKA ALGORYTMICZNA 0.0. Relacje. Iloczyn kartezjański: A B := (a, b) : a A i b B} (zak ladamy, że (x, y) i (u, v) s a równe wtedy i tylko wtedy gdy x = u i y = v); A n := (x 1,..., x n ) : x i A}; R
Bardziej szczegółowoGranica funkcji wykład 4
Granica funkcji wykład 4 dr Mariusz Grządziel rok akademicki 03/04, semestr zimowy Problem obliczanie prędkości chwilowej Droga s, jaką przemierzy kulka ołowiana upuszczona z wysokiej wieży po czasie t:
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ółowoWykład 4 Udowodnimy teraz, że jeśli U, W są podprzetrzeniami skończenie wymiarowej przestrzeni V to zachodzi wzór: dim(u + W ) = dim U + dim W dim(u
Wykład 4 Udowodnimy teraz, że jeśli U, W są podprzetrzeniami skończenie wymiarowej przestrzeni V to zachodzi wzór: dim(u + W ) = dim U + dim W dim(u W ) Rzeczywiście U W jest podprzetrzenią przestrzeni
Bardziej szczegółowoWstęp do Matematyki (4)
Wstęp do Matematyki (4) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Liczby kardynalne Jerzy Pogonowski (MEG) Wstęp do Matematyki (4) Liczby kardynalne 1 / 33 Wprowadzenie
Bardziej szczegółowoGranica funkcji wykład 5
Granica funkcji wykład 5 dr Mariusz Grządziel 4 listopada 200 Problem obliczanie prędkości chwilowej Droga s, jaką przemierzy kulka ołowiana upuszczona z wysokiej wieży po czasie t: s = gt2 2, gdzie g
Bardziej szczegółowoFunkcje: wielomianowa, wykładnicza, logarytmiczna wykład 3
Funkcje: wielomianowa, wykładnicza, logarytmiczna wykład 3 dr Mariusz Grzadziel Katedra Matematyki, Uniwersytet Przyrodniczy we Wrocławiu semestr zimowy 2016/2017 Potęgowanie Dla dowolnej liczby dodatniej
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ółowoAnaliza Matematyczna I Wydział Nauk Ekonomicznych. wykład XI
Analiza Matematyczna I Wydział Nauk Ekonomicznyc wykład XI dr ab. Krzysztof Barański, prof. UW dr Waldemar Pałuba Uniwersytet Warszawski rok akad. 0/3 semestr zimowy Racunek różniczkowy Pocodna funkcji
Bardziej szczegółowo3 Abstrakcyjne kompleksy symplicjalne.
3 Abstrakcyjne kompleksy symplicjalne. Uwaga 3.1. Niech J będzie dowolnym zbiorem indeksów, niech R J = {(x α ) α J J α x α R} będzie produktem kartezjańskim J kopii R, niech E J = {(x α ) α J R J x α
Bardziej szczegółowoĆwiczenia z wyliczania wartości funkcji
Ćwiczenia z wyliczania wartości funkcji 4 października 2011 1 Wprowadzenie Wyliczanie wartości wyrażenia nie jest sprawą oczywistą, szczególnie jeżeli chodzi o aplikację funkcji. Poniższy tekst nie jest
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ół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ółowoWykładowcy. Podstawy matematyki dla informatyków. Materiały. Różne książki dla dociekliwych. Books in English. Zaliczenie
Wykładowcy Podstawy matematyki dla informatyków Semestr zimowy 2018-19 Jacek Chrząszcz, chrzaszcz@mimuw.edu.pl, pokój 5710. Paweł Urzyczyn, urzy@mimuw.edu.pl, pokój 5700. Materiały Różne książki dla dociekliwych
Bardziej szczegółowoWeronika Siwek, Metryki i topologie 1. (ρ(x, y) = 0 x = y) (ρ(x, y) = ρ(y, x))
Weronika Siwek, Metryki i topologie 1 Definicja 1. Załóżmy, że X, ρ: X X [0, ). Funkcja ρ spełnia następujące warunki: 1. x,y X (ρ(x, y) = 0 x = y) 2. 3. (ρ(x, y) = ρ(y, x)) x,y X (ρ(x, y) ρ(x, z) + ρ(z,
Bardziej szczegółowoZadania z algebry liniowej - sem. I Struktury algebraiczne
Zadania z algebry liniowej - sem. I Struktury algebraiczne Definicja 1. Działaniem dwuargumentowym w niepustym zbiorze A nazywamy każdą funkcję : A A A, tzn. taką funkcję, że zachodzi a,b A (a, b) ((a,
Bardziej szczegółowoGranice funkcji. XX LO (wrzesień 2016) Matematyka elementarna Temat #8 1 / 21
Granice funkcji XX LO (wrzesień 2016) Matematyka elementarna Temat #8 1 / 21 Granica funkcji Definicje Granica właściwa funkcji w punkcie wg Heinego Liczbę g nazywamy granicą właściwą funkcji f w punkcie
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ółowoMatematyka ETId I.Gorgol. Funkcja złożona i odwrotna. Funkcje
Funkcja złożona i odwrotna. Funkcje cyklometryczne. Definicja funkcji DEFINICJA Niech dane będa dwa zbiory D i P. Funkcja f : D P nazywamy przyporzadkowanie, które każdemu elementowi ze zbioru D przyporzadkowuje
Bardziej szczegółowoĆwiczenia 1 - Pojęcie grupy i rzędu elementu
Algebra 1 Ćwiczenia 1 - Pojęcie grupy i rzędu elementu Definicje i podstawowe własności Definicja 1. Niech X będzie niepustym zbiorem. Działaniem w zbiorze X nazywamy dowolne odwzorowanie (funkcję) działające
Bardziej szczegółowo