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.

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

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

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

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

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

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

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

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

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

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

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

φ(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

MATEMATYKA dla studentów kierunku Zarządzanie i Marketing ZBIGNIEW BARTOSIEWICZ DOROTA MOZYRSKA EWA PAWŁUSZEWICZ

MATEMATYKA dla studentów kierunku Zarządzanie i Marketing ZBIGNIEW BARTOSIEWICZ DOROTA MOZYRSKA EWA PAWŁUSZEWICZ MATEMATYKA dla studentów kierunku Zarządzanie i Marketing ZBIGNIEW BARTOSIEWICZ DOROTA MOZYRSKA EWA PAWŁUSZEWICZ Wrzesień 1998 2 Spis treści Wstęp 7 1 Podstawy 9 1.1 Elementy logiki............................

Bardziej szczegółowo

1. Liczby zespolone. Jacek Jędrzejewski 2011/2012

1. Liczby zespolone. Jacek Jędrzejewski 2011/2012 1. Liczby zespolone Jacek Jędrzejewski 2011/2012 Spis treści 1 Liczby zespolone 2 1.1 Definicja liczby zespolonej.................... 2 1.2 Postać kanoniczna liczby zespolonej............... 1. Postać

Bardziej szczegółowo

Logika dla archeologów Część 5: Zaprzeczenie i negacja

Logika dla archeologów Część 5: Zaprzeczenie i negacja Logika dla archeologów Część 5: Zaprzeczenie i negacja Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Zaprzeczenie 2 Negacja 3 Negacja w logice Sprzeczne grupy

Bardziej szczegółowo

Ćwiczenie 361 Badanie układu dwóch soczewek

Ćwiczenie 361 Badanie układu dwóch soczewek Nazwisko... Data... Wdział... Imię... Dzień tg.... Godzina... Ćwiczenie 36 Badanie układu dwóch soczewek Wznaczenie ogniskowch soczewek metodą Bessela Odległość przedmiotu od ekranu (60 cm 0 cm) l Soczewka

Bardziej szczegółowo

Podstawy programowania obiektowego

Podstawy programowania obiektowego Podstaw programowania obiektowego wkład 5 klas i obiekt namespace ConsoleApplication1 // współrzędne punktu int, ; Jak, korzstając z dotchczasowej wiedz, zdefiniować w programie punkt? = 3; = 2; Może tak?

Bardziej szczegółowo

Podstawy logiki i teorii mnogości w zadaniach

Podstawy logiki i teorii mnogości w zadaniach Uniwersytet Wrocławski Wydział Matematyki i Informatyki Piotr Koczenasz Podstawy logiki i teorii mnogości w zadaniach Praca magisterska napisana pod kierunkiem prof. dr. hab. Leszka Pacholskiego Wrocław,

Bardziej szczegółowo

Repetytorium z matematyki dla studentów pierwszego roku

Repetytorium z matematyki dla studentów pierwszego roku 1 Państwowa Wyższa Szkoła Zawodowa im. Witelona w Legnicy Janina Płaskonka Karol Selwat Repetytorium z matematyki dla studentów pierwszego roku Legnica 2010 2 Recenzent: prof. zw. dr hab. Tadeusz Galanc

Bardziej szczegółowo

MATEMATYKA. Pod redakcją Andrzeja Justa i Andrzeja Piątkowskiego

MATEMATYKA. Pod redakcją Andrzeja Justa i Andrzeja Piątkowskiego MATEMATYKA Pod redakcją Andrzeja Justa i Andrzeja Piątkowskiego Internetowy kurs dla kandydatów na Politechnikę Łódzką Repetytorium dla studentów I roku Politechniki Łódzkiej Skrypt niniejszy zawiera wiadomości

Bardziej szczegółowo

Stan naprężenia. Przykład 1: Tarcza (płaski stan naprężenia) Określić siły masowe oraz obciążenie brzegu tarczy jeśli stan naprężenia wynosi:

Stan naprężenia. Przykład 1: Tarcza (płaski stan naprężenia) Określić siły masowe oraz obciążenie brzegu tarczy jeśli stan naprężenia wynosi: Stan naprężenia Przkład 1: Tarcza (płaski stan naprężenia) Określić sił masowe oraz obciążenie brzegu tarcz jeśli stan naprężenia wnosi: 5 T σ. 8 Składowe sił masowch obliczam wkonując różniczkowanie zapisane

Bardziej szczegółowo

ALGORYTMY OPTYMALIZACJI wyklad 3.nb 1. Wykład 3. Sformułujemy teraz warunki konieczne dla istnienia rozwiązań zagadnienia optymalizacyjnego:

ALGORYTMY OPTYMALIZACJI wyklad 3.nb 1. Wykład 3. Sformułujemy teraz warunki konieczne dla istnienia rozwiązań zagadnienia optymalizacyjnego: ALGORYTMY OPTYMALIZACJI wyklad 3.nb 1 Wykład 3 3. Otymalizacja z ograniczeniami Sformułujemy teraz warunki konieczne dla istnienia rozwiązań zagadnienia otymalizacyjnego: g i HxL 0, i = 1, 2,..., m (3.1)

Bardziej szczegółowo

PROJEKT CZĘŚCIOWO FINANSOWANY PRZEZ UNIĘ EUROPEJSKĄ. Opis działania raportów w ClearQuest

PROJEKT CZĘŚCIOWO FINANSOWANY PRZEZ UNIĘ EUROPEJSKĄ. Opis działania raportów w ClearQuest PROJEKT CZĘŚCIOWO FINANSOWANY PRZEZ UNIĘ EUROPEJSKĄ Opis działania raportów w ClearQuest Historia zmian Data Wersja Opis Autor 2008.08.26 1.0 Utworzenie dokumentu. Wersja bazowa dokumentu. 2009.12.11 1.1

Bardziej szczegółowo

Ś Ś Ś Ś Ś Ś Ę Ą Ę ŚĘ Ę Ś ń Ę Ę Ą Ł Ż Ń Ł ć Ą ć Ł Ę Ó ć Ź ć ź ń Ń ń Ś Ą Ę Ł Ę Ą Ę ń ć ń Ź ć ń ć ń Ś ń ŚĆ ć ź Ł Ę Ę Ś Ę Ę Ę ń ŚĘ Ń Ę Ę ń ŚĘ Ę Ę Ś Ś ć ń Ę ń Ś Ę ć ć Ę Ę ć ź ć ń Ę Ń ń ć Ł Ę Ę Ę Ę ć Ę ć ć ź

Bardziej szczegółowo

Paweł Gładki. Algebra. http://www.math.us.edu.pl/ pgladki/

Paweł Gładki. Algebra. http://www.math.us.edu.pl/ pgladki/ Paweł Gładki Algebra http://www.math.us.edu.pl/ pgladki/ Konsultacje: Środa, 14:00-15:00 Jeżeli chcesz spotkać się z prowadzącym podczas konsultacji, postaraj się powiadomić go o tym przed lub po zajęciach,

Bardziej szczegółowo

ALGEBRA Z GEOMETRIĄ OD RÓWNAŃ DO ODWZOROWAŃ LINIOWYCH

ALGEBRA Z GEOMETRIĄ OD RÓWNAŃ DO ODWZOROWAŃ LINIOWYCH ALGEBRA Z GEOMETRIĄ 1/10 OD RÓWNAŃ DO ODWZOROWAŃ LINIOWYCH Piotr M Hajac Uniwersytet Warszawski Wykład 8, 27112013 Typeset by Jakub Szczepanik Motywacja 2/10 Przechodzimy od rozwiązywania jednego równania

Bardziej szczegółowo

Wydział Elektryczny. Katedra Automatyki i Elektroniki. Instrukcja do ćwiczeń laboratoryjnych z przedmiotu: TECHNIKA CYFROWA 2 TS1C300 020

Wydział Elektryczny. Katedra Automatyki i Elektroniki. Instrukcja do ćwiczeń laboratoryjnych z przedmiotu: TECHNIKA CYFROWA 2 TS1C300 020 Politechnika Białostocka Wdział lektrczn Katedra Automatki i lektroniki Instrukcja do ćwiczeń laboratorjnch z przedmiotu TCHNIKA CFROWA TSC Ćwiczenie Nr CFROW UKŁAD KOMUTACJN Opracował dr inż. Walent Owieczko

Bardziej szczegółowo

Notatki przygotowawcze dotyczące inwersji na warsztaty O geometrii nieeuklidesowej hiperbolicznej Wrocław, grudzień 2013

Notatki przygotowawcze dotyczące inwersji na warsztaty O geometrii nieeuklidesowej hiperbolicznej Wrocław, grudzień 2013 Notatki przygotowawcze dotyczące inwersji na warsztaty O geometrii nieeuklidesowej hiperbolicznej Wrocław, grudzień 013 3.4.1 Inwersja względem okręgu. Inwersja względem okręgu jest przekształceniem płaszczyzny

Bardziej szczegółowo

Twierdzenie spektralne

Twierdzenie spektralne Twierdzenie spektralne Algebrę ograniczonych funkcji borelowskich na K R będziemy oznaczać przez B (K). Spektralnym rozkładem jedności w przestrzeni Hilberta H nazywamy odwzorowanie, które każdemu zbiorowi

Bardziej szczegółowo

Szkoła Podstawowa. Uczymy się dowodzić. Opracowała: Ewa Ślubowska. ewa.slubowska@wp.pl

Szkoła Podstawowa. Uczymy się dowodzić. Opracowała: Ewa Ślubowska. ewa.slubowska@wp.pl Szkoła Podstawowa Uczymy się dowodzić Opracowała: Ewa Ślubowska ewa.slubowska@wp.pl PODSTAWA PROGRAMOWA PRZEDMIOTU MATEMATYKA II etap edukacyjny: klasy IV VI I. Sprawność rachunkowa. Uczeń wykonuje proste

Bardziej szczegółowo

Zadania o numerze 4 z zestawów licencjat 2014.

Zadania o numerze 4 z zestawów licencjat 2014. Zadania o numerze 4 z zestawów licencjat 2014. W nawiasie przy zadaniu jego występowanie w numerze zestawu Spis treści (Z1, Z22, Z43) Definicja granicy ciągu. Obliczyć granicę:... 3 Definicja granicy ciągu...

Bardziej szczegółowo

3. Wykład III: Warunki optymalności dla zadań bez ograniczeń

3. Wykład III: Warunki optymalności dla zadań bez ograniczeń 3 Wkład III: Waruki optmalości dla zadań bez ograiczeń Podae poiże waruki optmalości dla są uogólieiem powszechie zach waruków dla fukci ede zmiee (zerowaie się pierwsze pochode i lokala wpukłość) 3 Twierdzeie

Bardziej szczegółowo

FUNKCJE DWÓCH ZMIENNYCH

FUNKCJE DWÓCH ZMIENNYCH FUNKCJE DWÓCH MIENNYCH De. JeŜel kaŝdemu puktow (, ) ze zoru E płaszczz XY przporządkujem pewą lczę rzeczwstą z, to mówm, Ŝe a zorze E określoa została ukcja z (, ). Gd zór E e jest wraźe poda, sprawdzam

Bardziej szczegółowo

Logiczna reprezentacja wiedzy i metoda logiczno-algebraiczna

Logiczna reprezentacja wiedzy i metoda logiczno-algebraiczna Logiczna reprezentacja wiedzy i metoda logiczno-algebraiczna dr inż. Grzegorz ilcek & dr inż. Maciej Hojda Zakład Inteligentnych Systemów Wspomagania Decyzji, Instytut Informatyki, Politechnika Wrocławska

Bardziej szczegółowo

Schemat rekursji. 1 Schemat rekursji dla funkcji jednej zmiennej

Schemat rekursji. 1 Schemat rekursji dla funkcji jednej zmiennej Schemat rekursji 1 Schemat rekursji dla funkcji jednej zmiennej Dla dowolnej liczby naturalnej a i dowolnej funkcji h: N 2 N istnieje dokładnie jedna funkcja f: N N spełniająca następujące warunki: f(0)

Bardziej szczegółowo

A,B M! v V ; A + v = B, (1.3) AB = v. (1.4)

A,B M! v V ; A + v = B, (1.3) AB = v. (1.4) Rozdział 1 Prosta i płaszczyzna 1.1 Przestrzeń afiniczna Przestrzeń afiniczna to matematyczny model przestrzeni jednorodnej, bez wyróżnionego punktu. Można w niej przesuwać punkty równolegle do zadanego

Bardziej szczegółowo

Agnieszka Grymek Zespół Szkół Ogólnokształcących, II Liceum Ogólnokształcące w Świdnicy

Agnieszka Grymek Zespół Szkół Ogólnokształcących, II Liceum Ogólnokształcące w Świdnicy www.awans.net Publikacje nauczycieli Agnieszka Grymek Zespół Szkół Ogólnokształcących, II Liceum Ogólnokształcące w Świdnicy Zestaw zadań z logiki na godzinny sprawdzian w różnych klasach Praca opublikowana

Bardziej szczegółowo

im = (P )={b 2 R : 9a 2 P [b = (a)]} nazywamy obrazem homomorfizmu.

im = (P )={b 2 R : 9a 2 P [b = (a)]} nazywamy obrazem homomorfizmu. 61 7. Wyk ad 7: Homomorfizmy pierúcieni, idea y pierúcieni. Idea y generowane przez zbiory. PierúcieÒ ilorazowy, twierdzenie o homomorfizmie. Idea y pierwsze i maksymalne. 7.1. Homomorfizmy pierúcieni,

Bardziej szczegółowo

Logika i teoria mnogości Wykład 14 1. Sformalizowane teorie matematyczne

Logika i teoria mnogości Wykład 14 1. Sformalizowane teorie matematyczne Logika i teoria mnogości Wykład 14 1 Sformalizowane teorie matematyczne W początkowym okresie rozwoju teoria mnogości budowana była w oparciu na intuicyjnym pojęciu zbioru. Operowano swobodnie pojęciem

Bardziej szczegółowo

Wykłady ze Wstępu do Matematyki. Jacek Cichoń WPPT, Politechnika Wrocławska

Wykłady ze Wstępu do Matematyki. Jacek Cichoń WPPT, Politechnika Wrocławska Wykłady ze Wstępu do Matematyki Jacek Cichoń WPPT, Politechnika Wrocławska MAJ 2012 Spis treści 1 Rachunek Zdań 7 1.1 Zdania i Waluacje............................ 7 1.2 Przegląd Najważniejszych Tautologii..................

Bardziej szczegółowo

1 Równania różniczkowe zwyczajne liniowe pierwszego rzędu

1 Równania różniczkowe zwyczajne liniowe pierwszego rzędu Równania różniczkowe zwyczajne liniowe I-go rzędu 1 1 1 Równania różniczkowe zwyczajne liniowe pierwszego rzędu Równaniem różniczkowym zwyczajnym liniowym pierwszego rzędu nazywamy równanie postaci (RL1)

Bardziej szczegółowo

Wykład 9 Rejestracja stanu prawnego nieruchomości Księgi wieczyste - Kw

Wykład 9 Rejestracja stanu prawnego nieruchomości Księgi wieczyste - Kw Wykład 9 Rejestracja stanu prawnego nieruchomości Księgi wieczyste - Kw 1.Wstęp W EGiB rejestrujemy przede wszystkim informacje o stanie faktycznym gruntów. Obiektem stanu faktycznego jest działka. Drugim

Bardziej szczegółowo

1. Teoria mnogości, zbiory i operacje na zbiorach, relacje i odwzorowania, moc zbiorów.

1. Teoria mnogości, zbiory i operacje na zbiorach, relacje i odwzorowania, moc zbiorów. 1. Teoria mnogości, zbiory i operacje na zbiorach, relacje i odwzorowania, moc zbiorów. Teoria mnogości inaczej nazywana teorią zbiorów jest to teoria matematyczna badająca własności zbiorów (mnogość dawna

Bardziej szczegółowo

Motto. Czy to nie zabawne, że ci sami ludzie, którzy śmieją się z science fiction, słuchają prognoz pogody oraz ekonomistów? (K.

Motto. Czy to nie zabawne, że ci sami ludzie, którzy śmieją się z science fiction, słuchają prognoz pogody oraz ekonomistów? (K. Motto Cz to nie zabawne, że ci sami ludzie, którz śmieją się z science fiction, słuchają prognoz pogod oraz ekonomistów? (K. Throop III) 1 Specfika szeregów czasowch Modele szeregów czasowch są alternatwą

Bardziej szczegółowo

Bazy danych. Plan wykładu. Zależności funkcyjne. Wykład 2: Relacyjny model danych - zależności funkcyjne. Podstawy SQL.

Bazy danych. Plan wykładu. Zależności funkcyjne. Wykład 2: Relacyjny model danych - zależności funkcyjne. Podstawy SQL. Plan wykładu Bazy danych Wykład 2: Relacyjny model danych - zależności funkcyjne. Podstawy SQL. Deficja zależności funkcyjnych Klucze relacji Reguły dotyczące zależności funkcyjnych Domknięcie zbioru atrybutów

Bardziej szczegółowo

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń).

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń). Tautologia to schemat zdań wyłącznie prawdziwych. Kontrtautologia to schemat zdań wyłącznie fałszywych. Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych

Bardziej szczegółowo

a 1, a 2, a 3,..., a n,...

a 1, a 2, a 3,..., a n,... III. Ciągi liczbowe. 1. Definicja ciągu liczbowego. Definicja 1.1. Ciągiem liczbowym nazywamy funkcję a : N R odwzorowującą zbiór liczb naturalnych N w zbiór liczb rzeczywistych R i oznaczamy przez {a

Bardziej szczegółowo

Grupy i cia la, liczby zespolone

Grupy i cia la, liczby zespolone Rozdzia l 1 Grupy i cia la, liczby zespolone Dla ustalenia uwagi, b edziemy używać nast epuj acych oznaczeń: N = { 1, 2, 3,... } - liczby naturalne, Z = { 0, ±1, ±2,... } - liczby ca lkowite, W = { m n

Bardziej szczegółowo

Grupa klas odwzorowań powierzchni

Grupa klas odwzorowań powierzchni Grupa klas odwzorowań powierzchni Błażej Szepietowski Uniwersytet Gdański Horyzonty matematyki 2014 Błażej Szepietowski (UG) Grupa klas odwzorowań Horyzonty matematyki 2014 1 / 36 Grupa klas odwzorowań

Bardziej szczegółowo

Dział programowy: Liczby i działania ( 1 )

Dział programowy: Liczby i działania ( 1 ) 1 S t r o n a Dział programowy: Liczby i działania ( 1 ) 14-20 Liczby. Rozwinięcia liczb dziesiętne liczb wymiernych. Zaokrąglanie liczb. Szacowanie wyników. Dodawanie i odejmowanie liczb dodatnich. MnoŜenie

Bardziej szczegółowo

Metody numeryczne. Wykład nr 12. Dr Piotr Fronczak

Metody numeryczne. Wykład nr 12. Dr Piotr Fronczak Metody numeryczne Wykład nr 1 Dr Piotr Fronczak Generowanie liczb losowych Metody Monte Carlo są oparte na probabilistyce działają dzięki generowaniu liczb losowych. W komputerach te liczby generowane

Bardziej szczegółowo

opracowała Jowita Malecka

opracowała Jowita Malecka opracowała Jowita Malecka JeŜeli chcecie nauczyć się pływać, to trzeba, Ŝebyście weszli do wody. JeŜeli zamierzacie nauczyć się rozwiązywać zadania, to trzeba, Ŝebyście je rozwiązywali. George Polya W

Bardziej szczegółowo

Program 14. #include #include using namespace std;

Program 14. #include <iostream> #include <ctime> using namespace std; Program 14 Napisać: * funkcję słuŝącą do losowego wypełniania tablicy liczbami całkowitymi z podanego zakresu (*). Parametrami funkcji mają być tablica, jej długość oraz dwie liczby stanowiące krańce przedziału

Bardziej szczegółowo

Nierówności między średnimi liczbowymi i ich zastosowanie. Renata Jurasińska. Instytut Matematyki Uniwersytetu Rzeszowskiego III LO w Rzeszowie

Nierówności między średnimi liczbowymi i ich zastosowanie. Renata Jurasińska. Instytut Matematyki Uniwersytetu Rzeszowskiego III LO w Rzeszowie Nierówności między średnimi liczbowymi i ich zastosowanie Renata Jurasińska Instytut Matematyki Uniwersytetu Rzeszowskiego III LO w Rzeszowie I. Średnie liczbowe i zaleŝności między nimi Średnie liczbowe

Bardziej szczegółowo

Błędy, testowanie i weryfikacja programów

Błędy, testowanie i weryfikacja programów Błędy, testowanie i weryfikacja programów Jak napisać bezbłędny program? 1 Proces a program Program jest obiektem statycznym to formalny opis tego, co ma być wykonane. Proces jest obiektem dynamicznym

Bardziej szczegółowo

Paradygmaty programowania

Paradygmaty programowania Paradygmaty programowania Jacek Michałowski, Piotr Latanowicz 15 kwietnia 2014 Jacek Michałowski, Piotr Latanowicz () Paradygmaty programowania 15 kwietnia 2014 1 / 12 Zadanie 1 Zadanie 1 Rachunek predykatów

Bardziej szczegółowo

Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne

Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne Istnieje wiele systemów aksjomatycznych

Bardziej szczegółowo

III. ZMIENNE LOSOWE JEDNOWYMIAROWE

III. ZMIENNE LOSOWE JEDNOWYMIAROWE III. ZMIENNE LOSOWE JEDNOWYMIAROWE.. Zmienna losowa i pojęcie rozkładu prawdopodobieństwa W dotychczas rozpatrywanych przykładach każdemu zdarzeniu była przyporządkowana odpowiednia wartość liczbowa. Ta

Bardziej szczegółowo

Przykład: Płatew swobodnie podparta o przekroju z dwuteownika IPE

Przykład: Płatew swobodnie podparta o przekroju z dwuteownika IPE Dokument Ref: SX01a-PL-EU Strona 1 z Dot. Eurocodu EN Wkonanł Mladen Lukic Data Jan 006 Sprawdził Alain Bureau Data Jan 006 Przkład: Płatew swobodnie podparta o przekroju z Przkład ten podaje szczegół

Bardziej szczegółowo

Schemat sprawdzianu. 25 maja 2010

Schemat sprawdzianu. 25 maja 2010 Schemat sprawdzianu 25 maja 2010 5 definicji i twierdzeń z listy 12(po 10 punktów) np. 1. Proszę sformułować twierdzenie Brouwera o punkcie stałym. 2. Niech X będzie przestrzenią topologiczną. Proszę określić,

Bardziej szczegółowo

Zasady budowania prognoz ekonometrycznych

Zasady budowania prognoz ekonometrycznych Zasad budowania prognoz ekonometrcznch Klasczne założenia teorii predkcji 1. Znajomość modelu kształtowania się zmiennej prognozowanej Znajomość postaci analitcznej wstępującch zależności międz zmiennmi

Bardziej szczegółowo

ANALIZA MOŻLIWOŚCI NORMALIZACJI WARTOŚCI SKŁADOWYCH TRÓJCHROMATYCZNYCH Z WYKORZYSTANIEM PRZEKSZTAŁCENIA NIELINIOWEGO

ANALIZA MOŻLIWOŚCI NORMALIZACJI WARTOŚCI SKŁADOWYCH TRÓJCHROMATYCZNYCH Z WYKORZYSTANIEM PRZEKSZTAŁCENIA NIELINIOWEGO Wojciech MOĆKO Wojciech ŻAGAN ANALIZA MOŻLIWOŚCI NORMALIZACJI WARTOŚCI SKŁADOWYCH TRÓJCHROMATYCZNYCH Z WYKORZYSTANIEM PRZEKSZTAŁCENIA NIELINIOWEGO STRESZCZENIE W referacie przedstawiono koncepcję zastosowania

Bardziej szczegółowo

Wymagania na poszczególne oceny z matematyki w klasie 1ab w roku szkolnym 2011/2012

Wymagania na poszczególne oceny z matematyki w klasie 1ab w roku szkolnym 2011/2012 Wymagania ocen z matematyki klasa 1 gimnazjum Wymagania na poszczególne oceny z matematyki w klasie 1ab w roku szkolnym 2011/2012 POZIOMY WYMAGAŃ EDUKACYJNYCH: K - konieczny ocena dopuszczająca (2) P -

Bardziej szczegółowo

Operacje morfologiczne w przetwarzaniu obrazu

Operacje morfologiczne w przetwarzaniu obrazu Przekształcenia morfologiczne obrazu wywodzą się z morfologii matematycznej działu matematyki opartego na teorii zbiorów Wykorzystuje się do filtracji morfologicznej, wyszukiwania informacji i analizy

Bardziej szczegółowo

1. DZIAŁANIA NA UŁAMKACH, POTĘGACH I PIERWIASTKACH Zad.1 Oblicz: d) + e) (0,15+(-1,15)) 3. g) 15 (45,2 : 12 30 : 6 )- 1 7 36.

1. DZIAŁANIA NA UŁAMKACH, POTĘGACH I PIERWIASTKACH Zad.1 Oblicz: d) + e) (0,15+(-1,15)) 3. g) 15 (45,2 : 12 30 : 6 )- 1 7 36. Zestaw zadań na ocenę dopuszczającą z matematyki po klasie - ZSP w Żelechowie Opracowała A. Lasocka. DZIAŁANIA NA UŁAMKACH, POTĘGACH I PIERWIASTKACH Zad. Oblicz: + - + - + e + 0 Zad. Oblicz: 9 + 0 : 9

Bardziej szczegółowo

Typowe błędy w analizie rynku nieruchomości przy uŝyciu metod statystycznych

Typowe błędy w analizie rynku nieruchomości przy uŝyciu metod statystycznych Typowe błędy w analizie rynku nieruchomości przy uŝyciu metod statystycznych Sebastian Kokot XXI Krajowa Konferencja Rzeczoznawców Majątkowych, Międzyzdroje 2012 Rzetelnie wykonana analiza rynku nieruchomości

Bardziej szczegółowo

Notatki do wykładu Geometria Różniczkowa I

Notatki do wykładu Geometria Różniczkowa I Notatki do wykładu Geometria Różniczkowa I Katarzyna Grabowska, KMMF 1 listopada 013 1 Odwzorowanie styczne i cofnięcie formy cd: 1.1 Transport pola wektorowego i cofnięcie formy W poprzednim paragrafie

Bardziej szczegółowo

Wrocław: Wymiana okien i drzwi w budynku SP 50 we Wrocławiu. Numer ogłoszenia: 111110-2008; data zamieszczenia: 27.05.2008

Wrocław: Wymiana okien i drzwi w budynku SP 50 we Wrocławiu. Numer ogłoszenia: 111110-2008; data zamieszczenia: 27.05.2008 1 z 5 2008-05-27 12:18 Wrocław: Wymiana okien i drzwi w budynku SP 50 we Wrocławiu. Numer ogłoszenia: 111110-2008; data zamieszczenia: 27.05.2008 OGŁOSZENIE O ZAMÓWIENIU - roboty budowlane Zamieszczanie

Bardziej szczegółowo

Zadania na dowodzenie Opracowała: Ewa Ślubowska

Zadania na dowodzenie Opracowała: Ewa Ślubowska Egzamin Gimnazjalny Zadania na dowodzenie Opracowała: Ewa Ślubowska W nauczaniu matematyki ważne jest rozwijanie różnych aktywności umysłu. Ma temu służyć min. rozwiązywanie jednego zadania czy dowodzenie

Bardziej szczegółowo

Systemy baz danych. Notatki z wykładu. http://robert.brainusers.net 17.06.2009

Systemy baz danych. Notatki z wykładu. http://robert.brainusers.net 17.06.2009 Systemy baz danych Notatki z wykładu http://robert.brainusers.net 17.06.2009 Notatki własne z wykładu. Są niekompletne, bez bibliografii oraz mogą zawierać błędy i usterki. Z tego powodu niniejszy dokument

Bardziej szczegółowo

WYKRESY FUNKCJI LINIOWEJ

WYKRESY FUNKCJI LINIOWEJ GIMNAZJUM NR 2 W KAMIENNEJ GÓRZE WYKRESY FUNKCJI LINIOWEJ Oprcowała Wiesława Kurnyta Kamienna Góra, 2006 Oto wypisy z Podstawy programowej o nauczaniu matematyki w gimnazjum Cele edukacyjne 1. E Przyswajanie

Bardziej szczegółowo

Literatura. adów w cyfrowych. Projektowanie układ. Technika cyfrowa. Technika cyfrowa. Bramki logiczne i przerzutniki.

Literatura. adów w cyfrowych. Projektowanie układ. Technika cyfrowa. Technika cyfrowa. Bramki logiczne i przerzutniki. Literatura 1. D. Gajski, Principles of Digital Design, Prentice- Hall, 1997 2. C. Zieliński, Podstawy projektowania układów cyfrowych, PWN, Warszawa 2003 3. G. de Micheli, Synteza i optymalizacja układów

Bardziej szczegółowo

Programowanie obiektowe i zdarzeniowe

Programowanie obiektowe i zdarzeniowe Programowanie obiektowe i zdarzeniowe wkład 2 klas i obiekt namespace ConsoleApplication1 // współrzędne punktu int, ; Jak zdefiniować w programie punkt? = 3; = 2; Może tak? // wpisanie informacji Console.WriteLine("

Bardziej szczegółowo

Ćwiczenie 8 Kolory i znaki specjalne

Ćwiczenie 8 Kolory i znaki specjalne Ćwiczenie 8 Kolory i znaki specjalne W ćwiczeniu 8 zajmować się będziemy kolorami i znakami specjalnymi. Barwę moŝna utworzyć mieszając w odpowiednich proporcjach trzy kolory podstawowe: czerwony, zielony

Bardziej szczegółowo

VII Olimpiada Matematyczna Gimnazjalistów

VII Olimpiada Matematyczna Gimnazjalistów VII Olimpiada Matematyczna Gimnazjalistów Zawody stopnia pierwszego część testowa, test próbny www.omg.edu.pl (wrzesień 2011 r.) Rozwiązania zadań testowych 1. Liczba krawędzi pewnego ostrosłupa jest o

Bardziej szczegółowo

Wykład 4 Podmioty ewidencji gruntów i budynków 1. Wprowadzenie Podmiot w EGiB, to obok obiektu najwaŝniejsze pojęcie. W EGiB rejestrowane są, obiekty

Wykład 4 Podmioty ewidencji gruntów i budynków 1. Wprowadzenie Podmiot w EGiB, to obok obiektu najwaŝniejsze pojęcie. W EGiB rejestrowane są, obiekty Wykład 4 Podmioty ewidencji gruntów i budynków 1. Wprowadzenie Podmiot w EGiB, to obok obiektu najwaŝniejsze pojęcie. W EGiB rejestrowane są, obiekty ewidencji, czyli: działki, budynki i lokale oraz podmioty,

Bardziej szczegółowo

LXIII Olimpiada Matematyczna

LXIII Olimpiada Matematyczna 1 Zadanie 1. LXIII Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia drugiego 17 lutego 2012 r. (pierwszy dzień zawodów) Rozwiązać w liczbach rzeczywistych a, b, c, d układ równań a

Bardziej szczegółowo

Elementy rachunku lambda. dr hab. inż. Joanna Józefowska, prof. PP 1

Elementy rachunku lambda. dr hab. inż. Joanna Józefowska, prof. PP 1 Elementy rachunku lambda λ 1 Notacja λ x 3x + 7 3x + 7 jest różniczkowalna 3x + 7 jest mniejsze od 2 (2,3) 5 f(2, 3) = 2 + 3 g(2) = 2 + 3 λx(3x + 7) 3x + 7 λx λy(x + y) = λxy(x + y) λx(x + 3) 2 Rachunek

Bardziej szczegółowo

Wstęp do Programowania, laboratorium 02

Wstęp do Programowania, laboratorium 02 Wstęp do Programowania, laboratorium 02 Zadanie 1. Napisać program pobierający dwie liczby całkowite i wypisujący na ekran największą z nich. Zadanie 2. Napisać program pobierający trzy liczby całkowite

Bardziej szczegółowo

Kurs logiki rozmytej. Wojciech Szybisty

Kurs logiki rozmytej. Wojciech Szybisty Kurs logiki rozmytej Wojciech Szybisty 2009 Spis treści 1 Co to jest logika rozmyta 3 1.1 Podstawy teorii zbiorów rozmytych........................ 3 1.2 Historia.......................................

Bardziej szczegółowo

Lista zadań. Babilońska wiedza matematyczna

Lista zadań. Babilońska wiedza matematyczna Lista zadań Babilońska wiedza matematyczna Zad. 1 Babilończycy korzystali z tablicy dodawania - utwórz w arkuszu kalkulacyjnym EXCEL tablicę dodawania liczb w układzie sześćdziesiątkowym, dla liczb ze

Bardziej szczegółowo

WYMAGANIA EDUKACYJNE Z MATEMATYKI DLA KLASY I GIMNAZJUM

WYMAGANIA EDUKACYJNE Z MATEMATYKI DLA KLASY I GIMNAZJUM WYMAGANIA EDUKACYJNE Z MATEMATYKI DLA KLASY I GIMNAZJUM LICZBY I DZIAŁANIA zna pojęcie liczby naturalnej, całkowitej, wymiernej rozumie rozszerzenie osi liczbowej na liczby ujemne umie zaznaczać liczbę

Bardziej szczegółowo

DZIAŁ I: LICZBY I DZIAŁANIA Ocena dostateczna. Ocena dobra. Ocena bardzo dobra (1+2) (1+2+3+4) Uczeń: (1+2+3) Uczeń: określone warunki

DZIAŁ I: LICZBY I DZIAŁANIA Ocena dostateczna. Ocena dobra. Ocena bardzo dobra (1+2) (1+2+3+4) Uczeń: (1+2+3) Uczeń: określone warunki MATEMATYKA KLASA I I PÓŁROCZE -wyróżnia liczby naturalne, całkowite, wymierne -zna kolejność wykonywania działań -rozumie poszerzenie osi liczbowej na liczby ujemne -porównuje liczby wymierne -zaznacza

Bardziej szczegółowo

Technologie baz danych

Technologie baz danych Plan wykładu Technologie baz danych Wykład 2: Relacyjny model danych - zależności funkcyjne. SQL - podstawy Definicja zależności funkcyjnych Reguły dotyczące zależności funkcyjnych Domknięcie zbioru atrybutów

Bardziej szczegółowo

Wstęp do Techniki Cyfrowej... Układy kombinacyjne

Wstęp do Techniki Cyfrowej... Układy kombinacyjne Wstęp do Techniki Cyfrowej... Układy kombinacyjne Przypomnienie Stan wejść układu kombinacyjnego jednoznacznie określa stan wyjść. Poszczególne wyjścia określane są przez funkcje boolowskie zmiennych wejściowych.

Bardziej szczegółowo

Wymagania edukacyjne z matematyki

Wymagania edukacyjne z matematyki Wymagania edukacyjne z matematyki Klasa I - program Matematyka z plusem" Dział: LICZBY I DZIAŁANIA Poziom konieczny - ocena dopuszczająca porównywać liczby wymierne, zaznaczać liczby wymierne na osi liczbowej,

Bardziej szczegółowo

PROGRAM KLASY Z ROZSZERZONĄ MATEMATYKĄ

PROGRAM KLASY Z ROZSZERZONĄ MATEMATYKĄ PROGRAM KLASY Z ROZSZERZONĄ MATEMATYKĄ ALGEBRA Klasa I 3 godziny tygodniowo Klasa II 4 godziny tygodniowo Klasa III 3 godziny tygodniowo A. Liczby (24) 1. Liczby naturalne i całkowite. a. Własności, kolejność

Bardziej szczegółowo

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

Zasada indukcji matematycznej. Dowody indukcyjne.

Zasada indukcji matematycznej. Dowody indukcyjne. Zasada idukcji matematyczej Dowody idukcyje Z zasadą idukcji matematyczej i dowodami idukcyjymi sytuacja jest ajczęściej taka, że podaje się w szkole treść zasady idukcji matematyczej, a astępie omawia,

Bardziej szczegółowo

WYMAGANIA EDUKACYJNE Z MATEMATYKI DLA KLAS IA I IB NA ROK SZKOLNY 2014/2015

WYMAGANIA EDUKACYJNE Z MATEMATYKI DLA KLAS IA I IB NA ROK SZKOLNY 2014/2015 WYMAGANIA EDUKACYJNE Z MATEMATYKI DLA KLAS IA I IB NA ROK SZKOLNY 2014/2015 UŁAMKI ZWYKŁE I DZIESIĘTNE Rozpoznaje ułamki właściwe i niewłaściwe Rozszerza ułamek zwykły Skraca ułamek zwykły Zapisuje ułamek

Bardziej szczegółowo

Wymagania eduka cyjne z matematyki

Wymagania eduka cyjne z matematyki Wymagania eduka cyjne z matematyki Klasa I - program Matematyka z plusem" Dział: LICZ B Y I DZIAŁANIA porównywać liczby wymierne, zaznaczać liczby wymierne na osi liczbowej, zamieniać ułamki zwykłe na

Bardziej szczegółowo

Bazy Danych 2008 Część 1 Egzamin Pisemny

Bazy Danych 2008 Część 1 Egzamin Pisemny Bazy Danych 2008 Część Egzamin Pisemny. Zagadnienia związane z CDM a) Model danych SłuŜy do wyraŝania struktury danych, projektowanego lub istniejącego systemu. Przez strukturę rozumiemy typ danych, powiązania

Bardziej szczegółowo

PŁOCKA MIĘDZYGIMNAZJALNA LIGA PRZEDMIOTOWA MATEMATYKA marzec 2013

PŁOCKA MIĘDZYGIMNAZJALNA LIGA PRZEDMIOTOWA MATEMATYKA marzec 2013 PŁOCKA MIĘDZYGIMNAZJALNA LIGA PRZEDMIOTOWA MATEMATYKA marzec 03 KARTA PUNKTACJI ZADAŃ (wypełnia komisja konkursowa): Numer zadania Zad. Zad. SUMA PUNKTÓW Poprawna Zad. 3 Zad. 4 Zad. 5 Zad. 6 Zad. 7 odpowiedź

Bardziej szczegółowo

Rachunek zdań. 2.1 Podstawowe pojęcia

Rachunek zdań. 2.1 Podstawowe pojęcia Rachunek zdań 2.1 Podstawowe pojęcia 2.1.1. Rachunek zdań to teoria zajmująca się formami wnioskowania zbudowanymi wyłącznie ze zmiennych zdaniowych oraz funktorów prawdziwościowych, będących pewnego rodzaju

Bardziej szczegółowo

Zamiana reprezentacji wektorowej na rastrową - rasteryzacja

Zamiana reprezentacji wektorowej na rastrową - rasteryzacja MODEL RASTROWY Siatka kwadratów lub prostokątów stanowi elementy rastra. Piksel - pojedynczy element jest najmniejszą rozróŝnialną jednostką powierzchniową, której własności są opisane atrybutami. Model

Bardziej szczegółowo

I. LICZBY I DZIAŁANIA

I. LICZBY I DZIAŁANIA WYMAGANIA EDUKACYJNE Z MATEMATYKI KLASA PIERWSZA GIMNAZJUM I. LICZBY I DZIAŁANIA 1. Zna pojęcie liczby naturalnej, całkowitej, wymiernej. 2. Rozumie rozszerzenie osi liczbowej na liczby ujemne. 3. Umie

Bardziej szczegółowo

1 Funkcje i ich granice

1 Funkcje i ich granice 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