Zalety. Wady. o prosty

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

Download "Zalety. Wady. o prosty"

Transkrypt

1 Zlety o posty o szyki Wdy o nieefektywny, gdy pwdopodoieństwo wystąpieni jednego z symoli lfetu źódł jest duże (le możn kodowć ciągi symoli) o dwupzeiegowy (koszt tnsmisji modelu może yć duży, nie do zstosowni wpost do kodowni on-line)

2 Użycie lgoytmu Huffmn w dptcyjnym modelu jest możliwe Metod ute-foce kżdozowo po zkodowniu symolu uduj od now dzewo Huffmn ( Uwg n Zeo Fequency Polem )... le w pktyce zyt kosztowne Ale mmy lgoytm geneujący kod zliżony do kodu Huffmn, ndjący się do zstosowni w lgoytmie dptcyjnym. Dzewo Huffmn udowne jest pzyostowo możliw jest ktulizcj modelu zostł wynleziony niezleżnie pzez Flle i Gllge udoskonlony pzez Comck i Hospool oz (niezleżnie) pzez Knuth nstępnie udoskonlony pzez Vitte

3 N czym poleg? Budujemy pzyostowo dzewo inne, któego węzły zwieją liczniki częstości, liście są dodtkowo skojzone z symolmi lfetu źódł Dzewo m włsność odzeństw, gdy:. kżdy węzeł nie ędący liściem m potomków;. pzechodząc węzły w kolejności z góy do dołu, n dnym poziomie od pwej do lewej, otzymmy ciąg węzłów o nieosnących licznikch. Dzewo mjące włsność odzeństw jest dzewem Huffmn (tw. Flle- Gllge)

4 Pzykłd: dzewo mjące włsność odzeństw c d

5 Budowne dzewo zwie liść (-węzeł) epezentujący wszystkie symole, któe jeszcze nie wystąpiły w kodownym ciągu Kodownie ozpoczynmy od dzew skłdjącego się wyłącznie z - węzł Używmy pomocniczej stuktuy węzły, listy dwukieunkowej zwiejącej węzły dzew upoządkowne w kolejności pzeglądni dzew z góy do dołu, n dnym poziomie od pwej do lewej Podlistę listy węzły skłdjącą się z wszystkich węzłów o wtości licznik i nzywmy lokiem-i, piewszy węzeł tkiego loku lideem

6 DynmiczneKodownieHuffmnFGK(symol s) p = liść zwiejący symol s; wypowdź słowo kodowe dl s (*); if p jest -węzłem utwóz nowy węzeł q dl symolu s; q.licznik = ; p = nowy węzeł w miejscu -węzł ędący odzicem -węzł i węzł q; p.licznik = ; else p.licznik++; endif while p nie jest kozeniem if p nusz włsność odzeństw if lide loku-i zwiejącego p nie jest odzicem p zmień p z lideem; endif endif p = odzic(p); p.licznik++; endwhile

7 p p q q Pzykłd: kodujemy ciąg, wstwienie symolu

8 p p wstwienie symolu (pzywóć włsność odzeństw)

9 3 p p wstwienie symolu

10 3 3 3 p p ponowne wstwienie symolu (pzywóć włsność odzeństw)

11 3 4 p p ponowne wstwienie symolu (pzywóć włsność odzeństw)

12 4 postć dzew po pzetwozeniu ciągu

13 Dodtkowe złożenie: w loku-i węzłów njpiew znjdują się węzły wewnętzne, później liście minimlizujemy głęokość dzew dziej złożone stje się pzywcnie włsności odzeństw ciąg o długości s zkodujemy n nie więcej niż h+s itch, gdzie h to licz itów dl kodowni sttycznego Huffmn

14 Algoytm dptcyjny możn zudowć z kilku stłych modeli Ale po kolei... Zmodyfikowne kody inne Rodzin kodów Golom Rodzin kodów Golom-Rice Model dnych dl pmetycznej odziny kodów (model lgoytmu FELICS)

15 Pefiksowy kod dl skończonego lfetu, np. dl licz.. j- słow kodowe o długości log(j) lu log (j) itów, gdzie j to ozmi lfetu włściwie to odzin kodów (długość słow kodowego kodu innego dl lfetu j symoli to log(j) ) Symol Alfet

16 Geneownie słow kodowego kodujemy liczę i zmodyfikownym kodem innym dl licz.. j, pzyjmijmy N = log(j) i n = N jeżeli i < n j zkoduj i z pomocą N -itowego kodu innego else zkoduj i + n j z pomocą N -itowego kodu innego Włsności zmodyfikownego kodu innego długość słow kodowego: log(j) lu log (j) dl j = N kod stje się N -itowym kodem innym licz dłuższych słów kodowych jest zwsze pzyst

17 pmetyczn odzin kodów pzeznczon do kodowni nieujemnych licz cłkowitych nieskończon pmetem kodu jest cłkowite m, m > zwie kody optymlne dl wykłdniczego ozkłdu pwdopodoieństw symoli (dl niektóych pmetów ozkłdu) (ndje się do źódeł o ozkłdzie nieosnącym) słow kodowe łtwe w genecji i dekodowniu

18

19 Geneownie słow kodowego kodujemy liczę x kodem Golom z pmetem m np. 8 kodem Golom z pmetem 3 pefiks słow: x/m 8/3 = zkodowne unnie (kod α Elis) sufiks słow: x mod m 8 mod 3 = zkodowne zmodyfikownym kodem innym dl pzedziłu [, m ]

20

21 Jest to szczególny pzypdek kodu Golom zuwżony już pzez Golom i niezleżnie od niego odkyty pzez Rice. Kody Golom są szczególnie poste, gdy m = k kodujemy liczę x kodem Golom-Rice z pmetem k pefiks słow: x/ k zkodowne unnie (kod α Elis) x >> k sufiks słow: x mod k zkodowne zmodyfikownym kodem innym dl pzedziłu [, m ] k njmniej znczących itów x

22 Dl skończonego lfetu używmy tylko części nieskończonej odziny. Pzyjmijmy ozmi lfetu N dl odziny Golom kody o m > N- mją słow kodowe wszystkich symoli lfetu dłuższe od kodu o m = N- dl kodów Golom- Rice kody o k > N mją słow wszystkich symoli lfetu dłuższe od kodu o k = N sensowne jest używnie początkowych N- kodów sensowne jest używnie początkowych N kodów (k =.. N )

23

24 Rodziny Golom-Rice możn użyć do kodowni ciągów symoli o wykłdniczym ozkłdzie pwdopodoieństw. (ozkłd często spotykny w kompesji ozów, dźwięków... ) Jeżeli pmet ozkłdu jest nieznny, lu zmieni się w tkcie pcy źódł to pmet kodu Golom-Rice tze doieć dptcyjnie. Jk to zoić? Wyiejmy ten kod, któy jest njlepszy dl już pzetwozonych symoli Jk to zoić?

25 Algoytm modelowni zstosowny pzez Howd i Vitte w lgoytmie ezsttnej kompesji ozów FELICS. Ide Dl kżdego kodu z odziny utzymuj licznik (tlic liczników) licznik liczy itów, któą y uzyskno, kodując dotychczs pzetwozoną część ciągu tym kodem. Po zkodowniu symolu zwiększ licznik kżdego z kodów o długość słow kodowego włśnie zkodownego symolu w kodzie odpowidjącym licznikowi Do kodowni symolu użyj kodu o njmniejszym liczniku

26 Udoskonlenie: okesowo, gdy wtość njmniejszego z liczników pzekoczy pewien póg, podziel wszystkie liczniki pzez unikniemy pzepełnieni zwiększymy znczenie symoli kodownych niedwno Ww. metod to tylko część cłego lgoytmu (i tylko część modelu) Metod z FELICS ndje się do kżdej odziny Jeszcze postsz metod istnieje dl odziny Golom-Rice zstosown pzez Weinege, Seoussi, Spio w lgoytmie LOCO(JPEG-LS) niezleżnie od ozmiu lfetu mmy liczniki (licznik zkodownych symoli i licznik sumy wtości tych symoli)

27 Wto się zpoznć Ide kodowni ytmetycznego Koncepcj implementcji dl licz o ogniczonej pecyzji Wyne lgoytmy MQ-Code Rnge-Code Szyki model dl kode ytmetycznego

Definicja. Jeśli. wtedy

Definicja. Jeśli. wtedy Definicja Jeśli wtedy Cel kompresji: zredukowanie do minimum oczekiwanego (średniego) kosztu gdzie l i jest długością słowa kodu c i kodującego symbol a i Definicja Definicje Efektywność kodowania określamy

Bardziej szczegółowo

Kodowanie liczb. Kodowanie stałopozycyjne liczb całkowitych. Niech liczba całkowita a ma w systemie dwójkowym postać: Kod prosty

Kodowanie liczb. Kodowanie stałopozycyjne liczb całkowitych. Niech liczba całkowita a ma w systemie dwójkowym postać: Kod prosty Kodownie licz Kodownie stłopozycyjne licz cłkowitych Niech licz cłkowit m w systemie dwójkowym postć: nn 0 Wtedy może yć on przedstwion w postci ( n+)-itowej przy pomocy trzech niżej zdefiniownych kodów

Bardziej szczegółowo

Algorytmy kodowania słownikowego. Kodowanie ze słownikiem dynamicznym (LZ77, LZ78, LZSS, LZW) Zastosowania

Algorytmy kodowania słownikowego. Kodowanie ze słownikiem dynamicznym (LZ77, LZ78, LZSS, LZW) Zastosowania Algoytmy oowni słowniowego Koownie ze słowniiem ynmicznym (LZ77, LZ78, LZSS, LZW) Zstosowni Koownie słowniowe - zs Chcemy zoowć znie ngielsie: A goo exmple of how ictiony se compession wos Słowni: Longmn

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

Znajdowanie analogii w geometrii płaskiej i przestrzennej

Znajdowanie analogii w geometrii płaskiej i przestrzennej Gimnzjum n 17 im. Atu Gottge w Kkowie ul. Litewsk 34, 30-014 Kków, Tel. (12) 633-59-12 Justyn Więcek, Atu Leśnik Znjdownie nlogii w geometii płskiej i pzestzennej opiekun pcy: mg Doot Szczepńsk Kków, mzec

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

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

Algorytmy kodowania słownikowego

Algorytmy kodowania słownikowego Algoytmy oowni słowniowego 1. Koownie ze słowniiem sttycznym 2. Koownie ze słowniiem ynmicznym (LZ77, LZ78, LZSS, LZW) 3. Zstosowni Algoytmy entopijne i słowniowe Do tej poy lgoytmy entopijne Uywj moeli

Bardziej szczegółowo

4.5 Deterministyczne i zupełne automaty Moore a i Mealy ego

4.5 Deterministyczne i zupełne automaty Moore a i Mealy ego 4.5 Deterministyczne i zupełne utomty Moore i Mely ego Automty Moore i Mely ego ędziemy rozwżć tylko w rsji deterministycznej i zupełnej. W definicjch tych utomtów nie pojwi się pojęcie ów końcowych, z

Bardziej szczegółowo

Sieć odwrotna. Fale i funkcje okresowe

Sieć odwrotna. Fale i funkcje okresowe Sieć odwotn Fle i funkcje okesowe o Wiele obiektów w pzyodzie d; o Różne fle ozchodzą się w pzestzeni (zówno w póżni jk i w mteii); o Aby mtemtycznie opisć tkie okesowe zminy stosuje się funkcje sinus

Bardziej szczegółowo

METODY HODOWLANE - zagadnienia

METODY HODOWLANE - zagadnienia METODY HODOWLANE METODY HODOWLANE - zgdnieni. Mtemtyczne podstwy metod odowlnyc. Wtość cecy ilościowej i definicje pmetów genetycznyc. Metody szcowni pmetów genetycznyc 4. Wtość odowln cecy ilościowej

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

JĘZYKI FORMALNE I AUTOMATY SKOŃCZONE

JĘZYKI FORMALNE I AUTOMATY SKOŃCZONE ZBIÓR ZADAŃ do WYKŁADU prof. Tdeusz Krsińskiego JĘZYKI FORMALNE I AUTOMATY SKOŃCZONE rozdził 2. Automty skończone i języki regulrne Wyrżeni i języki regulrne Zdnie 2.1. Wypisz wszystkie słow nleżące do

Bardziej szczegółowo

Wstęp Statyczne kody Huffmana Dynamiczne kody Huffmana Praktyka. Kodowanie Huffmana. Dawid Duda. 4 marca 2004

Wstęp Statyczne kody Huffmana Dynamiczne kody Huffmana Praktyka. Kodowanie Huffmana. Dawid Duda. 4 marca 2004 4 marca 2004 Podstawowe oznaczenia i definicje Wymagania wobec kodu Podstawowa idea Podsumowanie Podstawowe oznaczenia i definicje Podstawowe oznaczenia i definicje: alfabet wejściowy: A = {a 1, a 2,...,

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

Nierówność Krafta-McMillana, Kodowanie Huffmana

Nierówność Krafta-McMillana, Kodowanie Huffmana Nierówność Krafta-McMillana, Kodowanie Huffmana Kodowanie i kompresja informacji - Wykład 2 1 marca 2010 Test na jednoznaczna dekodowalność Kod a jest prefiksem kodu b jeśli b jest postaci ax. x nazywamy

Bardziej szczegółowo

Zadania do rozdziału 7.

Zadania do rozdziału 7. Zdni do ozdziłu 7. Zd.7.. wiezchołkch kwdtu o okch umieszczono ednkowe łdunku. Jki łdunek o znku pzeciwnym tze umieścić w śodku kwdtu y sił wypdkow dziłąc n kżdy łdunek ył ówn zeu? ozwiąznie: ozptzmy siły

Bardziej szczegółowo

Podstawy programowania obiektowego

Podstawy programowania obiektowego 1/3 Podstwy progrmowni oiektowego emil: m.tedzki@p.edu.pl stron: http://rgorn.p.ilystok.pl/~tedzki/ Mrek Tędzki Wymgni wstępne: Wskzn yły znjomość podstw progrmowni strukturlnego (w dowolnym języku). Temty

Bardziej szczegółowo

Podstawy układów logicznych

Podstawy układów logicznych Podstwy ukłdów logicznych Prw logiki /9 Alger Boole Prw logiki WyrŜeni i funkcje logiczne Brmki logiczne Alger Boole /9 Alger Boole' Powszechnie stosowne ukłdy cyfrowe (logiczne) prcują w oprciu o tzw.

Bardziej szczegółowo

Struktura danych = system relacyjny U, U uniwersum systemu - zbiór relacji (operacji) na strukturze danych

Struktura danych = system relacyjny U, U uniwersum systemu - zbiór relacji (operacji) na strukturze danych Temat: Stuktuy dzewiste 1. Stuktua słownika { } I Stuktua danych = system elacyjny U, i i U uniwesum systemu { i } i I - zbió elacji (opeacji) na stuktuze danych Fomalna definicja stuktuy danych składa

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

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

Algebra macierzowa. Akademia Morska w Gdyni Katedra Automatyki Okrętowej Teoria sterowania. Mirosław Tomera 1. ELEMENTARNA TEORIA MACIERZOWA

Algebra macierzowa. Akademia Morska w Gdyni Katedra Automatyki Okrętowej Teoria sterowania. Mirosław Tomera 1. ELEMENTARNA TEORIA MACIERZOWA kdemi Morsk w Gdyni Ktedr utomtyki Okrętowej Teori sterowni lger mcierzow Mirosłw Tomer. ELEMENTRN TEORI MCIERZOW W nowoczesnej teorii sterowni rdzo często istnieje potrze zstosowni notcji mcierzowej uprszczjącej

Bardziej szczegółowo

Wykład 2. Granice, ciągłość, pochodna funkcji i jej interpretacja geometryczna

Wykład 2. Granice, ciągłość, pochodna funkcji i jej interpretacja geometryczna 1 Wykłd Grnice, ciągłość, pocodn unkcji i jej interpretcj geometryczn.1 Grnic unkcji. Grnic lewostronn i grnic prwostronn unkcji Deinicj.1 Mówimy, że liczb g jest grnicą lewostronną unkcji w punkcie =,

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

Przetwarzanie i transmisja danych multimedialnych. Wykład 3 Kodowanie Shannona Fano i Huffmana. Przemysław Sękalski.

Przetwarzanie i transmisja danych multimedialnych. Wykład 3 Kodowanie Shannona Fano i Huffmana. Przemysław Sękalski. Przetwarzanie i transmisja danych multimedialnych Wykład 3 Kodowanie Shannona Fano i Huffmana Przemysław Sękalski sekalski@dmcs.pl Politechnika Łódzka Katedra Mikroelektroniki i Technik Informatycznych

Bardziej szczegółowo

Maciej Grzesiak. Iloczyn skalarny. 1. Iloczyn skalarny wektorów na płaszczyźnie i w przestrzeni. a b = a b cos ϕ. j) (b x. i + b y

Maciej Grzesiak. Iloczyn skalarny. 1. Iloczyn skalarny wektorów na płaszczyźnie i w przestrzeni. a b = a b cos ϕ. j) (b x. i + b y Mciej Grzesik Iloczyn sklrny. Iloczyn sklrny wektorów n płszczyźnie i w przestrzeni Iloczyn sklrny wektorów i b określmy jko b = b cos ϕ. Bezpośrednio z definicji iloczynu sklrnego mmy, że i i = j j =

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

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

KODY SYMBOLI. Kod Shannona-Fano. Algorytm S-F. Przykład S-F

KODY SYMBOLI. Kod Shannona-Fano. Algorytm S-F. Przykład S-F KODY SYMBOLI Kod Shannona-Fano KODOWANIE DANYCH, A.Przelaskowski Metoda S-F Kod Huffmana Adaptacyjne drzewo Huffmana Problemy implementacji Kod Golomba Podsumowanie Kod drzewa binarnego Na wejściu rozkład:

Bardziej szczegółowo

Kompresja bezstratna. Entropia. Kod Huffmana

Kompresja bezstratna. Entropia. Kod Huffmana Kompresja bezstratna. Entropia. Kod Huffmana Kodowanie i bezpieczeństwo informacji - Wykład 10 29 kwietnia 2013 Teoria informacji Jeśli P(A) jest prawdopodobieństwem wystapienia informacji A to niech i(a)

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

VI. Rachunek całkowy. 1. Całka nieoznaczona

VI. Rachunek całkowy. 1. Całka nieoznaczona VI. Rchunek cłkowy. Cłk nieoznczon Niech F : I R i f : I R będą funkcjmi określonymi n pewnym przedzile I R. Definicj. Funkcję F nzywmy funkcją pierwotną funkcji f n przedzile I, gdy F (x) = f(x) dl x

Bardziej szczegółowo

Kompresja danych kodowanie Huffmana. Dariusz Sobczuk

Kompresja danych kodowanie Huffmana. Dariusz Sobczuk Kompresja danych kodowanie Huffmana Dariusz Sobczuk Plan wykładu Kodowanie metodą Shannona-Fano Kodowanie metodą Huffmana Elementarny kod Golomba Kod Golomba Kod Rice a kompresja danych 2 Efektywny kod

Bardziej szczegółowo

część 15 struktury rekurencyjne i ich zastosowania listy Jarosław Gramacki Instytut Informatyki i Elektroniki

część 15 struktury rekurencyjne i ich zastosowania listy Jarosław Gramacki Instytut Informatyki i Elektroniki Język ANSI C część struktury rekurencyjne i ich zstosowni listy Jrosłw Grmcki Instytut Informtyki i Elektroniki struktury mogą zwierć w sobie definicje "rekurencyjne" czyli wskźniki do siebie smych dzięki

Bardziej szczegółowo

KARTA WZORÓW MATEMATYCZNYCH. (a + b) c = a c + b c. p% liczby a = p a 100 Liczba x, której p% jest równe a 100 a p

KARTA WZORÓW MATEMATYCZNYCH. (a + b) c = a c + b c. p% liczby a = p a 100 Liczba x, której p% jest równe a 100 a p KRT WZORÓW MTEMTYZNY WŁSNOŚI DZIŁŃ Pwo pzemiennośi dodwni + = + Pwo łąznośi dodwni + + = ( + ) + = + ( + ) Pwo zemiennośi mnoŝeni = Pwo łąznośi mnoŝeni = ( ) = ( ) Pwo ozdzielnośi mnoŝeni względem dodwni

Bardziej szczegółowo

Modelowanie i obliczenia techniczne. Metody numeryczne w modelowaniu: Różniczkowanie i całkowanie numeryczne

Modelowanie i obliczenia techniczne. Metody numeryczne w modelowaniu: Różniczkowanie i całkowanie numeryczne Modelownie i obliczeni techniczne Metody numeryczne w modelowniu: Różniczkownie i cłkownie numeryczne Pochodn unkcji Pochodn unkcji w punkcie jest deiniown jko grnic ilorzu różnicowego (jeżeli istnieje):

Bardziej szczegółowo

Wyrównanie sieci niwelacyjnej

Wyrównanie sieci niwelacyjnej 1. Wstęp Co to jest sieć niwelcyjn Po co ją się wyrównje Co chcemy osiągnąć 2. Metod pośrednicząc Wyrównnie sieci niwelcyjnej Metod pośrednicząc i metod grpow Mmy sieć skłdjącą się z szereg pnktów. Niektóre

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

Algorytmy graficzne. Filtry wektorowe. Filtracja obrazów kolorowych

Algorytmy graficzne. Filtry wektorowe. Filtracja obrazów kolorowych Algorytmy grficzne Filtry wektorowe. Filtrcj orzów kolorowych Filtrcj orzów kolorowych Metody filtrcji orzów kolorowych możn podzielić n dwie podstwowe klsy: Metody komponentowe (component-wise). Cechą

Bardziej szczegółowo

STATYSTYKA MATEMATYCZNA

STATYSTYKA MATEMATYCZNA STATYSTYKA MATEMATYCZNA Woskowe sttstcze - egesj koelcj teść Wpowdzee Regesj koelcj low dwóch zmech Regesj koelcj elow - tsfomcj zmech Regesj koelcj welokot Wpowdzee Jedostk zoowośc sttstczej mogą ć chktezowe

Bardziej szczegółowo

mgh. Praca ta jest zmagazynowana w postaci energii potencjalnej,

mgh. Praca ta jest zmagazynowana w postaci energii potencjalnej, Wykłd z fizyki. Piot Posmykiewicz 49 6-4 Enegi potencjln Cłkowit pc wykonn nd punktem mteilnym jest ówn zminie jego enegii kinetycznej. Często jednk, jesteśmy zinteesowni znlezieniem pcy jką sił wykonł

Bardziej szczegółowo

O pewnych zgadnieniach optymalizacyjnych O pewnych zgadnieniach optymalizacyjnych

O pewnych zgadnieniach optymalizacyjnych O pewnych zgadnieniach optymalizacyjnych Spis tresci 1 Spis tresci 1 W wielu zgdnienich prktycznych brdzo wżne jest znjdownie optymlnego (czyli njlepszego z jkiegoś punktu widzeni) rozwiązni dnego problemu. Dl przykłdu, gdybyśmy chcieli podróżowć

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

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

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

Matematyka stosowana i metody numeryczne

Matematyka stosowana i metody numeryczne Ew Pbisek Adm Wostko Piotr Pluciński Mtemtyk stosown i metody numeryczne Konspekt z wykłdu 0 Cłkownie numeryczne Wzory cłkowni numerycznego pozwlją n obliczenie przybliżonej wrtości cłki: I(f) = f(x) dx

Bardziej szczegółowo

1 Definicja całki oznaczonej

1 Definicja całki oznaczonej Definicj cłki oznczonej Niech dn będzie funkcj y = g(x) ciągł w przedzile [, b]. Przedził [, b] podzielimy n n podprzedziłów punktmi = x < x < x

Bardziej szczegółowo

Aby opisać strukturę krystaliczną, konieczne jest określenie jej części składowych: sieci przestrzennej oraz bazy atomowej.

Aby opisać strukturę krystaliczną, konieczne jest określenie jej części składowych: sieci przestrzennej oraz bazy atomowej. 2. Struktury i pierwistki N zjęcich zjmiemy się pierwistkmi i strukturmi krystlicznymi. O ile w przypdku tych pierwszych, temt poruszny był w trkcie wykłdu, to drugie zgdnienie może wymgć krótkiego przybliżeni/przypomnieni.

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

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

Bardziej szczegółowo

ż Ś ń ń ć Ś ć ó ó ń ń ń ó Ś ń ó ń Ś ź ó ź ń Ś ń ń ó ó ń ó ó ó ż ó Ź ó ó ó ó ó ó ó ż ń ó ż ó ć ó ć ó ń ń ó ć ó ź ć Ó ć ć ż ó ó ź ó Ś ć Ó ó ń ć ż ć ó ó ć ń ć ó ó ć ż Ó ó ń ć ń ń ż ó Ś ć ó ó ż ń ó ż ń ż ó

Bardziej szczegółowo

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

Bardziej szczegółowo

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

Bardziej szczegółowo

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

Bardziej szczegółowo

Ą Ą Ś Ą Ł ż ż Ł Ł Ł Ł Ą ć ź Ą ż ż ć ć Ą ć ć Ł ź ż ż Ł Ł ź ź ż ż ć ć ż ż ż ż ć ż ż ż ż ć ż ż ż Ą ż ż ż ż ż ć ż ć ć Ł ż ż ż ż ż Ą ż ż ć ż ć ć ć Ó Ł ć ż Ł Ś Ś Ą Ł ź ć Ł ć Ś ź ż ć ź ź ź ż ż ź ż ż ć ż ć ż ć

Bardziej szczegółowo

ż Ó ż ć ż Ź Ż ć Ż Ż Ż ż Ó ć Ż ć ż ż ć ż Ó ż ć ż ż ć Ż Ż Ą ć ć ć Ż ć Ż Ż ć ć ż Ż ć ć ć Ż Ż ć Ł ć Ą ć ć ć ć ć ć ć ż ż ć ć ć ÓŻ ć ć Ż ć Ó ć ć ć ć ć ć ć Ł ć ć Ż Ż ż Ą ć ć ć Ż ć Ż Ą ć Ż ć Ż Ż ć Ż Ż ż Ż ż ć

Bardziej szczegółowo

Ś ÓŹ ż Ś ń Ś Ś Óż Ż Ś Ś Ś Ś Ś Ś ń Ó Ó Ż ż Ż ń Ż Ś Ó ń Ś Ą Ą Ą Ś Ś Ź ń Ż ż Ż Ż Ę ż Ś Ś ż ń ń ń ż Ó Ż Ż ż ń ż ż Ż ż Ó ż ń ż ń ń Ż Ż Ś ń ń ż ż ń ń Ź Ż ń ż Ż Ę ń Ż ż Ź Ź ń ż Ź ż Ź ż ż Ż Ż Ó Ż Ż Ź ż Ż Ż Ż Ę

Bardziej szczegółowo

ć Ó Ó Ń ź Ą Ą Ć Ż Ń Ą Ó Ó Ó Ą Ż Ć Ż ć ć Ż Ó Ó Ć ć Ą Ą Ó Ą Ó Ź ć Ó Ó Ó Ż ć ń ń ń ć Ż Ź ć ń ó ó Ź Ó Ó Ó Ż Ó Ó ć Ó Ó Ż Ż Ż Ó Ż Ó Ą Ó Ó Ź Ż Ó Ą Ź ć Ą Ż Ż Ó Ń Ż Ó Ó Ź Ó Ó Ó Ó Ó Ó Ó Ó Ó Ó Ó Ó Ó Ż Ó Ż Ż Ą

Bardziej szczegółowo

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

Bardziej szczegółowo

Ę ó ó ó Ó ź óź óź ó ć ó ó ó ó ń ó ń ć ó ć ń ó ć ó ć ó Ł ó ó ó Ą Ę ó ó ó ń ó ó ó ŚĆ ó ó ó ó ć ó ó ó ć ń ó ó ć ć ó ó ó ź ó ń ó ó ó ó ć ó ó ń ć ó ó ó ń ć ó ó ć ó ó ć ń ć ó ó ć ó ó ó ó ć ó ó ó ó ó ć ó ó ć

Bardziej szczegółowo

Ó ż ż ż ż ż ż ż ż ć Ń Ą ż ż Ó Ź Ó Ą Ń ć ż ż ż ć ż ć ż ż ż ż ć ć ż ż ć Ą ż ż ć ć ż Ż Ą ż ć ź ć ć Ą ć ć ć Ą ć Ą ż Ł ż Ó ć ć Ź ż ć ż ź ż ż Ż ć Ó Ź Ó Ą ż Ó Ą ć Ą ż ć Ą Ó ż Ś Ś Ż Ś Ł Ń Ś ź Ó ć ż Ś ż ć ź Ś Ś

Bardziej szczegółowo

Ą Ń Ż ź Ń Ą Ń Ą Ą ź ź Ó Ż ź ź Ó Ó Ć Ó Ó Ó Ć Ć ź ź Ż ź Ą Ź ź Ć Ć Ć Ó Ó Ó Ó Ó Ó ź Ó Ę Ó Ó Ę Ó Óź ź ź Ó Ó Ó Ó Ó Ó Ń Ź Ę ź ź Ó ź Ń Ę Ę Ę Ń ź Ę Ź Ó Ó Ó ź Ó Ę Ą Ó ź ź Ó Ó Ó Ó Ó ź Ó Ń Ó Ę ź Ż Ó Ó Ó Ę Ę Ó Ę Ć

Bardziej szczegółowo

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

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

Prace Koła Matematyków Uniwersytetu Pedagogicznego w Krakowie (2014)

Prace Koła Matematyków Uniwersytetu Pedagogicznego w Krakowie (2014) Prce Koł Mt. Uniw. Ped. w Krk. 1 014), 1-5 edgogicznego w Krkowie PKoło Mtemtyków Uniwersytetu Prce Koł Mtemtyków Uniwersytetu Pedgogicznego w Krkowie 014) Bet Gwron 1 Kwdrtury Newton Cotes Streszczenie.

Bardziej szczegółowo

Notatki z Analizy Matematycznej 4. Jacek M. Jędrzejewski

Notatki z Analizy Matematycznej 4. Jacek M. Jędrzejewski Nottki z Anlizy Mtemtycznej 4 Jcek M. Jędrzejewski ROZDZIAŁ 7 Cłk Riemnn 1. Cłk nieoznczon Definicj 7.1. Niech f : (, b) R będzie dowolną funkcją. Jeżeli dl pewnej funkcji F : (, b) R spełnion jest równość

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

ď ź ź Ä Ď É Ě Ź Ą Ü Á Ą Ń Đ ő ý ý ő ý Ú Ä Á Ą ô Ó Ó ŕ đ ý Á Ą Đ í ő É ä Ä Ä Ď ď ŕ Ń ř ý ő Ú Á Ĺ Ą Ď Ó í úł ő Ł Ä Á Ą Ď Ó ŕ Ď ý ý ő ý ĄÁ Á Ą Ď Ń ŕ Ü ä ý ő ý ý Đ ý ő Ú ď Ä Ą Ą É Ó Ł ő ý ő ý ý ŕ ŕ Á Ą Ń É

Bardziej szczegółowo

Symbol Newtona liczba wyborów zbioru k-elementowego ze zbioru n elementów. Symbol Newtona

Symbol Newtona liczba wyborów zbioru k-elementowego ze zbioru n elementów. Symbol Newtona B Głut Symol Newto Symol Newto licz wyoów ziou -elemetowego ze ziou elemetów ) ( A B B B t t żd dog: odciów do góy Ile ozwiązń m ówie: 4 6 gdzie i są ieujemymi liczmi cłowitymi? 9 84 4 4 5 Licz ozwiązń

Bardziej szczegółowo

WSTĘP DO INFORMATYKI

WSTĘP DO INFORMATYKI Akdemi Górniczo-Hutnicz Wydził Elektrotechniki, Automtyki, Informtyki i Inżynierii Biomedycznej WSTĘP DO INFORMATYKI SYSTEMY KODOWANIA ORAZ REPREZENTACJA I ARYTMETYKA LICZB Adrin Horzyk www.gh.edu.pl SYSTEMY

Bardziej szczegółowo

CAŁKOWANIE NUMERYCZNE

CAŁKOWANIE NUMERYCZNE Wprowdzenie Kwdrtury węzły równoodległe Kwdrtury Guss Wzory sumcyjne Trnsport, studi niestcjonrne I stopni, semestr I rok kdemicki 01/013 Instytut L-5, Wydził Inżynierii Lądowej, Politechnik Krkowsk Ew

Bardziej szczegółowo

Zadanie 5. Kratownica statycznie wyznaczalna.

Zadanie 5. Kratownica statycznie wyznaczalna. dnie 5. Krtownic sttycznie wyznczln. Wyznczyć wrtości sił w prętch krtownicy sttycznie wyznczlnej przedstwionej n Rys.1: ). metodą nlitycznego równowżeni węzłów, ). metodą gricznego równowżeni węzłów;

Bardziej szczegółowo

Wprowadzenie: Do czego służą wektory?

Wprowadzenie: Do czego służą wektory? Wprowdzenie: Do czego służą wektory? Mp połączeń smolotowych Isiget pokzuje skąd smoloty wyltują i dokąd doltują; pokzne jest to z pomocą strzłek strzłki te pokzują przemieszczenie: skąd dokąd jest dny

Bardziej szczegółowo

ó ó ć Ż Ł Ą Ż ó ż ć Ż ó Ą ó ó Ą ć ó ó Ł Ł ó ć ó ż ć ż Śó ó ó ó ć ó ż ć Ą ż ĘĄ ó Ś Ż óź Ż ć ó Ż Ż Ż ć ń Ą ó Ą ż ó Ż ó Ł ó ó Ż ó ó ó ź Ś ó Ą ć Ś ó ó ż ó ż Ł ńę ó ń ó ń ż ć ó Ż Ż ż ć Ż ć ć ć ż ó ń óź ó ć

Bardziej szczegółowo

Elementy teorii informacji i kodowania

Elementy teorii informacji i kodowania i kodowania Entropia, nierówność Krafta, kodowanie optymalne Marcin Jenczmyk m.jenczmyk@knm.katowice.pl 17 kwietnia 2015 M. Jenczmyk Spotkanie KNM i kodowania 1 / 20 Niech S = {x 1,..., x q } oznacza alfabet,

Bardziej szczegółowo

Zbiory wyznaczone przez funkcje zdaniowe

Zbiory wyznaczone przez funkcje zdaniowe pojęci zbioru i elementu RCHUNEK ZIORÓW zbiór zwier element element nleży do zbioru jest elementem zbioru ( X zbiór wszystkich przedmiotów indywidulnych, których dotyczy dn nuk zbiór pełny (uniwerslny

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

KODY SYMBOLI. Materiały KODA, A.Przelaskowski. Koncepcja przedziałów nieskończonego alfabetu

KODY SYMBOLI. Materiały KODA, A.Przelaskowski. Koncepcja przedziałów nieskończonego alfabetu KODY SYMBOLI Materiały KODA, A.Przelaskowski Koncepcja drzewa binarnego Metoda S-F Kod Huffmana Adaptacyjne drzewo Huffmana Problemy implementacji Koncepcja przedziałów nieskończonego alfabetu Proste kody

Bardziej szczegółowo

KONKURS MATEMATYCZNY dla uczniów gimnazjów w roku szkolnym 2012/13. Propozycja punktowania rozwiązań zadań

KONKURS MATEMATYCZNY dla uczniów gimnazjów w roku szkolnym 2012/13. Propozycja punktowania rozwiązań zadań KONKURS MATEMATYCZNY dl uczniów gimnzjów w roku szkolnym 0/ II etp zwodów (rejonowy) 0 listopd 0 r. Propozycj punktowni rozwiązń zdń Uwg: Z kżde poprwne rozwiąznie inne niż przewidzine w propozycji punktowni

Bardziej szczegółowo

Sumy algebraiczne i funkcje wymierne

Sumy algebraiczne i funkcje wymierne Sumy lgebriczne i funkcje wymierne Moduł - dził -temt Zkres treści Sumy lgebriczne 1 definicj jednominu, sumy lgebricznej, wyrzów podobnych pojęcie współczynnik jednominu Dodwnie i odejmownie sum lgebricznych

Bardziej szczegółowo

Analiza numeryczna. Stanisław Lewanowicz. Całkowanie numeryczne. Definicje, twierdzenia, algorytmy

Analiza numeryczna. Stanisław Lewanowicz. Całkowanie numeryczne. Definicje, twierdzenia, algorytmy http://wwwiiuniwrocpl/ sle/teching/n-wdrpdf Anliz numeryczn Stnisłw Lewnowicz Styczeń 008 r Cłownie numeryczne Definicje, twierdzeni, lgorytmy 1 Pojęci wstępne Niech IF IF [, b] ozncz zbiór wszystich funcji

Bardziej szczegółowo

STYLE. TWORZENIE SPISÓW TREŚCI

STYLE. TWORZENIE SPISÓW TREŚCI STYLE. TWORZENIE SPISÓW TREŚCI Ćwiczenie 1 Tworzenie nowego stylu n bzie istniejącego 1. Formtujemy jeden kpit tekstu i zznczmy go (stnowi on wzorzec). 2. Wybiermy Nrzędzi główne, rozwijmy okno Style (lub

Bardziej szczegółowo

Instrukcja montażu i obsługi

Instrukcja montażu i obsługi Instrukcj montżu i osługi Uproszczony interfejs użytkownik Dikin Altherm EKRUCBS Instrukcj montżu i osługi Uproszczony interfejs użytkownik Dikin Altherm polski Spis treści Spis treści Dl użytkownik 2

Bardziej szczegółowo

a) b) Rys. 6.1. Schemat ideowo-konstrukcyjny układu do przykładu 6.1 a) i jego schemat blokowy

a) b) Rys. 6.1. Schemat ideowo-konstrukcyjny układu do przykładu 6.1 a) i jego schemat blokowy 04 6. Ztoownie metod hemtów lokowh do nliz włśiwośi ukłdów utomtki Shemt lokow ukłdu utomtki jet formą zpiu mtemtznego modelu dnego ukłdu, n podtwie której, wkorztują zd przedtwione rozdzile 3.7, możn

Bardziej szczegółowo

Algorytmy kodowania entropijnego

Algorytmy kodowania entropijnego Algorytmy kodowania entropijnego 1. Kodowanie Shannona-Fano 2. Kodowanie Huffmana 3. Jednoznaczność kodów Huffmana. Kod o minimalnej wariancji 4. Dynamiczne kodowanie Huffmana Poprzedni wykład - podsumowanie

Bardziej szczegółowo

Weryfikacja modelowa jest analizą statyczną logiki modalnej

Weryfikacja modelowa jest analizą statyczną logiki modalnej Weryfikcj modelow jest nlizą sttyczną logiki modlnej Mrcin Sulikowski MIMUW 15 grudni 010 1 Wstęp Weryfikcj systemów etykietownych 3 Flow Logic 4 Weryfikcj modelow nliz sttyczn Co jest czym czego? Weryfikcj

Bardziej szczegółowo

Zadania otwarte. 2. Matematyka. Poziom rozszerzony Próbna Matura z OPERONEM i Gazetą Wyborczą n n. 2n n. lim 10.

Zadania otwarte.  2. Matematyka. Poziom rozszerzony Próbna Matura z OPERONEM i Gazetą Wyborczą n n. 2n n. lim 10. Vdemecum Mtemtyk KRYTERIA OCENIANIA OPOWIEZI Póbn Mtu z OPERONEM mtemtyk ZAKRES ROZSZERZONY VAEMECUM MATURA 06 kod wewnątz Mtemtyk Poziom ozszezony Zcznij zygotowni do mtuy już dziś Listod 05 skle.oeon.l/mtu

Bardziej szczegółowo

h a V. GEOMETRIA PŁASKA TRÓJKĄT :

h a V. GEOMETRIA PŁASKA TRÓJKĄT : pitgos..pl V. GEOMETRIA PŁASKA TRÓJKĄT : Wunek utwozeni tójkąt: sum ługośi wó kótszy oków musi yć większ o ługośi njłuższego oku. Śoek okęgu opisnego wyznzją symetlne oków. Śoek okęgu wpisnego wyznzją

Bardziej szczegółowo

FUNKCJA KWADRATOWA. Moduł - dział -temat Lp. Zakres treści. z.p. z.r Funkcja kwadratowa - powtórzenie PLANIMETRIA 1

FUNKCJA KWADRATOWA. Moduł - dział -temat Lp. Zakres treści. z.p. z.r Funkcja kwadratowa - powtórzenie PLANIMETRIA 1 FUNKCJA KWADRATOWA Moduł - dził -temt Funkcj kwdrtow - powtórzenie Lp Lp z.p. z.r. 1 1 Równni kwdrtowe 2 Postć iloczynow funkcji kwdrtowej 3 Równni sprowdzlne do równń kwdrtowych Nierówności kwdrtowe 5

Bardziej szczegółowo