Wprowadzenie do Sieci Neuronowych Łańcuchy Markowa

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

Download "Wprowadzenie do Sieci Neuronowych Łańcuchy Markowa"

Transkrypt

1 Wprowdzenie do Siei Neuronowyh Łńuhy Mrkow Mj Czoków, Jrosłw Piers Przypomnienie Łńuh Mrkow jest proesem stohstyznym (iągiem zmiennyh losowyh), w którym rozkłd zmiennej w hwili t zleży wyłąznie od wrtośi łńuh w kroku poprzednim tj. od Xt 1 i nie zleży od Xt 2, Xt 3... X. P(Xt = k Xt 1 = xt 1, Xt 2...X ) = P(Xt = k Xt 1 = xt 1 ) Jeżeli prwdopodoieństw przejść między stnmi nie zmieniją się w zsie to łńuh nzywmy jednorodnym. t 1 P(Xt = k Xt 1 = x) = P(Xt+1 = k Xt = x) Prwdopodoieństw przejść ędziemy oznzć poprzez pij = P(X1 = j X = i). Wówzs dynmik przejść jest jednoznznie zdefiniown przez mierz kwdrtową P = [pij ]ni,j=1, gdzie n jest ilośią możliwyh stnów. Do tego potrzeny jest rozkłd stnu łńuh w kroku zerowym P = [p1..pk ], gdzie pi = P(X = k). Łńuh jest nieprzywiedlny (rekurenyjny) jeżeli z kżdego stnu d się dojść do kżdego innego. Nieprzywiedlny łńuh nzywmy nieokresowym (periodyznym) jeżeli gd{i : P( } {z w i krokh )} = 1 Tj. stny nie są pogrupowne w fzy np. jeżeli numer kroku jest przysty to łńyh może yć tylko w stnie S lo S2. Fkt Łńuh Mrkow, który jest nieprzywiedlny i nieokresowy posid swój rozkłd stjonrny π, tki że P t πt = πt. To jest łńuh, który już jest w stnie stjonrnym, w tymże stnie już pozostnie. 2 Symulj 2.1 Symulownie łńuh Mrkow wylosuj stn w kroku zerowym t = X zgodnie z rozkłdem pozątkowym P tj. P (X = Si ) = pi, Projekt współfinnsowny przez Unię Europejską w rmh Europejskiego Funduszu Społeznego 1

2 stołówk () Reprezentj grfow łńuh P.1.4 stołówk stołówk () Odpowidją tli przejść Rysunek 1: Przykłdowy łńuh Mrkow. d () Łńuh okresowy () Łńuh nieokresowy Rysunek 2: Przykłd łńuh okresowego i nieokresowego. zwiększ krok t o jeden, wylosuj stn w kroku t-tym Xt z rozkłdu pohodząego z Xt 1 -go wiersz mierzy P, to jest. jeżeli np Xt 1 = Si, to P(Xt = Sj ) = psi,sj 2.2 Losownie z rozkłdu dyskretnego, sposó 1 Nieh P(X = i) = pi. oliz si := Pi j=1 pj dl i = 1..n wylosuj u U(,1) Projekt współfinnsowny przez Unię Europejską w rmh Europejskiego Funduszu Społeznego 2

3 x 2 p=.9 x 1 p=.4 x 8 p=.11 x 7 p=.26 x 3 p=.25 x 4 p=.1 x 5 p=.9 x 6 p=.15 Rysunek 3: Reprezentj grfizn rozkłdu dyskretnego. I := 1 while (s i < u) I + + return I Wrtośi s 1,..., s n możn lizyć n ieżąo w trkie pętli. powtrzne, to lepiej jest zpmiętć je w tliy. Jeżeli losownie m yć wielokrotnie 2.3 Losownie z rozkłdu dyskretnego, sposó 2 Nieh P(X = i) = p i. Nieh s i = i j=1 p j do olizeni rz n symulję. wygeneruj u U (,1) l := r := n do := (l + r)/2 if (u > s ) else l := r := while (l < r 1) return r Projekt współfinnsowny przez Unię Europejską w rmh Europejskiego Funduszu Społeznego 3

4 3 Zdni Zdni przeznzone do wykonni n zjęih / w u do smodzielnej pry. punktowne. Zdnie nie są 3.1 Zdnie (n rozgrzewkę) Oliz lizę π (= ) z pomoą Monte Crlo, tj. losuj punkt z kwdrtu [ 1, +1] [ 1, +1], jeżeli wpdł w kolo o promieniu r = 1 i środku S = (, ), to zwiększ liznik trfień. Zwróć 4 ilość trfień ilość iterji 3.2 Zdnie 1 Zsymuluj łńuh Mrkow z zdną mierzą P i ilośią kroków N. Łńuh powinien zwróić tlię / listę stnów jkie yły przyjmowne w kolejnyh krokh. Stn pozątkowy możn przyjąć jko zdny z góry. 3.3 Zdnie 2 Znjdź rozkłd stjonrny łńuh o zdnej mierzy przejśi P. Poprzez odpowiednio długie symulownie i zlizenie sumryznej lizy odwiedzeń (MCMC). W mirę możliwośi wyświetl wyniki w formie grfiznej. 3.4 Zdnie 3 Porównj wyniki otrzymne w zdniu 2-gim z wynikiem otrzymnym przez iteryjne mnożenie przez sieie P. 3.5 Zdnie 4 Wykonj symulję z zdni 2 n nstępująyh mierzh przejśi. Czy i w tym wypdku wynik nie zleży od wyoru stnu pozątkowego? P 2 = Zdnie 5 P 3 = P 4 = Czy podny łńuh Mrkow zdny przez grf jest nieprzywiedlny / periodyzny 4? Projekt współfinnsowny przez Unię Europejską w rmh Europejskiego Funduszu Społeznego 4

5 () Łńuh 1 () Łńuh 2 () Łńuh 3 (d) Łńuh 4 (e) Łńuh 5 (f) Łńuh 6 d (g) Łńuh 7 (h) Łńuh 8 Rysunek 4: Grfy do zdni. Projekt współfinnsowny przez Unię Europejską w rmh Europejskiego Funduszu Społeznego 5

Wprowadzenie do Sieci Neuronowych Łańcuchy Markowa

Wprowadzenie do Sieci Neuronowych Łańcuchy Markowa Projekt pn. Wzmonienie potenjłu dydktyznego UMK w Toruniu w dziedzinh mtemtyzno-przyrodnizyh relizowny w rmh Poddziłni 4.1.1 Progrmu Operyjnego Kpitł Ludzki Wprowdzenie do Siei Neuronowyh Łńuhy Mrkow Mj

Bardziej szczegółowo

Wstęp do sieci neuronowych, wykład 11 Łańcuchy Markova

Wstęp do sieci neuronowych, wykład 11 Łańcuchy Markova Wstęp do sieci neuronowych, wykład 11 Łańcuchy Markova M. Czoków, J. Piersa 2010-12-21 1 Definicja Własności Losowanie z rozkładu dyskretnego 2 3 Łańcuch Markova Definicja Własności Losowanie z rozkładu

Bardziej szczegółowo

Wstęp do sieci neuronowych, wykład 12 Łańcuchy Markowa

Wstęp do sieci neuronowych, wykład 12 Łańcuchy Markowa Wstęp do sieci neuronowych, wykład 12 Łańcuchy Markowa M. Czoków, J. Piersa 2012-01-10 1 Łańcucha Markowa 2 Istnienie Szukanie stanu stacjonarnego 3 1 Łańcucha Markowa 2 Istnienie Szukanie stanu stacjonarnego

Bardziej szczegółowo

Temat: Do czego służą wyrażenia algebraiczne?

Temat: Do czego służą wyrażenia algebraiczne? Projekt współfinnsowny przez Unię Europejską w rm Europejskiego Funduszu Społeznego Spotknie 14 Temt: Do zego służą wyrżeni lgerizne? Pln zjęć 1. Jkie wyrżenie nzywmy lgeriznym? Czym wyrżenie lgerizne

Bardziej szczegółowo

Programy współbieżne

Programy współbieżne Specyfikownie i weryfikownie Progrmy współieżne Mrek A. Bednrczyk, www.ipipn.gd.pl Litertur wiele prc dostępnych w Sieci np.: http://www.wikipedi.org/ Specyfikownie i weryfikcj progrmy współieżne PJP Prosty

Bardziej szczegółowo

Metody generowania skończonych modeli zachowań systemów z czasem

Metody generowania skończonych modeli zachowań systemów z czasem Metody generowni skońzonyh modeli zhowń systemów z zsem Rozprw doktorsk npisn pod kierunkiem do. dr hb. Wojieh Penzk IPI PAN, 5.02.05 p./24 Cel pry Oprownie nowyh, efektywnyh metod generowni modeli bstrkyjnyh

Bardziej szczegółowo

4.3. Przekształcenia automatów skończonych

4.3. Przekształcenia automatów skończonych 4.3. Przeksztłceni utomtów skończonych Konstrukcj utomtu skończonego (niedeterministycznego) n podstwie wyrżeni regulrnego (lgorytm Thompson). Wejście: wyrżenie regulrne r nd lfetem T Wyjście : utomt skończony

Bardziej szczegółowo

Rys Wyrównanie spostrzeżeń zawarunkowanych jednakowo dokładnych C. KRAKOWIANY

Rys Wyrównanie spostrzeżeń zawarunkowanych jednakowo dokładnych C. KRAKOWIANY Rys. 9.. Wyrównnie spostrzeżeń zwrunkownyh jednkowo dokłdnyh C. KRAKOWIANY 9.9. Informje wstępne o krkowinh Krkowin jest zespołem liz rozmieszzonyh w prostokątnej teli o k kolumnh i w wierszh, dl którego

Bardziej szczegółowo

Rachunek prawdopodobieństwa i statystyka matematyczna.

Rachunek prawdopodobieństwa i statystyka matematyczna. Rchunek rwdoodobieństw i sttystyk mtemtyczn. Zd 8. {(, : i } Zleżność tą możn rzedstwić w ostci nstęującej interretcji grficznej: Arkdiusz Kwosk Rfł Kukliński Informtyk sem.4 gr. Srwdźmy, czy odne zmienne

Bardziej szczegółowo

Rozwiązania maj 2017r. Zadania zamknięte

Rozwiązania maj 2017r. Zadania zamknięte Rozwiązni mj 2017r. Zdni zmknięte Zd 1. 5 16 5 2 5 2 Zd 2. 5 2 27 2 23 2 2 2 2 Zd 3. 2log 3 2log 5log 3 log 5 log 9 log 25log Zd. 120% 8910 1,2 8910 2,2 8910 $%, 050 Zd 5. Njłtwiej jest zuwżyć że dl 1

Bardziej szczegółowo

DZIAŁ 2. Figury geometryczne

DZIAŁ 2. Figury geometryczne 1 kl. 6, Scenriusz lekcji Pole powierzchni bryły DZAŁ 2. Figury geometryczne Temt w podręczniku: Pole powierzchni bryły Temt jest przeznczony do relizcji podczs 2 godzin lekcyjnych. Zostł zplnowny jko

Bardziej szczegółowo

INSTRUKCJA. - Jak rozwiązywać zadania wysoko punktowane?

INSTRUKCJA. - Jak rozwiązywać zadania wysoko punktowane? INSTRUKCJA - Jk rozwiązywć zdni wysoko punktowne? Mturzysto! Zdni wysoko punktowne to tkie, z które możesz zdobyć 4 lub więcej punktów. Zdni z dużą ilość punktów nie zwsze są trudniejsze, często ich punktcj

Bardziej szczegółowo

4.6. Gramatyki regularne

4.6. Gramatyki regularne 4.6. Grmtyki regulrne G = < N,T,P,Z > jest grmtyką prwostronnie liniową, jeśli jej produkcje mją postć: ( i) U xv x T * U,V N ( ii) U x G = < N,T,P,Z > jest grmtyką prwostronnie regulrną, jeśli jej produkcje

Bardziej szczegółowo

Gramatyki regularne. Teoria automatów i języków formalnych. Dr inż. Janusz Majewski Katedra Informatyki

Gramatyki regularne. Teoria automatów i języków formalnych. Dr inż. Janusz Majewski Katedra Informatyki Grmtyki regulrne Teori utomtów i języków formlnych Dr inż. Jnusz Mjewski Ktedr Informtyki Grmtyki regulrne G = < V,Σ,P, > jest grmtyką prwostronnie liniową, jeśli jej produkcje mją postć: ( i ) U xw (

Bardziej szczegółowo

zestaw DO ĆWICZEŃ z matematyki

zestaw DO ĆWICZEŃ z matematyki zestaw DO ĆWICZEŃ z mtemtyki poziom rozszerzony rozumownie i rgumentcj krty prcy ZESTAW I Zdnie 1. Wykż, że odcinek łączący środki dwóch dowolnych oków trójkąt jest równoległy do trzeciego oku i jest równy

Bardziej szczegółowo

LISTA02: Projektowanie układów drugiego rzędu Przygotowanie: 1. Jakie własności ma równanie 2-ego rzędu & x &+ bx&

LISTA02: Projektowanie układów drugiego rzędu Przygotowanie: 1. Jakie własności ma równanie 2-ego rzędu & x &+ bx& LISTA: Projektownie ukłdów drugiego rzędu Przygotownie: 1. Jkie włsności m równnie -ego rzędu & &+ b + c u jeśli: ) c>; b) c; c) c< Określ położenie biegunów, stbilność, oscylcje Zdni 1: Wyzncz bieguny.

Bardziej szczegółowo

Wyk lad 1 Podstawowe wiadomości o macierzach

Wyk lad 1 Podstawowe wiadomości o macierzach Wyk ld 1 Podstwowe widomości o mcierzch Oznczeni: N {1 2 3 } - zbiór liczb nturlnych N 0 {0 1 2 } R - ci lo liczb rzeczywistych n i 1 + 2 + + n i1 1 Określenie mcierzy Niech m i n bed dowolnymi liczbmi

Bardziej szczegółowo

ZADANIA AUTOMATY I JĘZYKI FORMALNE AUTOMATY SKOŃCZONE

ZADANIA AUTOMATY I JĘZYKI FORMALNE AUTOMATY SKOŃCZONE ZADANIA AUTOMATY I JĘZYKI FORMALNE AUTOMATY SKOŃCZONE DAS Deterministyczny Automt Skończony Zdnie Niech M ędzie DAS tkim że funkcj przejści: Q F ) podj digrm stnów dl M ) które ze słów nleżą do język kceptownego

Bardziej szczegółowo

4. RACHUNEK WEKTOROWY

4. RACHUNEK WEKTOROWY 4. RACHUNEK WEKTOROWY 4.1. Wektor zczepiony i wektor swoodny Uporządkowną prę punktów (A B) wyznczjącą skierowny odcinek o początku w punkcie A i końcu w punkcie B nzywmy wektorem zczepionym w punkcie

Bardziej szczegółowo

4.2. Automat skończony

4.2. Automat skończony 4.2. Automt skończony Przykłd: Rozwżmy język nd lfetem inrnym T = {0, } skłdjący się z łńcuchów zero-jedynkowych o tej włsności, że licz zer w kżdym łńcuchu jest przyst i licz jedynek w kżdym łńcuchu też

Bardziej szczegółowo

Przekształcenia automatów skończonych

Przekształcenia automatów skończonych Przeksztłceni utomtów skończonych Teori utomtów i języków formlnych Dr inŝ. Jnusz Mjewski Ktedr Informtyki Konstrukcj utomtu skończonego n podstwie wyrŝeni regulrnego (lgorytm Thompson) Wejście: wyrŝenie

Bardziej szczegółowo

Modele abstrakcyjne w weryfikacji

Modele abstrakcyjne w weryfikacji Modele strkyjne w weryfikji Krzysztof Nozderko kn201076@students.mimuw.edu.pl 16 mj 2006 Modele strkyjne w weryfikji Bisymulj jko gr Weżmy dw modele. Żey rozstrzygnć, zy s one z punktu widzeni oserwtor

Bardziej szczegółowo

1. Wstęp. Pojęcie grafu przepływowego. Niech pewien system liniowy będzie opisany układem liniowych równań algebraicznych

1. Wstęp. Pojęcie grafu przepływowego. Niech pewien system liniowy będzie opisany układem liniowych równań algebraicznych Owody i Ukłdy Anliz ukłdów z pomoą grfów przepływowy Mteriły Pomonize. Wstęp. Pojęie grfu przepływowego. Nie pewien system liniowy ędzie opisny ukłdem liniowy równń lgerizny x + x x + x gdzie: x, x - zmienne

Bardziej szczegółowo

GENEZA WYZNACZNIKA. Układ równań liniowych z dwiema niewiadomymi. Rozwiązania układu metodą eliminacji Gaussa

GENEZA WYZNACZNIKA. Układ równań liniowych z dwiema niewiadomymi. Rozwiązania układu metodą eliminacji Gaussa / WYKŁD. Wyzzik mierzy: defiij idukyj i permutyj. Włsośi wyzzików, rozwiięie Lple', wzór Srrus. Mierz odwrot i sposoy jej wyzzi. GENEZ WYZNCZNIK Ukłd rówń liiowyh z dwiem iewidomymi, y x y x Rozwiązi ukłdu

Bardziej szczegółowo

ZADANIA Z ZAKRESU SZKOŁY PODSTAWOWEJ, GIMNAZJUM I SZKOŁY ŚREDNIEJ

ZADANIA Z ZAKRESU SZKOŁY PODSTAWOWEJ, GIMNAZJUM I SZKOŁY ŚREDNIEJ ZADANIA Z ZAKRESU SZKOŁY PODSTAWOWEJ, GIMNAZJUM I SZKOŁY ŚREDNIEJ Nrsowć wkres funkji: f() = + Nrsowć wkres funkji: f() = + Nrsowć wkres funkji: f() = + + Dl jkih wrtośi A, B zhodzi równość: + +5+6 = A

Bardziej szczegółowo

( ) Lista 2 / Granica i ciągłość funkcji ( z przykładowymi rozwiązaniami)

( ) Lista 2 / Granica i ciągłość funkcji ( z przykładowymi rozwiązaniami) List / Grnic i ciągłość funkcji ( z przykłdowymi rozwiąznimi) Korzystjąc z definicji grnicy (ciągowej) funkcji uzsdnić podne równości: sin ) ( + ) ; b) ; c) + 5 Obliczyć grnice funkcji przy orz : + ) f

Bardziej szczegółowo

Języki, automaty i obliczenia

Języki, automaty i obliczenia Języki, utomty i oliczeni Wykłd 5: Wricje n temt utomtów skończonych Słwomir Lsot Uniwersytet Wrszwski 25 mrc 2015 Pln Automty dwukierunkowe (Niedeterministyczny) utomt dwukierunkowy A = (A,,, Q, I, F,

Bardziej szczegółowo

Szkice rozwiązań zadań zawody rejonowe 2019

Szkice rozwiązań zadań zawody rejonowe 2019 XVI Śląski Konkurs Mtemtyzny Szkie rozwiązń zdń zwody rejonowe 9 Zdnie. Znjdź wszystkie lizy pierwsze p, dl któryh liz pp+ + też jest lizą pierwszą. Rozwiąznie Jeżeli p, to pp+ + 3 + i jest to liz złożon.

Bardziej szczegółowo

Matematyczne Podstawy Informatyki

Matematyczne Podstawy Informatyki Mtemtyczne Podstwy Informtyki dr inż. Andrzej Grosser Instytut Informtyki Teoretycznej i Stosownej Politechnik Częstochowsk Rok kdemicki 2013/2014 Podstwowe pojęci teorii utomtów I Alfetem jest nzywny

Bardziej szczegółowo

PODSTAWY ALGEBRY MACIERZY. Operacje na macierzach

PODSTAWY ALGEBRY MACIERZY. Operacje na macierzach PODSTWY LGEBRY MCIERZY WIERSZ i, KOLUMN (j) Mcierz m,n, gdzie m to ilość wierszy, n ilość kolumn i,j element mcierzy z itego wiersz, jtej kolumny Opercje n mcierzch Równość mcierzy m,n = B m,n. def i,j

Bardziej szczegółowo

Metoda superpozycji: Sesja poprawkowa. Wykład 1

Metoda superpozycji: Sesja poprawkowa. Wykład 1 Elektrotehnik wykłd Metod superpozyji: E i 8V, E i V Sesj poprwkow Wykłd Zdni Wykłd e d e d E U U E e d 0.77..087 0.7 0.9 0.9.7... Grup : d pkt, d pkt, dst 8 pkt Termin 0. Symole stosowne n shemth. Zsdy

Bardziej szczegółowo

Minimalizacja automatu

Minimalizacja automatu Minimlizj utomtu Minimlizj utomtu to minimlizj lizy stnów. Jest to trnsformj utomtu o nej tliy przejśćwyjść n równowżny mu (po wzglęem przetwrzni sygnłów yfrowyh) utomt o mniejszej lizie stnów wewnętrznyh.

Bardziej szczegółowo

Projekt Era inżyniera pewna lokata na przyszłość jest współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego

Projekt Era inżyniera pewna lokata na przyszłość jest współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego Mteriły dydktyczne n zjęci wyrównwcze z mtemtyki dl studentów pierwszego roku kierunku zmwinego Inżynieri Środowisk w rmch projektu Er inżynier pewn lokt n przyszłość Projekt Er inżynier pewn lokt n przyszłość

Bardziej szczegółowo

Planimetria czworokąty

Planimetria czworokąty Plnimetri czworokąty Emili Ruszczyk kl. II, I LO im. Stefn Żeromskiego w Ełku pod kierunkiem Grżyny iernot-lendo Klsyfikcj czworokątów zworokąty dzielą się n niewypukłe i wypukłe, wypukłe n trpezy i trpezoidy,

Bardziej szczegółowo

Macierz. Wyznacznik macierzy. Układ równań liniowych

Macierz. Wyznacznik macierzy. Układ równań liniowych Temt wykłdu: Mcierz. Wyzncznik mcierzy. Ukłd równń liniowych Kody kolorów: żółty nowe pojęcie pomrńczowy uwg kursyw komentrz * mterił ndobowiązkowy Ann Rjfur, Mtemtyk Zgdnieni. Pojęci. Dziłni n mcierzch.

Bardziej szczegółowo

ROZWIĄZYWANIE MAŁYCH TRÓJKĄTÓW SFERYCZNYCH

ROZWIĄZYWANIE MAŁYCH TRÓJKĄTÓW SFERYCZNYCH Mteriły dydktyzne Geodezj geometryzn Mrin Ligs, Ktedr Geomtyki, Wydził Geodezji Górnizej i Inżynierii Środowisk OZWIĄZYWANIE MAŁYCH TÓJKĄTÓW SFEYCZNYCH rezentowne metody rozwiązywni młyh trójkątów sferyznyh

Bardziej szczegółowo

G i m n a z j a l i s t ó w

G i m n a z j a l i s t ó w Ko³o Mtemtyzne G i m n z j l i s t ó w 1. Lizy,, spełniją wrunki: (1) ++ = 0, 1 () + + 1 + + 1 + = 1 4. Olizyć wrtość wyrżeni w = + + Rozwiąznie Stowrzyszenie n rzez Edukji Mtemtyznej Zestw 7 szkie rozwizń

Bardziej szczegółowo

Technika Cyfrowa 1. Wykład 5: Synteza automatów sekwencyjnych III UKŁADY SEKWENCYJNE C.D.

Technika Cyfrowa 1. Wykład 5: Synteza automatów sekwencyjnych III UKŁADY SEKWENCYJNE C.D. JS TC III UKŁADY SEKWENCYJNE C.D. JS TC Tehnik Cyfrow Wykł 5: Syntez utomtów sekwenyjnyh r inż. Jrosłw Sugier Jroslw.Sugier@pwr.wro.pl IIAR, pok. 227 C-3 4 GRAF AUTOMATU, TABELE PRZEJŚĆ / WYJŚĆ Opis sekwenyjnego

Bardziej szczegółowo

PODSTAWY BAZ DANYCH Wykład 3 2. Pojęcie Relacyjnej Bazy Danych

PODSTAWY BAZ DANYCH Wykład 3 2. Pojęcie Relacyjnej Bazy Danych PODSTAWY BAZ DANYCH Wykłd 3 2. Pojęcie Relcyjnej Bzy Dnych 2005/2006 Wykłd "Podstwy z dnych" 1 Rozkłdlno dlność schemtów w relcyjnych Przykłd. Relcj EGZ(U), U := { I, N, P, O }, gdzie I 10 10 11 N f f

Bardziej szczegółowo

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA Mteriły do wykłdu MATEMATYKA DYSKRETNA dl studiów zocznych cz. Progrm wykłdu: KOMBINATORYKA:. Notcj i podstwowe pojęci. Zlicznie funkcji. Permutcje. Podziory zioru. Podziory k-elementowe. Ziory z powtórzenimi

Bardziej szczegółowo

( ) Elementy rachunku prawdopodobieństwa. f( x) 1 F (x) f(x) - gęstość rozkładu prawdopodobieństwa X f( x) - dystrybuanta rozkładu.

( ) Elementy rachunku prawdopodobieństwa. f( x) 1 F (x) f(x) - gęstość rozkładu prawdopodobieństwa X f( x) - dystrybuanta rozkładu. Elementy rchunku prwdopodoeństw f 0 f() - gęstość rozkłdu prwdopodoeństw X f d P< < = f( d ) F = f( tdt ) - dystryunt rozkłdu E( X) = tf( t) dt - wrtość średn D ( X) = E( X ) E( X) - wrncj = f () F ()

Bardziej szczegółowo

GŁÓWNY URZĄD STATYSTYCZNY, al. Niepodległości 208, 00-925 Warszawa DS-50 I OCHRONA ZDROWIA W GOSPODARSTWACH DOMOWYCH, Kwestionariusz indywidualny

GŁÓWNY URZĄD STATYSTYCZNY, al. Niepodległości 208, 00-925 Warszawa DS-50 I OCHRONA ZDROWIA W GOSPODARSTWACH DOMOWYCH, Kwestionariusz indywidualny GŁÓWNY URZĄD STATYSTYCZNY, l. Niepodległośi 08, 00-95 Wrszw www.stt.gov.pl Dził 1. CHARAKTERYSTYKA OSOBY 1. Symol województw gospodrstw domowego. Nr gospodrstw domowego. Nr kolejny osoy ojętej dniem w

Bardziej szczegółowo

Analiza matematyczna i algebra liniowa

Analiza matematyczna i algebra liniowa Anliz mtemtyczn i lgebr liniow Mteriły pomocnicze dl studentów do wykłdów Mcierze liczbowe i wyznczniki. Ukłdy równń liniowych. Mcierze. Wyznczniki. Mcierz odwrotn. Równni mcierzowe. Rząd mcierzy. Ukłdy

Bardziej szczegółowo

Układy równań liniowych Macierze rzadkie

Układy równań liniowych Macierze rzadkie wr zesie ń SciLb w obliczenich numerycznych - część Sljd Ukłdy równń liniowych Mcierze rzdkie wr zesie ń SciLb w obliczenich numerycznych - część Sljd Pln zjęć. Zdnie rozwiązni ukłdu równń liniowych..

Bardziej szczegółowo

WYKŁAD 5. Typy macierzy, działania na macierzach, macierz układu równań. Podstawowe wiadomości o macierzach

WYKŁAD 5. Typy macierzy, działania na macierzach, macierz układu równań. Podstawowe wiadomości o macierzach Mtemtyk I WYKŁD. ypy mcierzy, dziłni n mcierzch, mcierz ukłdu równń. Podstwowe widomości o mcierzch Ogóln postć ukłdu m równń liniowych lgebricznych z n niewidomymi x x n xn b x x n xn b, niewidome: x,

Bardziej szczegółowo

XI. Rachunek całkowy funkcji wielu zmiennych. 1. Całka podwójna Całka podwójna po prostokącie. Oznaczenia:

XI. Rachunek całkowy funkcji wielu zmiennych. 1. Całka podwójna Całka podwójna po prostokącie. Oznaczenia: XI. Rhunek łkowy funkji wielu zmiennyh. 1. Cłk podwójn. 1.1. Cłk podwójn po prostokąie. Oznzeni: P = {(x, y) R 2 : x b, y d} = [, b] [, d] - prostokąt n płszzyźnie, f(x, y) - funkj określon i ogrnizon

Bardziej szczegółowo

Komisja Egzaminacyjna dla Aktuariuszy LII Egzamin dla Aktuariuszy z 15 marca 2010 r. Część I Matematyka finansowa

Komisja Egzaminacyjna dla Aktuariuszy LII Egzamin dla Aktuariuszy z 15 marca 2010 r. Część I Matematyka finansowa Mtemtyk finnsow 15.0.010 r. Komisj Egzmincyjn dl Akturiuszy LII Egzmin dl Akturiuszy z 15 mrc 010 r. Część I Mtemtyk finnsow WERSJA TESTU A Imię i nzwisko osoy egzminownej:... Czs egzminu: 100 minut 1

Bardziej szczegółowo

3. F jest lewostronnie ciągła

3. F jest lewostronnie ciągła Def. Zmienną losową nzywmy funkcję X: tką, że x R : { : X( ) < x }. Ozn.: zmist pisd A = { : X( ) < x } piszemy A = { X < x } zdrzenie poleg n tym, że X( )

Bardziej szczegółowo

SCENARIUSZ LEKCJI MATEMATYKI W LICEUM OGÓLNOKSZTAŁCĄCYM. Określenie, wykres i własności funkcji homograficznej.

SCENARIUSZ LEKCJI MATEMATYKI W LICEUM OGÓLNOKSZTAŁCĄCYM. Określenie, wykres i własności funkcji homograficznej. Ktrzyn Gwinkowsk Hnn Młeck VI L.O im J. Korczk W ZSO nr w Sosnowcu. SCENARIUSZ LEKCJI MATEMATYKI W LICEUM OGÓLNOKSZTAŁCĄCYM Temt: Określenie, wykres i włsności unkcji homogricznej. Cele lekcji: poznwcze:

Bardziej szczegółowo

KONKURS MATEMATYCZNY. Model odpowiedzi i schematy punktowania

KONKURS MATEMATYCZNY. Model odpowiedzi i schematy punktowania KONKURS MATEMATYCZNY dl uczniów gimnzjów orz oddziłów gimnzjlnych województw mzowieckiego w roku szkolnym 2018/2019 Model odpowiedzi i schemty punktowni Z kżde poprwne i pełne rozwiąznie, inne niż przewidzine

Bardziej szczegółowo

Wyznacznikiem macierzy kwadratowej A stopnia n nazywamy liczbę det A określoną następująco:

Wyznacznikiem macierzy kwadratowej A stopnia n nazywamy liczbę det A określoną następująco: Def.8. Wyzncznikiem mcierzy kwdrtowej stopni n nzywmy liczbę det określoną nstępująco:.det.det dl n n det det n det n, gdzie i j ozncz mcierz, którą otrzymujemy z mcierzy przez skreślenie i- tego wiersz

Bardziej szczegółowo

2.3.1. Iloczyn skalarny

2.3.1. Iloczyn skalarny 2.3.1. Ilon sklrn Ilonem sklrnm (sklrowm) dwóh wektorów i nwm sklr równ ilonowi modułów ou wektorów pre kosinus kąt wrtego międ nimi. α O Rs. 2.8. Ilustrj do definiji ilonu sklrnego Jeżeli kąt międ wektormi

Bardziej szczegółowo

Kombinowanie o nieskończoności. 4. Jak zmierzyć?

Kombinowanie o nieskończoności. 4. Jak zmierzyć? Kombinownie o nieskończoności.. Jk zmierzyć? Projekt Mtemtyk dl ciekwych świt spisł: Michł Korch 9 kwietni 08 Trochę rzeczy z wykłdu Prezentcj multimediln do wykłdu. Nieskończone sumy Będzie nm się zdrzć

Bardziej szczegółowo

1 Wprowadzenie do automatów

1 Wprowadzenie do automatów Dr inż. D.W. Brzeziński - Automty skończone, mszyn Turing. Lingwistyk mtemtyczn - ćwiczeni. Mteriły pomocnicze. Prowdzący: dr inż. Driusz W Brzeziński 1 Wprowdzenie do utomtów Automty skończone to urządzeni

Bardziej szczegółowo

Algebra Boola i podstawy systemów liczbowych. Ćwiczenia z Teorii Układów Logicznych, dr inż. Ernest Jamro. 1. System dwójkowy reprezentacja binarna

Algebra Boola i podstawy systemów liczbowych. Ćwiczenia z Teorii Układów Logicznych, dr inż. Ernest Jamro. 1. System dwójkowy reprezentacja binarna lger Bool i podstwy systemów liczowych. Ćwiczeni z Teorii Ukłdów Logicznych, dr inż. Ernest Jmro. System dwójkowy reprezentcj inrn Ukłdy logiczne operują tylko n dwóch stnch ozncznymi jko zero (stn npięci

Bardziej szczegółowo

Metoda szeregów potęgowych dla równań różniczkowych zwyczajnych liniowych. Równanie różniczkowe zwyczajne liniowe drugiego rzędu ma postać

Metoda szeregów potęgowych dla równań różniczkowych zwyczajnych liniowych. Równanie różniczkowe zwyczajne liniowe drugiego rzędu ma postać met_szer_potegowyh-.doowyh Metod szeregów potęgowyh dl rówń różizkowyh zwyzjyh liiowyh Rówie różizkowe zwyzje liiowe drugiego rzędu m postć d u d f du d gu h ( Złóżmy, że rozwiązie rówi ( może yć przedstwioe

Bardziej szczegółowo

Matematyka finansowa 10.03.2014 r. Komisja Egzaminacyjna dla Aktuariuszy. LXVI Egzamin dla Aktuariuszy z 10 marca 2014 r. Część I

Matematyka finansowa 10.03.2014 r. Komisja Egzaminacyjna dla Aktuariuszy. LXVI Egzamin dla Aktuariuszy z 10 marca 2014 r. Część I Mtemtyk finnsow.03.2014 r. Komisj Egzmincyjn dl Akturiuszy LXVI Egzmin dl Akturiuszy z mrc 2014 r. Część I Mtemtyk finnsow WERSJA TESTU A Imię i nzwisko osoby egzminownej:... Czs egzminu: 0 minut 1 Mtemtyk

Bardziej szczegółowo

Procesy stochastyczne WYKŁAD 2-3. Łańcuchy Markowa. Łańcuchy Markowa to procesy "bez pamięci" w których czas i stany są zbiorami dyskretnymi.

Procesy stochastyczne WYKŁAD 2-3. Łańcuchy Markowa. Łańcuchy Markowa to procesy bez pamięci w których czas i stany są zbiorami dyskretnymi. Procesy stochastyczne WYKŁAD 2-3 Łańcuchy Markowa Łańcuchy Markowa to procesy "bez pamięci" w których czas i stany są zbiorami dyskretnymi. 2 Łańcuchem Markowa nazywamy proces będący ciągiem zmiennych

Bardziej szczegółowo

Wykład 6 Dyfrakcja Fresnela i Fraunhofera

Wykład 6 Dyfrakcja Fresnela i Fraunhofera Wykłd 6 Dyfrkcj Fresnel i Frunhofer Zjwisko dyfrkcji (ugięci) świtł odkrył Grimldi (XVII w). Poleg ono n uginniu się promieni świetlnych przechodzących w pobliżu przeszkody (np. brzeg szczeliny). Wyjśnienie

Bardziej szczegółowo

Lista 4 Deterministyczne i niedeterministyczne automaty

Lista 4 Deterministyczne i niedeterministyczne automaty Uniwersytet Zielonogórski Instytut Sterowni i Systemów Informtycznych Teoretyczne Podstwy Informtyki List 4 Deterministyczne i niedeterministyczne utomty Wprowdzenie Automt skończony jest modelem mtemtycznym

Bardziej szczegółowo

Uszczelnienie przepływowe w maszyn przepływowych oraz sposób diagnozowania uszczelnienia przepływowego zwłaszcza w maszyn przepływowych

Uszczelnienie przepływowe w maszyn przepływowych oraz sposób diagnozowania uszczelnienia przepływowego zwłaszcza w maszyn przepływowych Uszczelnienie przepływowe w mszyn przepływowych orz sposób dignozowni uszczelnieni przepływowego zwłszcz w mszyn przepływowych Przedmiotem wynlzku jest uszczelnienie przepływowe mszyn przepływowych orz

Bardziej szczegółowo

Parada nierówności. Marcin Fryz. 15 czerwca a + b 2. ab 2. a + b + c. 3 abc. (2)

Parada nierówności. Marcin Fryz. 15 czerwca a + b 2. ab 2. a + b + c. 3 abc. (2) Prd nierównośi Mrin Fryz 5 zerw 0 Rozgrzewk Udowodnić, że dl dowolnyh nieujemnyh liz,,, d zhodzą:, () () Dowód Pierwszą nierówność w () możemy podnieść równowżnie do kwdrtu i zstosowć wzór skróonego mnożeni:

Bardziej szczegółowo

Równania i nierówności kwadratowe z jedną niewiadomą

Równania i nierówności kwadratowe z jedną niewiadomą 50 REPETYTORIUM 31 Równni i nierówności kwdrtowe z jedną niewidomą Równnie wielominowe to równość dwóch wyrżeń lgebricznych Kżd liczb, któr po podstwieniu w miejscu niewidomej w równniu o jednej niewidomej

Bardziej szczegółowo

Zadania. I. Podzielność liczb całkowitych

Zadania. I. Podzielność liczb całkowitych Zdni I. Podzielność liczb cłkowitych. Pewn liczb sześciocyfrow kończy się cyfrą 5. Jeśli tę cyfrę przestwimy n miejsce pierwsze ze strony lewej to otrzymmy nową liczbę cztery rzy większą od poprzedniej.

Bardziej szczegółowo

III. Rachunek całkowy funkcji jednej zmiennej.

III. Rachunek całkowy funkcji jednej zmiennej. III. Rchunek cłkowy funkcji jednej zmiennej. 1. Cłki nieoznczone. Niech f : I R, I R - przedził n prostej. Definicj 1.1. (funkcji pierwotnej) Funkcję F nzywmy funkcją pierwotną funkcji f n przedzile I,

Bardziej szczegółowo

PODSTAWY BAZ DANYCH Wykład 2 2. Pojęcie Relacyjnej Bazy Danych

PODSTAWY BAZ DANYCH Wykład 2 2. Pojęcie Relacyjnej Bazy Danych PODSTAWY BAZ DANYCH Wykłd 2 2. Pojęcie Relcyjnej Bzy Dnych 2005/2006 Wykłd "Podstwy bz dnych" 1 Pojęcie krotki - definicj Definicj. Niech dny będzie skończony zbiór U := { A 1, A 2,..., A n }, którego

Bardziej szczegółowo

FUNKCJA KWADRATOWA. RÓWNANIA I NIERÓWNOŚCI DRUGIEGO STOPNIA.

FUNKCJA KWADRATOWA. RÓWNANIA I NIERÓWNOŚCI DRUGIEGO STOPNIA. Oprownie: Elżiet Mlnowsk FUNKCJA KWADRATOWA. RÓWNANIA I NIERÓWNOŚCI DRUGIEGO STOPNIA. Określeni podstwowe: Jeżeli kżdej lizie x z pewnego zioru lizowego X przporządkown jest dokłdnie jedn liz, to mówim,

Bardziej szczegółowo

Metoda prądów obwodowych

Metoda prądów obwodowych Metod prądów owodowyh Zmenmy wszystke rzezywste źródł prądowe n npęowe, Tworzymy kłd równń lnowyh opsjąyh poszzególne owody. Dowolną seć lnową skłdjąą sę z elementów skponyh możn opsć z pomoą kłd równń

Bardziej szczegółowo

Przykład 6.2. Płaski stan naprężenia. Płaski stan odkształcenia.

Przykład 6.2. Płaski stan naprężenia. Płaski stan odkształcenia. Przkłd 6.. Płski stn nprężeni. Płski stn odksztłeni. ZADANIE. Dl dnego płskiego stnu nprężeni [MP] znleźć skłdowe stnu nprężeni w ukłdzie osi oróonh względem osi o kąt α0 orz nprężeni i kierunki główne.

Bardziej szczegółowo

Badanie regularności w słowach

Badanie regularności w słowach Przypdek sekwencyjny Mrcin Piątkowski Wydził Mtemtyki i Informtyki Uniwersytet Mikołj Kopernik Edsger Wybe Dijkstr (1930 2002) Computer science is no more bout computers thn stronomy is bout telescopes,

Bardziej szczegółowo

Propozycja przedmiotowego systemu oceniania wraz z określeniem wymagań edukacyjnych (zakres podstawowy)

Propozycja przedmiotowego systemu oceniania wraz z określeniem wymagań edukacyjnych (zakres podstawowy) Propozycj przedmiotowego systemu ocenini wrz z określeniem wymgń edukcyjnych (zkres podstwowy) Proponujemy, by omwijąc dne zgdnienie progrmowe lub rozwiązując zdnie, nuczyciel określł do jkiego zkresu

Bardziej szczegółowo

Przykład: QS(tab,0,5); Sortowanie. Mnożenie macierzy. dr inż. Jarosław Forenc

Przykład: QS(tab,0,5); Sortowanie. Mnożenie macierzy. dr inż. Jarosław Forenc Informtyk 1, studi stjonrne I stopni Rok kdemiki 20/2014, Wykłd nr 7 2/27 Pln wykłdu nr 7 Informtyk 1 Politehnik Biłostok - Wydził Elektryzny Elektrotehnik, semestr II, studi stjonrne I stopni Rok kdemiki

Bardziej szczegółowo

WYZNACZNIKI. . Gdybyśmy rozważali układ dwóch równań liniowych, powiedzmy: Takie układy w matematyce nazywa się macierzami. Przyjmijmy definicję:

WYZNACZNIKI. . Gdybyśmy rozważali układ dwóch równań liniowych, powiedzmy: Takie układy w matematyce nazywa się macierzami. Przyjmijmy definicję: YZNACZNIKI Do opisu pewnh oiektów nie wstrz użć liz. ie n przkłd, że do opisni sił nleż użć wektor. Sił to przeież nie tlko wielkość le i jej punkt przłożeni, zwrot orz kierunek dziłni. Zte jedną lizą

Bardziej szczegółowo

Regulamin świadczenia usług przez Ten Square Games sp. z o.o. (dalej również: Regulamin ) 1. Przedmiot Regulaminu, Usługodawca

Regulamin świadczenia usług przez Ten Square Games sp. z o.o. (dalej również: Regulamin ) 1. Przedmiot Regulaminu, Usługodawca Regulmin świdzeni usług przez Ten Squre Gmes sp. z o.o. (dlej również: Regulmin ) 1. Przedmiot Regulminu, Usługodw 1 Regulmin określ zsdy korzystni z gry pod nzwą Let s fish, dostępnej on-line w szzególnośi

Bardziej szczegółowo

Politechnika Gdańska Wydział Elektrotechniki i Automatyki Katedra Inżynierii Systemów Sterowania

Politechnika Gdańska Wydział Elektrotechniki i Automatyki Katedra Inżynierii Systemów Sterowania Politechnik Gdńsk Wydził Elektrotechniki i Automtyki Ktedr Inżynierii Systemów Sterowni Teori sterowni Sterowlność i obserwowlność liniowych ukłdów sterowni Zdni do ćwiczeń lbortoryjnych termin T Oprcownie:

Bardziej szczegółowo

R + v 10 R0, 9 k v k. a k v k + v 10 a 10. k=1. Z pierwszego równania otrzymuję R 32475, 21083. Dalej mam: (R 9P + (k 1)P )v k + v 10 a 10

R + v 10 R0, 9 k v k. a k v k + v 10 a 10. k=1. Z pierwszego równania otrzymuję R 32475, 21083. Dalej mam: (R 9P + (k 1)P )v k + v 10 a 10 Zdnie. Zkłd ubezpieczeń n życie plnuje zbudownie portfel ubezpieczeniowego przy nstępujących złożenich: ozwiąznie. Przez P k będę oznczł wrtość portfel n koniec k-tego roku. Szukm P 0 tkie by spełnił:

Bardziej szczegółowo

Całki oznaczone. wykład z MATEMATYKI

Całki oznaczone. wykład z MATEMATYKI Cłki oznzone wkłd z MATEMATYKI Budownitwo, studi niestjonrne sem. I, rok k. 28/29 Ktedr Mtemtki Wdził Informtki Politehnik Biłostok 1 Podstwowe pojęi 1.1 Podził P przedziłu, Nieh f ędzie funkją ogrnizoną

Bardziej szczegółowo

Wykład 2. Pojęcie całki niewłaściwej do rachunku prawdopodobieństwa

Wykład 2. Pojęcie całki niewłaściwej do rachunku prawdopodobieństwa Wykłd 2. Pojęcie cłki niewłściwej do rchunku prwdopodobieństw dr Mriusz Grządziel 4 mrc 24 Pole trpezu krzywoliniowego Przypomnienie: figurę ogrniczoną przez: wykres funkcji y = f(x), gdzie f jest funkcją

Bardziej szczegółowo

A.1. Budowa i proporcje znaku. FIDO LOGOTYP. 22a. 5,5a. 0,45a

A.1. Budowa i proporcje znaku. FIDO LOGOTYP. 22a. 5,5a. 0,45a BRANDBOOK FIDO LOGOTYP A.1. Budow i proporje znku. Wielkość logotypu określn jest przy pomoy jednostki - odpowidjąej szerokośi litery i w logotypie, orz jednostki b odpowidjąej przestrzeni między kreskmi

Bardziej szczegółowo

Algorytmy MCMC i ich zastosowania statystyczne

Algorytmy MCMC i ich zastosowania statystyczne Algorytmy MCMC i ich zastosowania statystyczne Wojciech Niemiro Uniwersytet Mikołaja Kopernika, Toruń i Uniwersytet Warszawski Statystyka Matematyczna Wisła, grudzień 2010 Wykład 3 1 Łańcuchy Markowa Oznaczenia

Bardziej szczegółowo

Wspomaganie obliczeń za pomocą programu MathCad

Wspomaganie obliczeń za pomocą programu MathCad Wprowdzenie do Mthcd' Oprcowł:M. Detk P. Stąpór Wspomgnie oliczeń z pomocą progrmu MthCd Definicj zmiennych e f g h 8 Przykłd dowolnego wyrŝeni Ay zdefinowc znienną e wyierz z klwitury kolejno: e: e f

Bardziej szczegółowo

Laboratorium z metod numerycznych.

Laboratorium z metod numerycznych. Lbortorium z metod numerycznych.. ĆWICZENIA Z PODSTAW OBSŁUGI MATHCAD- Uwg: Instrukcj do ćwiczeń sporządzon jest w progrmie MthCd, nleży wygenerowć w rmch ćwiczeni podobny dokument zwierjący: Opisy, Obliczeni,

Bardziej szczegółowo

Metody Rozmyte i Algorytmy Ewolucyjne

Metody Rozmyte i Algorytmy Ewolucyjne mgr inż. Wydział Matematyczno-Przyrodniczy Szkoła Nauk Ścisłych Uniwersytet Kardynała Stefana Wyszyńskiego Podstawowe operatory genetyczne Plan wykładu Przypomnienie 1 Przypomnienie Metody generacji liczb

Bardziej szczegółowo

Grażyna Nowicka, Waldemar Nowicki BADANIE RÓWNOWAG KWASOWO-ZASADOWYCH W ROZTWORACH ELEKTROLITÓW AMFOTERYCZNYCH

Grażyna Nowicka, Waldemar Nowicki BADANIE RÓWNOWAG KWASOWO-ZASADOWYCH W ROZTWORACH ELEKTROLITÓW AMFOTERYCZNYCH Ćwiczenie Grżyn Nowick, Wldemr Nowicki BDNIE RÓWNOWG WSOWO-ZSDOWYC W ROZTWORC ELETROLITÓW MFOTERYCZNYC Zgdnieni: ktywność i współczynnik ktywności skłdnik roztworu. ktywność jonów i ktywność elektrolitu.

Bardziej szczegółowo

Laboratorium z metod numerycznych. = ewaluacja (wyliczenie) wyrażenia - wyświetlenie wyniku

Laboratorium z metod numerycznych. = ewaluacja (wyliczenie) wyrażenia - wyświetlenie wyniku (C) - by &J. Wąs & L.Dutkiewicz & Lbortorium z metod numerycznych.. ĆWICZENIA Z PODSTAW OBSŁUGI MATHCAD- Uwg: Instrukcj do ćwiczeń sporządzon jest w progrmie MthCd, nleży wygenerowć w rmch ćwiczeni podobny

Bardziej szczegółowo

Działania wewnętrzne i zewnętrzne

Działania wewnętrzne i zewnętrzne Autmtyk i Rtyk Alger -Wykłd - dr Adm Ćmiel miel@gedupl Dziłi wewętrze i zewętrze Nie X ędzie ustlym iepustym zirem Def Dwurgumetwym dziłiem wewętrzym w zirze X zywmy fukję Jeśli X i y X t y X zywmy wyikiem

Bardziej szczegółowo

Wektor kolumnowy m wymiarowy macierz prostokątna o wymiarze n=1 Wektor wierszowy n wymiarowy macierz prostokątna o wymiarze m=1

Wektor kolumnowy m wymiarowy macierz prostokątna o wymiarze n=1 Wektor wierszowy n wymiarowy macierz prostokątna o wymiarze m=1 Rchunek mcierzowy Mcierzą A nzywmy funkcję 2-zmiennych, któr prze liczb nturlnych (i,j) gdzie i = 1,2,3,4.,m; j = 1,2,3,4,n przyporządkowuje dokłdnie jeden element ij. 11 21 A = m1 12 22 m2 1n 2n mn Wymirem

Bardziej szczegółowo

Semantyka i Weryfikacja Programów - Laboratorium 7

Semantyka i Weryfikacja Programów - Laboratorium 7 Semntyk i Weryfikj Progrmów - Lortorium 7 Weryfikj twierdzeń logiznyh Cel. Celem ćwizeni jest zpoznnie się z metodą utomtyznego dowodzeni twierdzeń, tzn. weryfikji, zy dne twierdzenie jest tutologią (twierdzenie

Bardziej szczegółowo

GRAFY i SIECI. Graf: G = ( V, E ) - para uporządkowana

GRAFY i SIECI. Graf: G = ( V, E ) - para uporządkowana GRAFY podstwowe definicje GRAFY i SIECI Grf: G = ( V, E ) - pr uporządkown V = {,,..., n } E { {i, j} : i j i i, j V } - zbiór wierzchołków grfu - zbiór krwędzi grfu Terminologi: grf = grf symetryczny,

Bardziej szczegółowo

2. Funktory TTL cz.2

2. Funktory TTL cz.2 2. Funktory TTL z.2 1.2 Funktory z otwrtym kolektorem (O.. open olletor) ysunek poniżej przedstwi odnośny frgment płyty zołowej modelu. Shemt wewnętrzny pojedynzej rmki NAND z otwrtym kolektorem (O..)

Bardziej szczegółowo

Etyka procesów sieci Petriego w wietle teorii ladów

Etyka procesów sieci Petriego w wietle teorii ladów U n i w e r s y t e t W r s z w s k i Wydził Mtemtyki, Informtyki i Mehniki Etyk proesów siei Petriego w wietle teorii ldów rozprw doktorsk Jonn Jółkowsk Uniwersytet Mikołj Kopernik w Toruniu Wydził Mtemtyki

Bardziej szczegółowo

Metoda List łańcuchowych

Metoda List łańcuchowych Metod List łńuhowyh Zkłdnie krtoteki wyszukiwwzej: Zkłdmy iż znny jest system wyszukiwni S wię zbiór obiektów X trybutów A wrtośi tyh trybutów V orz funkj informji : X A V. Obiekty opisne są ilozynem odpowiednih

Bardziej szczegółowo

ż Ą ż Ó Ę Ś ć ż ć ż ć Ś ż Ś ż Ń ż ż Ź ż Ź ż Ą Ś ż ć ć Ś Ą ż ż ż ź ż ż Ń Ę ż ż ć Ń ż Ń ż ż ź ż ż ż ż ż ź Ś ż ż ź ż Ś Ś ż ź ź ż ź Ą ż Ź ż ź ź Ź ź Ź ź ż Ź ż ź Ę ż ż Ę ż Ó Ń ż ź ć ż ź ż Ę ż ć ż ź ź ź ż ż

Bardziej szczegółowo

Ę Ś ź Ę Ę ć ć ź ć ć ć ć ć źć ć ć ć ć Ź ź Ś ć Ł Ę ć ć Ą ź ć Ó Ł ź ć ć Ź Ł ć ć ć ć ć ć ć ź ć ć ć ć ź Ź ć ź ć ć ź ć ź Ź Ź ź ź ź Ś ź ź ć ć Ś Ę ć ź ć ć Ś ć ć ć ć ź ź ć ź ć ć ć Ź Ź ć Ś Ę ć Ć ć ź ć Ę ć ć ć ć

Bardziej szczegółowo

Ł Ę Ł Ż ż Ń Ą Ó Ó ż Ś Ź ć ż ż ć Ć ż Ż ć Ó ż Ś Ó Ś ż Ó ż Ś ć ć Ż Ł ż ż ż ć ć ż Ó Ó Ę Ż Ó Ż ż Ó ż Ó Ź Ż ż Ó Ó ć Ó ż ż ć ż Ś Ż ć Ó ż Ś Ś ż ć ć Ó ż Ó Ó ż Ź Ę Ł Ż Ł Ź Ż ż Ó ż ż ż ż Ż ż ż Ż ż Ł ć Ż ż Ż ż Ó Ż

Bardziej szczegółowo

Ł Ł Ź Ź ź ź ć ź ć Ę Ź Ś Ś ć ć Ś ć ć ć Ź ć źć ć ć ć ć Ź ć ć ć ć ć ć ź ć Ś ć ć Ą ć Ź ć Ś Ó Ź Ś ź ć ź Ś ć Ł Ą ć ć ć ć Ź Ź ć Ź ć ć ć Ź ź ć ć ć ć ć Ś ć ć ć ć ć Ł ć Ś ć Ź Ź Ź ć ć Ś Ś ć ć ć ź Ą ć ć ć ć ć ć ć

Bardziej szczegółowo

ń ć ć ń Ń ź ć ć ć ć ź ć ć ń ć źć ń ź ć ć ć ć ć Ę ć ń ć ć ć Ę ź ń ń ć ć ń ć ć ć ć ć ć ć ć ć ć ń ć ź ć ć ć ć ź ć ń ć ć ć ń ć ć ć Ń ć ź ć ć ń ć ć ć ć ć ć ć ć ć ć ź ć ć ć ć ć ć ć ć ź Ń ń ź ń ć ń ć ć ć Ę ć

Bardziej szczegółowo