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

Wielkość: px
Rozpocząć pokaz od strony:

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

Transkrypt

1 4. Grup, pierścienie i ciała. Definicja : Zbiór A nazwam grupą jeśli jest wposaŝon w działanie wewnętrzne łączne, jeśli to działanie posiada element neutraln i kaŝd element zbioru A posiada element odwrotn. Czli : (A,o ) jest grupą, jeśli :. o :A A A (działanie wewnętrzne). dla dowolnch a, b, c A (ao o c = ao (bo c) (łączność działania) 3. istnieje taki element e A, Ŝe dla kaŝdego a A zachodzi równość ao e = eo a = a (e nazwam elementem neutralnm) 4. dla kaŝdego a A, istnieje element b A, taki Ŝe ao b = bo a = e (b nazwam elementem odwrotnm do a) Jeśli ponadto spełnion jest warunek : 5. dla dowolnch a, b A zachodzi ao b = bo a (działanie przemienne) to (A,o ) nazwam grupą abelową. Przkład : Zbiór R \ {0} wraz z mnoŝeniem jest grupą abelową. Zbiór Z (zbiór liczb całkowitch) wraz z dodawaniem jest grupą abelową. Definicja : Trójkę (A, o, ) nazwam ciałem, jeśli (A, o ) jest grupą abelową, jeśli (A \ {0}, ) jest grupą (smbolem 0 oznaczliśm element neutraln działania o ), oraz jeśli działanie jest rozdzielne względem działania o, to znacz : jeśli dla dowolnch a, b, c A a (bo c) = a bo a c jeśli ponadto działanie * jest przemienne, to ciało (A, o, ) nazwam ciałem przemiennm. Przkład : Zbiór R wraz z dodawaniem i mnoŝeniem stanowi ciało. Zbiór Q (zbiór liczb wmiernch) wraz z dodawaniem i mnoŝeniem stanowi ciało. Definicja : Pierścieniem nazwam strukturę algebraiczną (D, *, o ) o następującch własnościach:. (D, *) jest grupą abelową,. działanie o jest łączne, czli dla dowolnch a, b, c D a o (b o c) = (a o o c 3. działanie o jest rozdzielne względem działania *, czli dla dowolnch a, b, c D a o (b * c) = a o b * a o c (a * o c = a o c * b o c Jeśli ponadto: 4. działanie o jest przemienne to pierścień (D, *, o ) nazwam pierścieniem przemiennm, 5. w zbiorze D istnieje element neutraln działania o to pierścień (D, *, o ) nazwam pierścieniem z jednością. Przkład : Zbiór Z (zbiór liczb całkowitch) wraz z dodawaniem i mnoŝeniem stanowi pierścień. 5. Homomorfizm i izomorfizm struktur algebraicznch.

2 Homomorfizmem ze struktur A w strukturę B (tego samego tpu) jest kaŝde przekształcenie h : A B, które zachowuje funkcje i relacje struktur A, tzn. spełnia odpowiednie warunki: struktura Grup ( G, o ) (, ) odwzoro wanie G h : G G h( ao = h( a) h( ) a, b G b h()= Warunki Pierścienie i ciała ( P,+,o),( S,, ) Przestrzenie liniowe ( V, K, +, o), ( W, K, +, o) h : P S ϕ :V W h a, b P ( a+ = h( a) h( h( ao = h( a) h( h()=, h(0)=0 v, v V, a a K ϕ a v + a v ) = aϕ( v ) + a ϕ( ), ( v Homomorfizm f : A B nazwam izomorfizmem wted i tlko wted, gd jest przekształceniem wzajemnie jednoznacznm(róŝnowartościowe i na ) zbioru A na zbiór B. Odwzorowanie odwrotne h jest równieŝ izomorfizmem. Przkład Dana jest funkcja h : Z Z, określona wzorem h ( a) = na, gdzie n N. Dla dowolnego a Z mam na Z.Ponadto h ( 0) = 0 oraz dla kaŝdch a, b Z jest h ( a+ = n( a+ = na+ nb= h( a) + h(. Przkład Dane są pierścienie( R,+, ),( R,, ). W zbiorze R określone są działania i : h ( a = a+ b+, a, b R h ( a = a+ b+ ab h(x)=x+, x ( R,, ) h ( a = a+ b+ + = a+ b+ =a++b+=h(a)+h( 6. Rachunek zdań. Tautologie. Zdanie w sensie logicznm jest stwierdzeniem, o którm moŝna powiedzieć, Ŝe jest prawdziwe lub fałszwe, tzn. moŝem mu przpisać wartość logiczną ( - prawda, 0 fałsz). WróŜniam następujące spójniki (funktor zdaniotwórcze): negacja (inaczej zaprzeczenie) to zdanie mające postać nieprawda, Ŝe p, gdzie p jest zdaniem. W rachunku zdań negacja zapiswana jest jako: ~ p. Negację moŝna zdefiniować jako jednoargumentowe działanie określone w zbiorze zdań, które kaŝdemu zdaniu p przporządkowuje zdanie nieprawda, Ŝe p. Negację zdania p uwaŝa się za prawdziwą, gd zdanie p jest fałszwe, zaś za fałszwą, gd zdanie p jest prawdziwe

3 koniunkcja to zdanie złoŝone mające postać p q (p i, gdzie p, q są zdaniami. Koniunkcję moŝna zdefiniować jako dwuargumentowe działanie określone w zbiorze zdań, które zdaniom p, q przporządkowuje zdanie p q. Zdanie utworzone z innch zdań za pomocą koniunkcji jest teŝ nazwane ilocznem logicznm. Koniunkcję zdań uznaje się za prawdziwą wted i tlko wted, gd oba zdania p, q są prawdziwe. alternatwa to zdanie złoŝone mające postać p q (p lub, gdzie p, q są zdaniami. Alternatwę moŝna zdefiniować jako dwuargumentowe działanie określone w zbiorze zdań, które zdaniom p, q przporządkowuje zdanie p q. Zdanie utworzone z innch zdań prz uŝciu alternatw jest teŝ nazwane sumą logiczną. Alternatwa jest prawdziwa, jeŝeli którekolwiek z jej zdań składowch jest prawdziwe. W przeciwnm razie alternatwa zdań jest fałszwa. implikacja (inaczej wnikanie) to zdanie złoŝone mające postać p q (jeśli p, to, gdzie p, q są zdaniami. Zdanie p nazwam poprzednikiem implikacji, a q - jej następnikiem. Implikację zdań uznaje się za fałszwą w przpadku, kied zdanie p jest prawdziwe, a zdanie q - fałszwe. W pozostałch przpadkach implikację uznaje się za prawdziwą. równowaŝność to zdanie mające postać p q (p wted i tlko wted, gd, gdzie p, q są zdaniami. RównowaŜność zdań uznaje się za prawdziwą wted i tlko wted, gd wartości logiczne zdań p, q są takie same. p q ~ p ~ q p q p q p q p q Tautologia zdanie złoŝone, które jest zawsze prawdziwe, niezaleŝnie od wartości logicznch zdań prostch. Podstawowe prawa rachunku zdań (waŝniejsze tautologie): prawo de Morgana (prawo zaprzeczenia alternatw) ~ ( p ~ p ~ q Dowód: p q p q ~ ( p ~ p ~ q ~ p ~ q prawo de Morgana (prawo zaprzeczenia koniunkcji) ~ ( p ~ p ~ q prawo rozdzielności koniunkcji względem alternatw [ p ( q r) [( p ( p prawo rozdzielności alternatw względem koniunkcji

4 [ p ( q r) [( p ( p prawo zaprzeczenia implikacji [~ ( p ] [ p ~ q] /*******************DODATKOWE**************************** prawo kontrapozcji (transpozcji) ( p (~ q ~ p) prawo przemienności koniunkcji p q q p prawo przemienności alternatw p q q p prawo włączonego środka (z dwóch zdań: p lub ~ p jedno zawsze jest prawdziwe) p ~ p prawo sprzeczności (nie moŝe bć jednocześnie prawdziwe zdanie i jego zaprzeczenie) ~ ( p ~ p) prawo łączności koniunkcji [( p r] [ p ( q prawo łączności alternatw [( p r] [ p ( q prawo toŝsamości p p prawo idempotentności koniunkcji p ( p p) prawo idempotentności alternatw p ( p p) prawo rozdzielności koniunkcji względem alternatw [ p ( q r) [( p ( p prawo rozdzielności alternatw względem koniunkcji [ p ( q r) [( p ( p prawa pochłaniania [ p ( p ] p [ p ( p ] p *******************KONIEC DODATKOWEGO*******************/ Kwantfikator: kwantfikator ogóln ( dla kaŝdego x ) p(x) - zdanie to jest prawdziwe, gd zdanie złoŝone p (x) jest prawdziwe dla x U kaŝdego x U kwantfikator szczegółow ( istnieje takie x... ) p(x) - zdanie to jest prawdziwe, gd dla co najmniej jednego x U zdanie p (x) x U jest prawdziwe

5 7. Rachunek predkatów. Zmienne wolne i związane. Jest to sstem logiczn, w którm kwantfikator mogą mówić tlko o obiektach, nie zaś o ich zbiorach. Inaczej mówiąc jest to logiczna reprezentacja stwierdzeń o obiektach. Tak więc nie mogą wstępować kwantfikator tpu "dla kaŝdej funkcji X na Y...", "istnieje własność p, taka Ŝe..." cz "dla kaŝdego podzbioru X zbioru Z...". Predkat mają argument (obiekt np. człowiek, kartka) i wartość logiczną. Rachunek ten nazwa się teŝ krótko rachunkiem kwantfikatorów. ZaleŜnie od liczb predkatów rozróŝniam predkat -noargumentowe, -arg., wieloargumentowe. Krótko mówiąc: predkat to funkcja której wartością jest prawda lub fałsz. Sstem rachunku predkatów pierwszego rzędu składa się z: - stałch, - zmiennch, - funkcji n-argumentowch dla pewnego n naturalnego, - relacji n-argumentowch dla pewnego n naturalnego, - relacji logicznch (takich jak alternatwa, koniunkcja i negacja), - kwantfikatora ogólnego ( lub ) zwanego teŝ uniwersalnm i egzstencjalnego ( lub ) zwanego równieŝ szczegółowm. JeŜeli dana zmienna wstępuje pod kwantfikatorem mówi się o niej, Ŝe jest to zmienna związana. W przeciwnm wpadku jest zmienną wolną. RozwaŜm trz następujące form zdaniowe: R( ), R( ), R( ) x x W pierwszej z nich związane są obie zmienne, w drugim tlko pierwsza zmienna, w trzecim tlko druga. Pierwsze jest zdaniem, drugie i trzecie to funkcje zdaniowe odpowiednio zmiennch, x. Funkcja zdaniowa to wraŝenie zawierające zmienne wolne, które w wniku związania tch zmiennch kwantfikatorami lub podstawienia za nie odpowiednich nazw staje się zdaniem. Przkład: - Dla kaŝdego x istnieje taki, Ŝe x>

6 x> - Jeśli samochód naleŝ do Karola to jest on zielon. posiada(karol, auto) kolor(auto, zielon) auto - Niektórz ludzie lubią lod. x x ( x) posiada( Karol, X) kolor( zielon) 8. Indukcja matematczna Jeśli T(n) oznacza pewne twierdzenie mówiące o liczbach naturalnch n, to ab udowodnić, Ŝe twierdzenie to jest prawdziwe dla kaŝdej liczb naturalnej n nie mniejszej od n 0 (samo n 0 moŝe bć równe albo bć inną ustaloną liczbą naturalną), wstarcz: * dowieść, Ŝe jest ono prawdziwe dla liczb n 0, to znacz sprawdzić, Ŝe zachodzi T(n 0 ). * dla kaŝdej liczb naturalnej n nie mniejszej od n 0, wchodząc z załoŝenia, Ŝe twierdzenie to jest prawdziwe dla liczb n, wprowadzić, Ŝe jest ono prawdziwe dla n +, chodzi bowiem o to, ab wkazać, Ŝe dla kaŝdej liczb naturalnej n nie mniejszej od n 0 prawdziwa jest implikacja: T(n) => T(n+) Przkład: n(+ n) Dowód n= Teza: Dla kaŝdego n N n(+ n) (*) n= (+ ) T() =, P =, L = P ZałoŜenie ind. n(+ n) T(n): n= Teza ind. ( n+ )( n+ ) T(n+): n + ( n+ ) = Dowód: n ( + n) ++ +n+(n+)=(++ +n)+(n+)= +(n+)= n ( n+ )( n+ ) =(n+)( +)= Na moc indukcji wzór (*) jest prawdziw dla kaŝdej liczb naturalnej. 9. Relacje i funkcje. Relacje porządku. Relacje równowaŝności i ich własności. Relacje Dane są zbior Def. Relacja S, T. RozwaŜm zbiór S T (iloczn kartezjański)

7 Dowoln podzbiór R zbioru S T ( R S T) S T. W przpadku, gd RóŜne sposob zapisu relacji: ) XxX ) ( ) R 3) xr S = przkład R= nazwam relacja dwuargumentowa na S = T mówim o relacji w zbiorze S. { 0,,,3}, R= {( ) : x= 3 } {( 0,3 )(,,)(,, )(, 3,0) } Zawsze istnieje relacja odwrotna f = {( x) : = f( x) } funkcja f jest odwracalna. I oczwiście wówczas f = f. Relacja równości (w zbiorze S ): E = {( ) : x S} S S Inaczej def ( ) E x= Relacja nierówności(słaba) w zbiorze liczb rzeczwistch R = {( ) : x } R R R = { xr : x } R R Relacja nierówności(słaba) < w zbiorze liczb rzeczwistch R = : x< R {( ) } R, relacja ta jest funkcja, gd dana Relacje równowaŝności Relacje R w zbiorze S, która jest zwrotna, smetrczna i przechodnia nazwam relacja równowaŝności Rs Zwczajowo dla takiej relacji uŝwam smbolu ~. O elementach miedz, którmi da się napisać s ~ t mówim, ze są równowaŝne (podobne, przstające, izomorficzne). Własności relacji Mówim, ze relacja R w zbiorze S jest: Z x R ( ) x S( ) ( PZ) x S( x) R ( S) S( ) R (, x R) ( AS) S( ( ) R (, x) R) x= ( P), z S( ( ) R (, z) R) ( z) R ( Z) x S xrx ( S) S xr Rx ( AS) S( xr Rx) x= ( P) ( xr Rz) xrz, z S

8 Z-zwrotna, PZ-przeciwzwrotna, S-smetrczna, AS-antsmetrczna, P-przechodnia. Przkład X-zbior prostch równoległch kaŝde dwie są równolegle R XxX Relacja l l określona w zbiorze prostch na płaszczźnie oznaczająca, Ŝe proste l i l Pokrwają się lub są równoległe: Z l l ( ) ( S) l l l l ( P)( l l ) ( l l ) ( l l ) 3 relacja ta jest relacja równowaŝności f R R jeŝeli x f i x f x = x (lub za f podstawiam G) 3 0. Zliczanie. Zasada szufladkowa. Zasada szufladkowa Dirichleta twierdzenie mówiące, Ŝe jeŝeli m przedmiotów włoŝm do n róŝnch szufladek, prz czm m > n, to co najmniej w jednej szufladce znajdą się co najmniej dwa przedmiot. Sformułowanie twierdzenia przpisuje się Dirichletowi, a w bardziej formalnm jęzku moŝna wsłowić je na przkład tak: JeŜeli zbiór X licz n elementów i i n > k, to którś ze zbiorów X i musi liczć prznajmniej dwa element. Inna wersja formalna brzmi następująco: JeŜeli zbiór X licz n elementów, zbiór Y m elementów i n > m, to nie istnieje funkcja róŝnowartościowa ze zbioru X do zbioru. Przkład: Dsponujem 5 szufladkami, oraz n kulkami, n>5. Na podstawie powŝszej zasad łatwo wkazać, Ŝe w co najmniej jednej szufladce znajdą się więcej niŝ dwie kulki.

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

1. 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

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

SKRYPT Z MATEMATYKI. Wstęp do matematyki. Rafał Filipów Piotr Szuca Publikacja współfinansowana przez Unię Europejską w ramach Europejskiego Funduszu Społecznego SKRYPT Z MATEMATYKI Wstęp do matematki Rafał Filipów Piotr Szuca Publikacja współfinansowana przez Unię Europejską

Bardziej szczegółowo

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Np. 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ółowo

Matematyka dyskretna. 1. Relacje

Matematyka dyskretna. 1. Relacje Matematyka dyskretna 1. Relacje Definicja 1.1 Relacją dwuargumentową nazywamy podzbiór produktu kartezjańskiego X Y, którego elementami są pary uporządkowane (x, y), takie, że x X i y Y. Uwaga 1.1 Jeśli

Bardziej szczegółowo

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

Ziemia 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ółowo

I. 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. 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ółowo

1. R jest grupą abelową względem działania + (tzn. działanie jest łączne, przemienne, istnieje element neutralny oraz element odwrotny)

1. R jest grupą abelową względem działania + (tzn. działanie jest łączne, przemienne, istnieje element neutralny oraz element odwrotny) Rozdział 1 Pierścienie i ideały Definicja 1.1 Pierścieniem nazywamy trójkę (R, +, ), w której R jest zbiorem niepustym, działania + : R R R i : R R R są dwuargumentowe i spełniają następujące warunki dla

Bardziej szczegółowo

1 Rachunek zdań. w(p) = 0 lub p 0 lub [p] = 0. a jeśli jest fałszywe to:

1 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ółowo

Programowanie nieliniowe optymalizacja funkcji wielu zmiennych

Programowanie nieliniowe optymalizacja funkcji wielu zmiennych Ekonomia matematczna II Ekonomia matematczna II Prowadząc ćwiczenia Programowanie nieliniowe optmalizacja unkcji wielu zmiennch Modele programowania liniowego często okazują się niewstarczające w modelowaniu

Bardziej szczegółowo

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych

Przykł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ółowo

Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.

Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność

Bardziej szczegółowo

Rachunek zdao i logika matematyczna

Rachunek zdao i logika matematyczna Rachunek zdao i logika matematyczna Pojęcia Logika - Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Rachunek zdao - dział logiki

Bardziej szczegółowo

Całkowanie przez podstawianie i dwa zadania

Całkowanie przez podstawianie i dwa zadania Całkowanie przez podstawianie i dwa zadania Antoni Kościelski Funkcje dwóch zmiennch i podstawianie Dla funkcji dwóch zmiennch zachodzi następując wzór na całkowanie przez podstawianie: f(x(a, b), (a,

Bardziej szczegółowo

1. 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 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

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości

Bardziej szczegółowo

1 Elementy logiki i teorii mnogości

1 Elementy logiki i teorii mnogości 1 Elementy logiki i teorii mnogości 11 Elementy logiki Notatki do wykładu Definicja Zdaniem logicznym nazywamy zdanie oznajmujące, któremu przysługuje jedna z dwu logicznych ocen prawda (1) albo fałsz

Bardziej szczegółowo

Lista 1 (elementy logiki)

Lista 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ółowo

Wstęp do Techniki Cyfrowej... Algebra Boole a

Wstęp do Techniki Cyfrowej... Algebra Boole a Wstęp do Techniki Cyfrowej... Algebra Boole a Po co AB? Świetne narzędzie do analitycznego opisu układów logicznych. 1854r. George Boole opisuje swój system dedukcyjny. Ukoronowanie zapoczątkowanych w

Bardziej szczegółowo

3.3. UKŁADY RÓWNAŃ LINIOWYCH. Równanie liniowe z dwiema niewiadomymi. Równaniem liniowym z dwiema niewiadomymi x i y nazywamy równanie postaci

3.3. UKŁADY RÓWNAŃ LINIOWYCH. Równanie liniowe z dwiema niewiadomymi. Równaniem liniowym z dwiema niewiadomymi x i y nazywamy równanie postaci .. UKŁADY RÓWNAŃ LINIOWYCH Równanie liniowe z dwiema niewiadommi Równaniem liniowm z dwiema niewiadommi i nazwam równanie postaci A B C 0, gdzie A, B, C R i A B 0 m równania z dwiema niewiadommi nazwam

Bardziej szczegółowo

1 Podstawowe oznaczenia

1 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ółowo

Ciała i wielomiany 1. przez 1, i nazywamy jedynką, zaś element odwrotny do a 0 względem działania oznaczamy przez a 1, i nazywamy odwrotnością a);

Ciała i wielomiany 1. przez 1, i nazywamy jedynką, zaś element odwrotny do a 0 względem działania oznaczamy przez a 1, i nazywamy odwrotnością a); Ciała i wielomiany 1 Ciała i wielomiany 1 Definicja ciała Niech F będzie zbiorem, i niech + ( dodawanie ) oraz ( mnożenie ) będą działaniami na zbiorze F. Definicja. Zbiór F wraz z działaniami + i nazywamy

Bardziej szczegółowo

Wstęp do matematyki listy zadań

Wstę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ółowo

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH 5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Temat, którym mamy się tu zająć, jest nudny i żmudny będziemy się uczyć techniki obliczania wartości logicznej zdań dowolnie złożonych. Po co? możecie zapytać.

Bardziej szczegółowo

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Definicja 1: Tautologia jest to takie wyrażenie, którego wartość logiczna jest prawdą przy wszystkich możliwych wartościowaniach zmiennych

Bardziej szczegółowo

Wykład I. Literatura. Oznaczenia. ot(x 0 ) zbiór wszystkich otoczeń punktu x 0

Wykł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ółowo

1 Rachunek zdań, podstawowe funk tory logiczne

1 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ółowo

Kryteria oceniania z matematyki zakres podstawowy Klasa I

Kryteria oceniania z matematyki zakres podstawowy Klasa I Kryteria oceniania z matematyki zakres podstawowy Klasa I zakres Dopuszczający Dostateczny Dobry bardzo dobry Zdanie logiczne ( proste i złożone i forma zdaniowa oraz prawa logiczne dotyczące alternatywy,

Bardziej szczegółowo

Teoria ciała stałego Cz. I

Teoria ciała stałego Cz. I Teoria ciała stałego Cz. I 1. Elementy teorii grup Grupy symetrii def. Grupy Zbiór (skończony lub nieskończony) elementów {g} tworzy grupę gdy: - zdefiniowana operacja mnożenia (złożenia) g 1 g 2 = g 3

Bardziej szczegółowo

Podstawy Automatyki. Wykład 9 - Podstawy matematyczne automatyki procesów dyskretnych. dr inż. Jakub Możaryn. Instytut Automatyki i Robotyki

Podstawy Automatyki. Wykład 9 - Podstawy matematyczne automatyki procesów dyskretnych. dr inż. Jakub Możaryn. Instytut Automatyki i Robotyki Wykład 9 - Podstawy matematyczne automatyki procesów dyskretnych Instytut Automatyki i Robotyki Warszawa, 2015 Kody liczb całkowitych nieujemnych Kody liczbowe dzielimy na analityczne nieanalityczne (symboliczne)

Bardziej szczegółowo

Zbiory. Specjalnym zbiorem jest zbiór pusty nie zawierajacy żadnych elementów. Oznaczamy go symbolem.

Zbiory. 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ółowo

Matematyka dyskretna

Matematyka dyskretna Matematyka dyskretna Wykład 6: Ciała skończone i kongruencje Gniewomir Sarbicki 24 lutego 2015 Relacja przystawania Definicja: Mówimy, że liczby a, b Z przystają modulo m (co oznaczamy jako a = b (mod

Bardziej szczegółowo

RÓWNANIA RÓŻNICZKOWE WYKŁAD 3

RÓWNANIA RÓŻNICZKOWE WYKŁAD 3 RÓWNANIA RÓŻNICZKOWE WYKŁAD 3 Równania różniczkowe liniowe Metoda przewidwań Metoda przewidwań całkowania równania niejednorodnego ' p( x) opiera się na następującm twierdzeniu. Twierdzenie f ( x) Suma

Bardziej szczegółowo

Baza w jądrze i baza obrazu ( )

Baza w jądrze i baza obrazu ( ) Przykład Baza w jądrze i baza obrazu (839) Znajdź bazy jądra i obrazu odwzorowania α : R 4 R 3, gdzie α(x, y, z, t) = (x + 2z + t, 2x + y 3z 5t, x y + z + 4t) () zór ten oznacza, że α jest odwzorowaniem

Bardziej szczegółowo

ALGEBRA Z GEOMETRIĄ PIERŚCIENIE, CIAŁA I HOMOMORFIZMY

ALGEBRA Z GEOMETRIĄ PIERŚCIENIE, CIAŁA I HOMOMORFIZMY ALGEBRA Z GEOMETRIĄ 1/10 PIERŚCIENIE, CIAŁA I HOMOMORFIZMY Piotr M. Hajac Uniwersytet Warszawski Wykład 3, 16.10.2013 Typeset by Jakub Szczepanik. Definicja pierścienia 2/10 Zbiór R wyposażony w dwa działania

Bardziej szczegółowo

Uniwersytet w Białymstoku. Wykład monograficzny

Uniwersytet w Białymstoku. Wykład monograficzny Uniwersytet w Białymstoku Wydział Matematyczno-Fizyczny Instytut Matematyki dr hab. Ryszard Andruszkiewicz Wykład monograficzny Wykład monograficzny prowadzony dla studentów V roku matematyki przez dr

Bardziej szczegółowo

Wykład Analiza jakościowa równań różniczkowych

Wykład Analiza jakościowa równań różniczkowych Na podstawie książki J. Rusinka, Równania różniczkowe i różnicowe w zarządzaniu, Oficna Wdawnicza WSM, Warszawa 2005. 21 maja 2012 Definicja Stabilność Niech = F (x, ) będzie równaniem różniczkowm. Rozwiązanie

Bardziej szczegółowo

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

Egzamin 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ółowo

Relacje binarne. Def. Relację ϱ w zbiorze X nazywamy. antysymetryczną, gdy x, y X (xϱy yϱx x = y) spójną, gdy x, y X (xϱy yϱx x = y)

Relacje binarne. Def. Relację ϱ w zbiorze X nazywamy. antysymetryczną, gdy x, y X (xϱy yϱx x = y) spójną, gdy x, y X (xϱy yϱx x = y) Relacje binarne Niech X będzie niepustym zbiorem. Jeśli ϱ X X to mówimy, że ϱ jest relacją w zbiorze X. Zamiast pisać (x, y) ϱ będziemy stosować zapis xϱy. Def. Relację ϱ w zbiorze X nazywamy zwrotną,

Bardziej szczegółowo

http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania

Bardziej szczegółowo

Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania

Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania Testerzy oprogramowania lub osoby odpowiedzialne za zapewnienie jakości oprogramowania oprócz wykonywania testów mogą zostać

Bardziej szczegółowo

Rachunek logiczny. 1. Język rachunku logicznego.

Rachunek logiczny. 1. Język rachunku logicznego. Rachunek logiczny. Podstawową własnością rozumowania poprawnego jest zachowanie prawdy: rozumowanie poprawne musi się kończyć prawdziwą konkluzją, o ile wszystkie przesłanki leżące u jego podstaw były

Bardziej szczegółowo

Adam Meissner.

Adam Meissner. Instytut Automatyki i Inżynierii Informatycznej Politechniki Poznańskiej Adam Meissner Adam.Meissner@put.poznan.pl http://www.man.poznan.pl/~ameis SZTUCZNA INTELIGENCJA Podstawy logiki pierwszego rzędu

Bardziej szczegółowo

Wstęp do matematyki Piotr Jędrzejewicz UMK Toruń 2014

Wstęp do matematyki Piotr Jędrzejewicz UMK Toruń 2014 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ółowo

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

Ć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ółowo

Przestrzenie liniowe

Przestrzenie liniowe Rozdział 4 Przestrzenie liniowe 4.1. Działania zewnętrzne Niech X oraz F będą dwoma zbiorami niepustymi. Dowolną funkcję D : F X X nazywamy działaniem zewnętrznym w zbiorze X nad zbiorem F. Przykład 4.1.

Bardziej szczegółowo

Elementy logiki (4 godz.)

Elementy logiki (4 godz.) Elementy logiki (4 godz.) Spójniki zdaniotwórcze, prawa de Morgana. Wyrażenie implikacji za pomocą alternatywy i negacji, zaprzeczenie implikacji. Prawo kontrapozycji. Podstawowe prawa rachunku zdań. Uczestnik

Bardziej szczegółowo

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? Semina Nr 3 Scientiarum 2004 Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? W tym krótkim opracowaniu chciałbym przedstawić dowody obu twierdzeń Gödla wykorzystujące

Bardziej szczegółowo

Arytmetyka liczb binarnych

Arytmetyka liczb binarnych Wartość dwójkowej liczby stałoprzecinkowej Wartość dziesiętna stałoprzecinkowej liczby binarnej Arytmetyka liczb binarnych b n-1...b 1 b 0,b -1 b -2...b -m = b n-1 2 n-1 +... + b 1 2 1 + b 0 2 0 + b -1

Bardziej szczegółowo

Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do

Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do testu z filozofii jest zaliczenie testu z logiki i zaliczenie

Bardziej szczegółowo

Predykat. Matematyka Dyskretna, Podstawy Logiki i Teorii Mnogości Barbara Głut

Predykat. Matematyka Dyskretna, Podstawy Logiki i Teorii Mnogości Barbara Głut Predykat Weźmy pod uwagę następujące wypowiedzi: (1) Afryka jest kontynentem. (2) 7 jest liczbą naturalną. (3) Europa jest mniejsza niż Afryka. (4) 153 jest podzielne przez 3. Są to zdania jednostkowe,

Bardziej szczegółowo

1 Określenie pierścienia

1 Określenie pierścienia 1 Określenie pierścienia Definicja 1. Niech P będzie zbiorem, w którym określone są działania +, (dodawanie i mnożenie). Mówimy, że struktura (P, +, ) jest pierścieniem, jeżeli spełnione są następujące

Bardziej szczegółowo

Indukcja matematyczna

Indukcja matematyczna Indukcja matematyczna 1 Zasada indukcji Rozpatrzmy najpierw następujący przykład. Przykład 1 Oblicz sumę 1 + + 5 +... + (n 1). Dyskusja. Widzimy że dla n = 1 ostatnim składnikiem powyższej sumy jest n

Bardziej szczegółowo

Plan wynikowy z przedmiotu: MATEMATYKA

Plan wynikowy z przedmiotu: MATEMATYKA Plan wynikowy z przedmiotu: MTEMTYK Szkoła: Liceum Ogólnokształcące Klasa: pierwsza Poziom nauczania: rozszerzony Numer programu: DKW-05-3/0 Podręcznik: MTEMTYK Henryk Pawłowski zakres rozszerzony, Wydawnictwo

Bardziej szczegółowo

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d)

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d) Matemaryka dyskretna - zadania Zadanie 1. Opisać zbiór wszystkich elementów rangi k zbioru uporządkowanego X dla każdej liczby naturalnej k, gdy X jest rodziną podzbiorów zbioru skończonego Y. Elementem

Bardziej szczegółowo

Grupy, pierścienie i ciała

Grupy, pierścienie i ciała Grupy, pierścienie i ciała Definicja: Niech A będzie niepustym zbiorem. Działaniem wewnętrznym (lub, krótko, działaniem) w zbiorze A nazywamy funkcję : A A A. Niech ponadto B będzie niepustym zbiorem.

Bardziej szczegółowo

Lista 0 wstęp do matematyki

Lista 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ółowo

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 15. Trójwartościowa logika zdań Łukasiewicza 1 Wprowadzenie W logice trójwartościowej, obok tradycyjnych wartości logicznych,

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)];

(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ółowo

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 14. Wprowadzenie do logiki intuicjonistycznej 1 Przedstawione na poprzednich wykładach logiki modalne możemy uznać

Bardziej szczegółowo

Definicja odwzorowania ciągłego i niektóre przykłady

Definicja odwzorowania ciągłego i niektóre przykłady Odwzorowania Pojęcie odwzorowania pomiędzy dwoma zbiorami było już definiowane, ale dawno, więc nie od rzeczy będzie przypomnieć, że odwzorowaniem nazywamy sposób przyporządkowania (niekoniecznie każdemu)

Bardziej szczegółowo

Logika i teoria mnogości Ćwiczenia

Logika 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ółowo

Scenariusz lekcji Zwierciadła i obrazy w zwierciadłach

Scenariusz lekcji Zwierciadła i obrazy w zwierciadłach Scenariusz lekcji. Temat lekcji: Zwierciadła i obraz w zwierciadłach 2. Cele: a) Cele poznawcze: Uczeń wie: - co to jest promień świetln, - Ŝe światło rozchodzi się prostoliniowo, - na czm polega zjawisko

Bardziej szczegółowo

Topologia Algebraiczna - Pomocnik studenta. 1. Język teorii kategorii

Topologia Algebraiczna - Pomocnik studenta. 1. Język teorii kategorii Topologia Algebraiczna - Pomocnik studenta. 1. Język teorii kategorii Agnieszka Bojanowska Stefan Jackowski 24 listopada 2010 1 Podstawowe pojęcia Bedziemy uzywać następujących pojęć i przykładów dotyczących

Bardziej szczegółowo

Rozwiązywanie belek prostych i przegubowych wyznaczanie reakcji i wykresów sił przekrojowych 6

Rozwiązywanie belek prostych i przegubowych wyznaczanie reakcji i wykresów sił przekrojowych 6 ozwiązwanie beek prostch i przegubowch wznaczanie reakcji i wkresów sił przekrojowch 6 Obciążenie beki mogą stanowić sił skupione, moment skupione oraz obciążenia ciągłe q rs. 6.. s. 6. rzed przstąpieniem

Bardziej szczegółowo

Równania różniczkowe cząstkowe

Równania różniczkowe cząstkowe Równania różniczkowe cząstkowe Definicja: Równaniem różniczkowm cząstkowm nazwam takie równanie różniczkowe w którm wstępuje co najmniej jedna pochodna cząstkowa niewiadomej funkcji dwóch lub więcej zmiennch

Bardziej szczegółowo

1 Funktory i kwantyfikatory

1 Funktory i kwantyfikatory Logika, relacje v07 egzamin mgr inf niestacj 1 1 Funktory i kwantyfikatory x X x X Φ(x) dla każdego x X (= dla wszystkich x) zachodzi formuła Φ(x) Φ(x) istnieje x X takie, że (= dla pewnego x) zachodzi

Bardziej szczegółowo

Algebra liniowa z geometrią

Algebra liniowa z geometrią Algebra liniowa z geometrią Maciej Czarnecki 15 stycznia 2013 Spis treści 1 Geometria płaszczyzny 2 1.1 Wektory i skalary........................... 2 1.2 Macierze, wyznaczniki, układy równań liniowych.........

Bardziej szczegółowo

... [a n,b n ] kn [M 1,M 2 ], gdzie a i M 1, b i M 2, dla i {1,..., n}. Wówczas: [a 1,b 1 ] k 1. ... [a n,b n ] kn =(a 1 b 1 a 1

... [a n,b n ] kn [M 1,M 2 ], gdzie a i M 1, b i M 2, dla i {1,..., n}. Wówczas: [a 1,b 1 ] k 1. ... [a n,b n ] kn =(a 1 b 1 a 1 4. Wykład 4: Grupy rozwiązalne i nilpotentne. Definicja 4.1. Niech (G, ) będzie grupą. Wówczas (1) ciąg podgrup grupy G zdefiniowany indukcyjnie wzorami G (0) = G, G (i) =[G (i 1),G (i 1) ], dla i N nazywamy

Bardziej szczegółowo

Metody dowodzenia twierdze«

Metody dowodzenia twierdze« Metody dowodzenia twierdze«1 Metoda indukcji matematycznej Je±li T (n) jest form zdaniow okre±lon w zbiorze liczb naturalnych, to prawdziwe jest zdanie (T (0) n N (T (n) T (n + 1))) n N T (n). 2 W przypadku

Bardziej szczegółowo

Automatyka Lab 1 Teoria mnogości i algebra logiki. Akademia Morska w Szczecinie - Wydział Inżynieryjno-Ekonomiczny Transportu

Automatyka Lab 1 Teoria mnogości i algebra logiki. Akademia Morska w Szczecinie - Wydział Inżynieryjno-Ekonomiczny Transportu Automatyka Lab 1 Teoria mnogości i algebra logiki Harmonogram zajęć Układy przełączające: 1. Algebra logiki - Wprowadzenie 2. Funkcje logiczne - minimalizacja funkcji 3. Bramki logiczne - rysowanie układów

Bardziej szczegółowo

Metodydowodzenia twierdzeń

Metodydowodzenia twierdzeń 1 Metodydowodzenia twierdzeń Przez zdanie rozumiemy dowolne stwierdzenie, które jest albo prawdziwe, albo faªszywe (nie mo»e by ono jednocze±nie prawdziwe i faªszywe). Tradycyjnie b dziemy u»ywali maªych

Bardziej szczegółowo

2. FUNKCJE. jeden i tylko jeden element y ze zbioru, to takie przyporządkowanie nazwiemy FUNKCJĄ, lub

2. 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ółowo

1. Określenie pierścienia

1. Określenie pierścienia 1. Określenie pierścienia Definicja 1. Niech P będzie zbiorem, w którym określone są działania +, (dodawanie i mnożenie). Mówimy, że struktura (P, +, ) jest pierścieniem, jeżeli spełnione są następujące

Bardziej szczegółowo

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

Zmienne losowe typu ciągłego. Parametry zmiennych losowych. Izolda Gorgol wyciąg z prezentacji (wykład III) Zmienne losowe tpu ciągłego. Parametr zmiennch losowch. Izolda Gorgol wciąg z prezentacji (wkład III) Zmienna losowa tpu ciągłego Zmienna losowa X o ciągłej dstrbuancie F nazwa się zmienną losową tpu ciągłego,

Bardziej szczegółowo

Sylabus do programu kształcenia obowiązującego od roku akademickiego 2012/13

Sylabus do programu kształcenia obowiązującego od roku akademickiego 2012/13 Sylabus do programu kształcenia obowiązującego od roku akademickiego 2012/13 (1) Nazwa Algebra liniowa z geometrią (2) Nazwa jednostki prowadzącej Instytut Matematyki przedmiot (3) Kod () Studia Kierunek

Bardziej szczegółowo

Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów

Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan na pytanie o odniesienie przedmiotowe zdań odpowiedź

Bardziej szczegółowo

Logika Matematyczna. Zadania Egzaminacyjne, 2007

Logika Matematyczna. Zadania Egzaminacyjne, 2007 Logika Matematyczna Zadania Egzaminacyjne, 2007 I Rok Językoznawstwa i Informacji Naukowej UAM Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Podajemy rozwiązania zadań egzaminacyjnych.

Bardziej szczegółowo

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi.

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi. Grupy. Permutacje 1 1 Definicja grupy Niech G będzie zbiorem. Działaniem na zbiorze G nazywamy odwzorowanie (oznaczane, jak mnożenie, przez ) przyporządkowujące każdej parze uporządkowanej (a, b) G G element

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ 1 Inferencyjna równoważność formuł Definicja 9.1. Formuła A jest

Bardziej szczegółowo

φ(x 1,..., x n ) = a i x 2 i +

φ(x 1,..., x n ) = a i x 2 i + Teoria na egzamin z algebry liniowej Wszystkie podane pojęcia należy umieć określić i podać pprzykłady, ewentualnie kontrprzykłady. Ponadto należy znać dowody tam gdzie to jest zaznaczone. Liczby zespolone.

Bardziej szczegółowo

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

25. RÓWNANIA RÓŻNICZKOWE PIERWSZEGO RZĘDU. y +y tgx=sinx 5. RÓWNANIA RÓŻNICZKOWE PIERWSZEGO RZĘDU 5.1. Pojęcia wstępne. Klasfikacja równań i rozwiązań Rozróżniam dwa zasadnicze tp równań różniczkowch: równania różniczkowe zwczajne i równania różniczkowe cząstkowe.

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony

Bardziej szczegółowo

Definicja: alfabetem. słowem długością słowa

Definicja: alfabetem. słowem długością słowa Definicja: Niech X będzie zbiorem niepustym. Zbiór ten będziemy nazywać alfabetem. Skończony ciąg elementów alfabetu X będziemy nazywać słowem a liczbę elementów tego ciągu nazywamy długością słowa. Na

Bardziej szczegółowo

Zadania z analizy matematycznej - sem. I Liczby i funkcje

Zadania 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ółowo

Pomiar bezpośredni przyrządem wskazówkowym elektromechanicznym

Pomiar bezpośredni przyrządem wskazówkowym elektromechanicznym . Rodzaj poiaru.. Poiar bezpośredni (prost) W przpadku poiaru pojednczej wielkości przrząde wskalowan w jej jednostkach wartość niedokładności ± określa graniczn błąd przrządu analogowego lub cfrowego

Bardziej szczegółowo

Automatyzacja Ćwicz. 2 Teoria mnogości i algebra logiki Akademia Morska w Szczecinie - Wydział Inżynieryjno-Ekonomiczny Transportu

Automatyzacja Ćwicz. 2 Teoria mnogości i algebra logiki Akademia Morska w Szczecinie - Wydział Inżynieryjno-Ekonomiczny Transportu Automatyzacja Ćwicz. 2 Teoria mnogości i algebra logiki Historia teorii mnogości Teoria mnogości to inaczej nauka o zbiorach i ich własnościach; Zapoczątkowana przez greckich matematyków i filozofów w

Bardziej szczegółowo

Programowanie deklaratywne

Programowanie deklaratywne Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne

Bardziej szczegółowo

Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm

Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm 1 Grupa ilorazowa Niech H b edzie dzielnikiem normalnym grupy G. Oznaczmy przez G/H zbiór wszystkich warstw lewostronnych grupy G wzgl edem podgrupy

Bardziej szczegółowo

LOGIKA MATEMATYCZNA, ZBIORY I LICZBY RZECZYWISTE

LOGIKA MATEMATYCZNA, ZBIORY I LICZBY RZECZYWISTE LOGIKA MATEMATYCZNA, ZBIORY I LICZBY RZECZYWISTE ZDANIA W LOGICE Zdaniem nazywamy w logice wypowiedź twierdzącą, której można przypisać jedną z dwóch ocen: prawdę lub fałsz. Zdanie zaczynające się np.

Bardziej szczegółowo

W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora.

W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora. 1. Podstawy matematyki 1.1. Geometria analityczna W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora. Skalarem w fizyce nazywamy

Bardziej szczegółowo

( ) σ v. Adam Bodnar: Wytrzymałość Materiałów. Analiza płaskiego stanu naprężenia.

( ) σ v. Adam Bodnar: Wytrzymałość Materiałów. Analiza płaskiego stanu naprężenia. Adam Bdnar: Wtrzmałść Materiałów Analiza płaskieg stanu naprężenia 5 ANALIZA PŁASKIEGO STANU NAPRĘŻENIA 5 Naprężenia na dwlnej płaszczźnie Jak pamiętam płaski stan naprężenia w punkcie cechuje t że wektr

Bardziej szczegółowo

Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3

Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3 Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan gry: 1 Czym są zdania? 2 Język Klasycznego Rachunku Zdań syntaktyka 3 Język

Bardziej szczegółowo

Analiza matematyczna 1

Analiza 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ółowo

Logika. 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. 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ółowo

PODSTAWY LOGIKI I TEORII MNOGOŚCI

PODSTAWY LOGIKI I TEORII MNOGOŚCI Stefan Sokołowski PODSTAWY LOGIKI I TEORII MNOGOŚCI Inst Informatyki Stosowanej, PWSZ Elbląg, 2015/2016 Podstawy logiki i teorii mnogoci Wykład1,str1 Na http://studentpwszelblagpl/ stefan/dydaktyka/logteomno

Bardziej szczegółowo

Liczby zespolone. x + 2 = 0.

Liczby zespolone. x + 2 = 0. Liczby zespolone 1 Wiadomości wstępne Rozważmy równanie wielomianowe postaci x + 2 = 0. Współczynniki wielomianu stojącego po lewej stronie są liczbami całkowitymi i jedyny pierwiastek x = 2 jest liczbą

Bardziej szczegółowo

Rozdział 5. Macierze. a 11 a a 1m a 21 a a 2m... a n1 a n2... a nm

Rozdział 5. Macierze. a 11 a a 1m a 21 a a 2m... a n1 a n2... a nm Rozdział 5 Macierze Funkcję, która każdej parze liczb naturalnych (i,j) (i = 1,,n;j = 1,,m) przyporządkowuje dokładnie jedną liczbę a ij F, gdzie F = R lub F = C, nazywamy macierzą (rzeczywistą, gdy F

Bardziej szczegółowo

Funkcja wykładnicza kilka dopowiedzeń

Funkcja wykładnicza kilka dopowiedzeń Funkcje i ich granice Było: Zbiór argumentów; zbiór wartości; monotoniczność; funkcja odwrotna; funkcja liniowa; kwadratowa; wielomiany; funkcje wymierne; funkcje trygonometryczne i ich odwrotności; funkcja

Bardziej szczegółowo

1 Funkcje uniwersalne

1 Funkcje uniwersalne 1 1 Funkcje uniwersalne 1.1 Konstrukcja funkcji uniweralnej Niech P będzie najmniejszym zbiorem liczb spełniającym warunki 1) 0, 2, 0, 0, 2, 1, 0, 2, 2 P, 2) 0, n, 3, k P dla wszystkich n > 0 oraz k takich,

Bardziej szczegółowo