Wykrywanie horyzontalnego transferu genów
|
|
- Adrian Pietrzyk
- 8 lat temu
- Przeglądów:
Transkrypt
1 Streszczenie rozprawy doktorskiej pod tytułem Wykrywanie horyzontalnego transferu genów Paweł Górecki 1 Wprowadzenie Tematem niniejszej rozprawy są zagadnienia z pogranicza biologii molekularnej, matematyki i informatyki dotyczące własności modeli ewolucyjnych uwzględniających horyzontalny transfer genów (w skrócie HGT) i praktycznych metod jego wykrywania. Współczesnie metody rekonstrukcji drzew ewolucyjnych gatunków są następujące: korzystając ze znanych sekewncji DNA lub sekwencji aminokwasów oblicz drzewa ewolucyjne dla rodzin genów (nazywane drzewami genów), a następnie znajdź drzewo ewolucyjne gatunków (nazywane drzewem gatunków) najbardziej podobne w pewnych sensie do tego zbioru drzew rodzin genów. Trudność tego zadania polega na możliwych różnicach pomiędzy drzewami genów, które wynikają z prostego faktu, że ewolucja genów zwykle przebiega inaczej niż ewolucja gatunków. Stąd mamy dwa ważne problemy: rekonstrukcja drzewa gatunków ze zbioru drzew genów, uzgodnienie danego drzewa gatunków z danym drzewem genów. W tej rozprawie zajmujemy się głównie tym drugim problemem, który można nieformalnie nazywać wbudowywaniem drzewa (genów) w drzewo (gatunków). To pozornie dziwaczne sformułowanie ma swoje uzasadnienie biologiczne: gatunki można w pewnym sensie traktować jak pojemniki dla genów, co przy uwzględnieniu zależności ewolucyjnych (wyrażanych w postaci drzew) daje wyżej wspomniane wbudowywanie drzew ewolucyjnych. Drzewo rodziny genów Drzewo gatunków + horyzontalny transfer A A A B C A B C D Rysunek 1: Jak uzgodnić te drzewa? Rozważmy przykład problemu uzgadniania przedstawiony na Rysunku 1. Liście grafów z tego rysunku są etykietowane nazwami gatunków A, B, C i D. Prawe drzewo posiadające jeden horyzontalny transfer, jest nazywane w tej pracy grafem gatunków. Ponadto mamy drzewo ewolucyjne rodziny 5 genów (lewe drzewo). Zauważmy, że etykiety liści drzewa genów są nazwami gatunków. Oznacza to, że 1
2 odpowiednia sekwencja genu pochodzi od gatunku o danej nazwie. Zatem, mamy tu 3 geny pochodzące od gatunku A, po jednym od B i C, natomiast gatunek D nie ma genów reprezentowanych w tej rodzinie (być może ten gatunek posiada geny w tej rodzinie ale są jeszcze nieznane). Zauważmy, że HGT na drzewie gatunków oznacza pewną hipotezę, która może być wykorzystana do odszukania pewnego scenariusza ewolucyjnego uzgadniającego te dwa drzewa. Na Rysunku 2 przedstawiamy dwa wbudowania drzewa genów w drzewo gatunków z transferem genów. Można pokazać, że E 1 jest minimalnym wbudowaniem o koszcie 1 7 (4 straty + 3 duplikacje genów) w tzw. modelu duplikacji i strat, w którym nie uwzględnia się HGT. Analogicznie, można pokazać, że E 2 jest minimalnym wbudowaniem o koszcie 3 (1 HGT + 2 duplikacje) dla modelu z transferem genów. Te dwa powyższe modele są obiektem badań tej rozprawy. Wbudowanie E 1 Wbudowanie E 2 specjacja duplikacja genu strata genu HGT linia ewol. genu A B C D A B C D Rysunek 2: Przykłady wbudowań drzewa genów w drzewo gatunków (z Rys. 1) W pierwszej części tej pracy przedstawiony jest nowy model drzew ewolucyjnych, nazywanych DLS-drzewami, w którym uwzględniane są duplikacje i straty genów (ewolucja genów) oraz specjacje (ewolucja gatunków). DLS-drzewa reprezentują ewolucję genów w kontekście ewolucji gatunków. Z DLS-drzewa można odtworzyć wbudowania (Rysunek 2). Jest to model bazowy, który w następnej części będzie uzupełniony o horyzontalny transfer genów. W tej części pokazujemy wiele ciekawych własności tego modelu. W szczególności pokazujemy związki DLS-drzew z drzewami uzgadniającymi (Page, 1994). Dzięki tym związkom rozwiązujemy niektóre otwarte problemy postawione w (Page and Charleston, 1997b) dla drzew uzgadniających. W drugiej części tej pracy przedstawiony jest nowy model drzew ewolucyjnych, nazywanych H-drzewami, w którym uwzględniane są duplikacje, straty i horyzontalny transfer genów (ewolucja genów) oraz specjacje (ewolucja gatunków). H-drzewa są rozszerzeniem DLS-drzew. Jednakże ze względu na transfer, który umożliwia dodatkowe warianty uzgadniania, ich struktura jest znacznie bardziej skomplikowana i ciekawsza. Analogicznie do DLS-drzew, H-drzewa można przekształcać w kontekście grafu gatunków do wbudowań (tak jak na Rysunku 2). W tej części pokazujemy analogiczne własności tego modelu. W szczególności pokazujemy związki H-drzew z drzewami uzgadniającymi z transferem (Górecki, 2004). 1 Koszt będący sumą duplikacji i strat jest nazywany kosztem mutacyjnym. 2
3 W rozdziale 4 przedstawiony jest algorytm o wielomianowej złożoności czasowej i pamięciowej, obliczający dla danego drzewa genów i grafu gatunków tzw., minimalny ważony koszt H-drzewa. W szczególności jest to algorytm pozwalający na weryfikowanie hipotez horyzontalnego transferu genów. W następnej części streszczenia przedstawiamy bardziej szczegółowo wyniki z poszczególnych rozdziałów. 2 DLS-drzewa W rozdziale 2 pracy przedstawiamy nowy model drzew ewolucyjnych oparty na koncepcjach modelu duplikacji i strat (bez transferu genów). Przedstawiamy definicję DLS-drzewa, które jest modelem ewolucji drzewa genów w kontekście drzewa gatunków przy założeniu, że dopuszczalne są tylko duplikacje i straty genów (ewolucja genów) oraz specjacje (ewolucja gatunków). DLS-drzewa pozwalają na modelowanie dowolnych scenariuszy ewolucyjnych, nie tylko tych minimalnych (por. drzewa uzgadniające (Page, 1994)). Pokazujemy jak z DLS-drzewa można otrzymać drzewo genów i drzewo gatunków. Definiujemy system przepisywania DLSdrzew zawierający 4 reguły: SPEC, DUP (typu I, usuwające proste wystąpienia strat genów) oraz CLOST, TMOVE (typu II). Ich interpretacje biologiczne przedstawione są na Rysunku 3 (kwadrat oznaczają duplikację, kółko stratę, a przerywana linia specjację). Zauważmy, że redukcja zmniejsza koszt mutacyjny i rozmiar drzewa. SPEC DUP TMOVE CLOST Rysunek 3: Interpretacje biologiczne reguł dla DLS-drzew Będziemy mówić, że dwa DLS-drzewa są równoważne jeśli jedno może być przekształcone w drugie przez zastosowanie zero lub większej liczby redukcji w dowolnym kierunku. Ten system posiada znaczące własności biologiczne i matematyczne. W szczególności przekształcanie zachowuje drzewa genów i gatunków. System posiada własność konfluencji i silnej normalizacji, w szczególności w każdej klasie równoważnych DLS-drzew istnieje jednoznaczna postać normalna (tzn. nieredukowalne DLS-drzewo), łatwo osiągalna przez redukcje w naszym systemie. Łatwo stąd wynika, że koszt mutacyjny i rozmiar drzewa w postaci normalnej jest minimalny w klasie równoważnych DLS-drzew (patrz także Twierdzenie 1). 3
4 Oprócz drzew w postaci normalnej, analizujemy także ogólne własności DLSdrzew. W klasie równoważnych drzew wyróżniamy ważny podzbiór drzew seminormalnych, tzn. niezawierających redeksów reguł typu I. Pokazujemy, że równoważne drzewa semi-normalne można przedstawić w skończonego postaci diagramu (DAG-u), gdzie krawędziami są redukcje typu II. Pokazujemy, że system z odwróconymi regułami typu II jest silnie normalizowanly, a jednoznaczną postacią normalną w takim systemie reguł jest drzewo tłuste, które wszystkie duplikacje ma w czubku. Zatem, każdy taki diagram drzew semi-normalnych posiada jeden korzeń (drzewo tłuste) oraz jeden liść (postać normalną). W szczególności, z naszej analizy wynika, że minimalny koszt duplikacyjny (czyli liczba duplikacji) w klasie drzew równoważnych może posiadać także drzewo nie będące w postaci normalnej. Pokazujemy jak z danego drzewa genów i danego drzewa gatunków rekonstruować drzewa w postaci normalnej. W ostatniej części tego rozdziału pokazujemy związki DLS-drzew z modelem duplikacji i strat. Ten model, zwany też modelem drzew uzgadniających, jest stosunkowo dobrze poznanym (Page, 1994; Mirkin et al., 1995; Eulenstein and Vingron, 1998; Zhang, 1997; Page and Charleston, 1997a; Eulenstein et al., 1998; Page and Charleston, 1997b; Ma et al., 1998; Bonizzoni et al., 2003; Górecki and Tiuryn, 2005). Drzewo uzgadniające, będące kluczowym pojęciem tego modelu, zdefiniowane przez Page a (1994) było traktowane jako minimalne w sensie rozmiaru, kosztu etc. Jednakże przez wiele lat nie było dowodu tych własności, które jako otwarte problemy były postawione w pracy (Page and Charleston, 1997b). Dopiero w pracy (Bonizzoni et al., 2003) autorzy rozwiązują problem dotyczący minimalizacji drzewa uzgadniającego w sensie rozmiaru. W ostatniej części rozdziału o DLS-drzewach pokazujemy, że drzewo uzgadniające można łatwo przekształcić do DLS-drzewa w postaci normalnej. W szczególności, z wyników przedstawionych w tym rozdziale rozwiązujemy problemy przedstawione w (Page and Charleston, 1997b) dla drzew uzgadniających. 3 H-drzewa W rozdziale 3 pracy przedstawiamy nowy model drzew ewolucyjncych oparty na koncepcjach modelu duplikacji, strat i horyzontalnego transferu genów (Charleston, 1998; Hallett and Lagergren, 2001; Addario-Berry et al., 2003; Górecki, 2003, 2004; Hallett et al., 2004). W pierwszej części definiujemy pojęcie grafu gatunków, które jest modelem ewolucji gatunków z horyzontalnymi transferami genów. Nieformalnie możemy napisać: graf gatunków = drzewo gatunków + horyzontalne transfery genów (patrz Rysunek 1). Jednak nie wszystkie transfery są poprawne - nie mogą one naruszać czasowych zależności, np. niedozwolone jest krzyżowanie w czasie. Analiza tych własności wykazuje, że dla każdego grafu gatunków istnieje relacja częściowego porządku na transferach nazywana relacją zależności. Analizujemy też sytuację odwrotną, tzn. gdy zbiór transferów jest określony i odpowiadamy na pytanie Kiedy możemy dodać go do drzewa gatunków tak by powstał graf gatunków?. 4
5 Przedstawiamy definicję H-drzewa, które jest modelem ewolucji drzewa genów w kontekście grafu gatunków przy założeniu, że dopuszczalne są tylko duplikacje, straty i horyzontalny transfer genów (ewolucja genów) oraz specjacje (ewolucja gatunków). H-drzewo jest rozszerzeniem DLS-drzewa. Ale oprócz transferów, H- drzewo posiada dodatkowo relację częściowego porządku na transferach nazywaną horyzontalną zależnością. Na Rysunku 4 pokazujemy jak przykładowa ewolucja trzech gatunków i pięciu genów pochodzących od tych gatunków jest reprezentowana w modelu H-drzew (w modelu DLS-drzew sytuacja jest analogiczna ale bez HGT). EWOLUCJA GATUNKÓW EWOLUCJA GENÓW W GATUNKACH Czas EWOLUCJA GENÓW Ewolucja SPECJACJA DUPLIKACJA GENU HGT SPECJACJA STRATA GENU Model f c d S f c d f f c cdf D cd f c d f f c c d G cd cd d c cd d f f c c d Wbudowanie f c d Rysunek 4: Przykładowa ewolucja genów i gatunków, interpretacja w modelu (graf gatunkóws, H-drzewo D, drzewo genówg) oraz wbudowanie H-drzewa, podobnie jak DLS-drzewa, pozwalają na modelowanie dowolnych scenariuszy ewolucyjnych, nie tylko minimalnych. Pokazujemy jak z H-drzewa otrzymać drzewo genów (takie drzewo genów będzie nazywane zgodnym z danym H-drzewem). Ale okazuje się, że H-drzewo może reprezentować ewolucję genów w kontekście wielu grafów gatunków (co jest zgodne z interpretacją biologiczną H- drzewa). Określamy pojęcie zgodnego grafu gatunków wykorzystując m.in. horyzontalną zależność i relację zależności. Nieformalnie można napisać, że H-drzewo jest zgodne z danym grafem gatunków jeśli istnieje interpretacja dla tego H-drzewa w postaci wbudowania w ten graf gatunków (por. Rysunki 2 i 4). Analogiczne do reguł dla DLS-drzew, definiujemy system przepisywania H- drzew zawierający 7 reguł. Oprócz reguł z Rysunku 3 dodajemy jedną regułę typu I: HGT oraz dwie reguły typu II: H-CLOST i H-TMOVE. Ich interpretacje biologiczne przedstawione są na Rysunku 5. 5
6 HGT H-TMOVE H-CLOST Rysunek 5: Interpretacje biologiczne dodatkowych reguł dla H-drzew Dowodzimy analogicznych własności dla H-drzew: zachowywanie przez redukcję drzewa genów oraz zbioru zgodnych grafów gatunków, konfluencja, silna normalizacja. Definiujemy drzewa tłuste, semi-normalne i analizujemy ich diagramy. Otrzymujemy analogiczne wyniki dotyczące minimalizacji kosztów w klasie równoważnych H-drzew (Wniosek 42 z Twierdzenia 41): Twierdzenie 1 Dla H-drzewa T, nieredukowalne H-drzewo otrzymane z T przez redukcje systemu jest jednoznacznym H-drzewem o najmniejszym koszcie (liczonym jako suma horyzontalnych transferów, duplikacji i strat genów) w klasie wszystkich H-drzew równoważnych T. Pokazujemy jak z danego drzewa genówgidanego grafu gatunkówsrekonstruować drzewa w postaci normalnej. W tym celu wprowadzamy pojęcie scenariusza (Górecki, 2004), który odpowiada wyborowi pewnego schematu użycia transferów z grafu gatunków. Okazuje się, że dla każdego scenariuszaξ istnieje H-drzewo Ψ ξ (efektywnie konstruowalne) w postaci normalnej zgodne zgorazs. Ponadto, pokazujemy także (patrz Twierdzenie 81): Twierdzenie 2 Niech G będzie drzewem genów, a S grafem gatunków, takim że wszystkie gatunki zgwystępują ws. Wtedy, dla każdego drzewa T zgodnego zgi S, istnieje scenariuszξ, taki że alboψ ξ = T albo T jest poddrzewemψ ξ. W ten sposób otrzymujemy pełną klasyfikację, a także sposób na otrzymywanie H-drzew w postaci normalnej zgodnych z danym drzewem genów i danym grafem gatunków. Z Twierdzenia 1 wynika, że poszukiwanie H-drzew minimalizujących koszt powinno być ograniczone do drzew w postaci normalnej. Ponadto, z Twierdzenia 2 otrzymujemy, że powinniśmy rozważać tylko te H-drzewa w postaci normalnej, które nie zawierają poddrzew w postaci normalnej zgodnych zgis. W ostatniej części tego rozdziału pokazujemy związki z drzewami uzgadniającymi (Górecki, 2004). 4 Algorytm i przykłady W rozdziale 4 przedstawiony jest algorytm o wielomianowej złożoności czasowej i pamięciowej, obliczający dla danego drzewa genów G i grafu gatunków S mini- 6
7 malny ważony koszt H-drzewa w zbiorze H-drzew zgodnych zgis. Ten algorytm może być łatwo rozszerzony do wersji generującej optymalne (tzn., posiadające ten minimalny ważony koszt) H-drzewo. W szczególności jest to algorytm pozwalający na weryfikowanie hipotez horyzontalnego transferu genów. Oprócz algorytmu przedstawiamy prosty biologiczny przykład i kilka sztucznych przykładów (w dodatku). 5 Podsumowanie Wyniki zawarte w tej pracy mogą być stosowane nie tylko do weryfikowania lub wykrywania hipotez HGT ale także w innych systemach posiadających cechy drzew w drzewach (w naszym przypadku mamy system typu gen-gatunek). Np. w biogeografii (system typu organizm-obszar), gdzie transfer odpowiada przemieszczeniu się organizmów na nowy obszar (Nelson and Platnick, 1981; Swenson et al., 2001; Arvestad et al., 2004), w parazytologii (system typu gospodarz-pasożyt), gdzie transfer odpowiada przemieszczeniu się pasożyta na nowy gatunek (Page, 1993, 1994). W ramach prac nad rozprawą powstał system komputerowy do obliczania i wizualizacji wyników, w którym zaimplementowano wszystkie algorytmy przedstawione w pracy. Wkrótce będzie dostępny w sieci. Literatura Addario-Berry, L., Hallett, M., and Lagergren, J., Towards identifying lateral gene transfer events. In Pacific Symposium on Biocomputing, Arvestad, L., Berglund, A.-C., Lagergren, J., and Sennblad, B., Gene tree reconstruction and orthology analysis based on an integrated model for duplications and sequence evolution. In RECOMB Bonizzoni, P., Vedova, G., and Dondi, R., Reconciling gene trees to a species tree. Algorithms and Complexity, Proceedings of the 5th Italian Conference (CIAC 2003) 2653, Charleston, M. A., Jungles: A new solution to the host/parasite phylogeny reconciliation problem. Mathematical Biosciences 149, Eulenstein, O., Mirkin, B., and Vingron, M., Duplication-based measures of difference between gene and species trees. Journal of Computational Biology 5, Eulenstein, O. and Vingron, M., On the equivalence of two tree mapping measures. DAMATH: Discrete Applied Mathematics and Combinatorial Operations Research and Computer Science 88. 7
8 Górecki, P., Single step reconciliation algorithm for duplication, loss and horizontal gene transfer model. In Proceedings of ECCB Paris. Górecki, P., Reconciliation problems for duplication, loss and horizontal gene transfer. In RECOMB 2004, San Diego. Górecki, P. and Tiuryn, J., On the structure of reconciliations. LNCS 3388, Hallett, M. and Lagergren, J., Efficient algorithms for lateral gene transfer problems. In RECOMB 2001, ACM Press, New York. Hallett, M., Lagergren, J., and Tofigh, A., Simultaneous identification of duplications and lateral transfers. In RECOMB 2004, San Diego. Ma, B., Li, M., and Zhang, L., On reconstructing species trees from gene trees in term of duplications and losses. In RECOMB 1998, Mirkin, B., Muchnik, I., and Smith, T. F., A biologically consistent model for comparing molecular phylogenies. J. of Comput. Biol. 2, Nelson, G. and Platnick, N. I., Systematics and Biogeography: Cladistics and Vicariance. Columbia University Press, New York. Page, R., Parasites, phylogeny and cospeciation. International Journal of Parasitology 23, Page, R. D. M., Maps between trees and cladistic analysis of historical associations among genes, organisms, and areas. Systematic Biology 43, Page, R. D. M. and Charleston, M. A., 1997a. From gene to organismal phylogeny: reconciled trees and the gene tree/species tree problem. Mol. Phylogenet. Evol. 7, Page, R. D. M. and Charleston, M. A., 1997b. Reconciled trees and incogruent gene and species trees. Mathematical Hierarchies and Biology, DIMACS Series in Mathematics and Theoretical Computers Science 37. Swenson, U., Backlund, A., McLoughlin, S., and Hill, R. S., Nothofagus biogeography revisited with special emphasis on the enigmatic distribution of subgenus Brassosphora in New Caledonia. Cladistics 17, Zhang, L., On a Mirkin-Muchnik-Smith conjecture for comparing molecular phylogenies. Journal of Computational Biology 4,
Paradygmaty dowodzenia
Paradygmaty dowodzenia Sprawdzenie, czy dana formuła rachunku zdań jest tautologią polega zwykle na obliczeniu jej wartości dla 2 n różnych wartościowań, gdzie n jest liczbą zmiennych zdaniowych tej formuły.
Schematy Piramid Logicznych
Schematy Piramid Logicznych geometryczna interpretacja niektórych formuł Paweł Jasionowski Politechnika Śląska w Gliwicach Wydział Matematyczno-Fizyczny Streszczenie Referat zajmuje się następującym zagadnieniem:
(4) x (y z) = (x y) (x z), x (y z) = (x y) (x z), (3) x (x y) = x, x (x y) = x, (2) x 0 = x, x 1 = x
2. Wykład 2: algebry Boole a, kraty i drzewa. 2.1. Algebra Boole a. 1 Ważnym dla nas przykładem algebr są algebry Boole a, czyli algebry B = (B,,,, 0, 1) typu (2, 2, 1, 0, 0) spełniające własności: (1)
Struktury danych i złożoność obliczeniowa Wykład 5. Prof. dr hab. inż. Jan Magott
Struktury danych i złożoność obliczeniowa Wykład 5 Prof. dr hab. inż. Jan Magott DMT rozwiązuje problem decyzyjny π przy kodowaniu e w co najwyżej wielomianowym czasie, jeśli dla wszystkich łańcuchów wejściowych
Informacja o przestrzeniach Sobolewa
Wykład 11 Informacja o przestrzeniach Sobolewa 11.1 Definicja przestrzeni Sobolewa Niech R n będzie zbiorem mierzalnym. Rozważmy przestrzeń Hilberta X = L 2 () z iloczynem skalarnym zdefiniowanym równością
E: Rekonstrukcja ewolucji. Algorytmy filogenetyczne
E: Rekonstrukcja ewolucji. Algorytmy filogenetyczne Przypominajka: 152 drzewo filogenetyczne to drzewo, którego liśćmi są istniejące gatunki, a węzły wewnętrzne mają stopień większy niż jeden i reprezentują
Modele i narzędzia optymalizacji w systemach informatycznych zarządzania
Politechnika Poznańska Modele i narzędzia optymalizacji w systemach informatycznych zarządzania Joanna Józefowska POZNAŃ 2010/11 Spis treści Rozdział 1. Metoda programowania dynamicznego........... 5
A i. i=1. i=1. i=1. i=1. W dalszej części skryptu będziemy mieli najczęściej do czynienia z miarami określonymi na rodzinach, które są σ - algebrami.
M. Beśka, Wstęp do teorii miary, rozdz. 3 25 3 Miara 3.1 Definicja miary i jej podstawowe własności Niech X będzie niepustym zbiorem, a A 2 X niepustą rodziną podzbiorów. Wtedy dowolne odwzorowanie : A
Za pierwszy niebanalny algorytm uważa się algorytm Euklidesa wyszukiwanie NWD dwóch liczb (400 a 300 rok przed narodzeniem Chrystusa).
Algorytmy definicja, cechy, złożoność. Algorytmy napotykamy wszędzie, gdziekolwiek się zwrócimy. Rządzą one wieloma codziennymi czynnościami, jak np. wymiana przedziurawionej dętki, montowanie szafy z
SYSTEMY UCZĄCE SIĘ WYKŁAD 10. PRZEKSZTAŁCANIE ATRYBUTÓW. Dr hab. inż. Grzegorz Dudek Wydział Elektryczny Politechnika Częstochowska.
SYSTEMY UCZĄCE SIĘ WYKŁAD 10. PRZEKSZTAŁCANIE ATRYBUTÓW Częstochowa 2014 Dr hab. inż. Grzegorz Dudek Wydział Elektryczny Politechnika Częstochowska INFORMACJE WSTĘPNE Hipotezy do uczenia się lub tworzenia
Poprawność semantyczna
Poprawność składniowa Poprawność semantyczna Poprawność algorytmu Wypisywanie zdań z języka poprawnych składniowo Poprawne wartościowanie zdań języka, np. w języku programowania skutki wystąpienia wyróżnionych
Liczby zespolone. x + 2 = 0.
Liczby zespolone 1 Wiadomości wstępne Rozważmy równanie wielomianowe postaci x + 2 = 0. Współczynniki wielomianu stojącego po lewej stronie są liczbami całkowitymi i jedyny pierwiastek x = 2 jest liczbą
TEORETYCZNE PODSTAWY INFORMATYKI
1 TEORETYCZNE PODSTAWY INFORMATYKI WFAiS UJ, Informatyka Stosowana I rok studiów, I stopień Wykład 14c 2 Definicje indukcyjne Twierdzenia dowodzone przez indukcje Definicje indukcyjne Definicja drzewa
Modelowanie motywów łańcuchami Markowa wyższego rzędu
Modelowanie motywów łańcuchami Markowa wyższego rzędu Uniwersytet Warszawski Wydział Matematyki, Informatyki i Mechaniki 23 października 2008 roku Plan prezentacji 1 Źródła 2 Motywy i ich znaczenie Łańcuchy
Algorytmy genetyczne
Algorytmy genetyczne Motto: Zamiast pracowicie poszukiwać najlepszego rozwiązania problemu informatycznego lepiej pozwolić, żeby komputer sam sobie to rozwiązanie wyhodował! Algorytmy genetyczne służą
Dystrybucje, wiadomości wstępne (I)
Temat 8 Dystrybucje, wiadomości wstępne (I) Wielkości fizyczne opisujemy najczęściej przyporządkowując im funkcje (np. zależne od czasu). Inną drogą opisu tych wielkości jest przyporządkowanie im funkcjonałów
Wykład 4. Określimy teraz pewną ważną klasę pierścieni.
Wykład 4 Określimy teraz pewną ważną klasę pierścieni. Twierdzenie 1 Niech m, n Z. Jeśli n > 0 to istnieje dokładnie jedna para licz q, r, że: m = qn + r, 0 r < n. Liczbę r nazywamy resztą z dzielenia
Algorytm Grovera. Kwantowe przeszukiwanie zbiorów. Robert Nowotniak
Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej Politechnika Łódzka 13 listopada 2007 Plan wystapienia 1 Informatyka Kwantowa podstawy 2 Opis problemu (przeszukiwanie zbioru) 3 Intuicyjna
Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.
Plan Procedura decyzyjna Reguły α i β - algorytm Plan Procedura decyzyjna Reguły α i β - algorytm Logika obliczeniowa Instytut Informatyki 1 Procedura decyzyjna Logiczna konsekwencja Teoria aksjomatyzowalna
9. Schematy aproksymacyjne
9. Schematy aproksymacyjne T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein Wprowadzenie do algorytmów, WNT (2004) O.H. Ibarra, C.E. Kim Fast approximation algorithms for the knapsack and sum of subset
1. Synteza automatów Moore a i Mealy realizujących zadane przekształcenie 2. Transformacja automatu Moore a w automat Mealy i odwrotnie
Opracował: dr hab. inż. Jan Magott KATEDRA INFORMATYKI TECHNICZNEJ Ćwiczenia laboratoryjne z Logiki Układów Cyfrowych ćwiczenie 207 Temat: Automaty Moore'a i Mealy 1. Cel ćwiczenia Celem ćwiczenia jest
Programowanie liniowe
Programowanie liniowe Maciej Drwal maciej.drwal@pwr.wroc.pl 1 Problem programowania liniowego min x c T x (1) Ax b, (2) x 0. (3) gdzie A R m n, c R n, b R m. Oznaczmy przez x rozwiązanie optymalne, tzn.
Transformacja wiedzy w budowie i eksploatacji maszyn
Uniwersytet Technologiczno Przyrodniczy im. Jana i Jędrzeja Śniadeckich w Bydgoszczy Wydział Mechaniczny Transformacja wiedzy w budowie i eksploatacji maszyn Bogdan ŻÓŁTOWSKI W pracy przedstawiono proces
Konstruowanie drzew filogenetycznych. Magda Mielczarek Katedra Genetyki Uniwersytet Przyrodniczy we Wrocławiu
Konstruowanie drzew filogenetycznych Magda Mielczarek Katedra Genetyki Uniwersytet Przyrodniczy we Wrocławiu Drzewa filogenetyczne ukorzenione i nieukorzenione binarność konstrukcji topologia (sposób rozgałęziana
Filogeneza: problem konstrukcji grafu (drzewa) zależności pomiędzy gatunkami.
181 Filogeneza: problem konstrukcji grafu (drzewa) zależności pomiędzy gatunkami. 3. D T(D) poprzez algorytm łączenia sąsiadów 182 D D* : macierz łącząca sąsiadów n Niech TotDist i = k=1 D i,k Definiujemy
UNIKANIE IMPASÓW W SYSTEMACH PROCESÓW WSPÓŁBIEŻNYCH
UNIKANIE IMPASÓW W SYSTEMACH PROCESÓW WSPÓŁBIEŻNYCH Robert Wójcik Instytut Cybernetyki Technicznej Politechniki Wrocławskiej 1. Impasy w systemach procesów współbieżnych 2. Klasyczne algorytmy unikania
Drzewa spinające MST dla grafów ważonych Maksymalne drzewo spinające Drzewo Steinera. Wykład 6. Drzewa cz. II
Wykład 6. Drzewa cz. II 1 / 65 drzewa spinające Drzewa spinające Zliczanie drzew spinających Drzewo T nazywamy drzewem rozpinającym (spinającym) (lub dendrytem) spójnego grafu G, jeżeli jest podgrafem
Acknowledgement. Drzewa filogenetyczne
Wykład 8 Drzewa Filogenetyczne Lokalizacja genów Some figures from: Acknowledgement M. Zvelebil, J.O. Baum, Introduction to Bioinformatics, Garland Science 2008 Tradycyjne drzewa pokrewieństwa Drzewa oparte
Postać Jordana macierzy
Rozdział 8 Postać Jordana macierzy Niech F = R lub F = C Macierz J r λ) F r r postaci λ 1 0 0 0 λ 1 J r λ) = 0 λ 1 0 0 λ gdzie λ F nazywamy klatką Jordana stopnia r Oczywiście J 1 λ) = [λ Definicja 81
Autoreferat. Uzgadnianie drzew: teoria i zastosowania
Autoreferat 1 Imię i nazwisko Paweł Górecki 2 Posiadane dyplomy 1. Dyplom magistra informatyki uzyskany w 1999 roku na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego. 2. Dyplom
Tworzenie gier na urządzenia mobilne
Katedra Inżynierii Wiedzy Teoria podejmowania decyzji w grze Gry w postaci ekstensywnej Inaczej gry w postaci drzewiastej, gry w postaci rozwiniętej; formalny opis wszystkich możliwych przebiegów gry z
Algorytmika Problemów Trudnych
Algorytmika Problemów Trudnych Wykład 9 Tomasz Krawczyk krawczyk@tcs.uj.edu.pl Kraków, semestr letni 2016/17 plan wykładu Algorytmy aproksymacyjne: Pojęcie algorytmu aproksymacyjnego i współczynnika aproksymowalności.
Uniwersytet Zielonogórski Wydział Elektrotechniki, Informatyki i Telekomunikacji Instytut Sterowania i Systemów Informatycznych
Uniwersytet Zielonogórski Wydział Elektrotechniki, Informatyki i Telekomunikacji Instytut Sterowania i Systemów Informatycznych ELEMENTY SZTUCZNEJ INTELIGENCJI Laboratorium nr 9 PRZESZUKIWANIE GRAFÓW Z
Algorytmy Równoległe i Rozproszone Część X - Algorytmy samostabilizujące.
Algorytmy Równoległe i Rozproszone Część X - Algorytmy samostabilizujące. Łukasz Kuszner pokój 209, WETI http://www.sphere.pl/ kuszner/ kuszner@sphere.pl Oficjalna strona wykładu http://www.sphere.pl/
Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu
Schemat programowania dynamicznego (ang. dynamic programming)
Schemat programowania dynamicznego (ang. dynamic programming) Jest jedną z metod rozwiązywania problemów optymalizacyjnych. Jej twórcą (1957) był amerykański matematyk Richard Ernest Bellman. Schemat ten
Programowanie celowe #1
Programowanie celowe #1 Problem programowania celowego (PC) jest przykładem problemu programowania matematycznego nieliniowego, który można skutecznie zlinearyzować, tzn. zapisać (i rozwiązać) jako problem
Elementy logiki. Algebra Boole a. Analiza i synteza układów logicznych
Elementy logiki: Algebra Boole a i układy logiczne 1 Elementy logiki dla informatyków Wykład III Elementy logiki. Algebra Boole a. Analiza i synteza układów logicznych Elementy logiki: Algebra Boole a
9.9 Algorytmy przeglądu
14 9. PODSTAWOWE PROBLEMY JEDNOMASZYNOWE 9.9 Algorytmy przeglądu Metody przeglądu dla problemu 1 r j,q j C max były analizowane między innymi w pracach 25, 51, 129, 238. Jak dotychczas najbardziej elegancka
Zad. 1 Zad. 2 Zad. 3 Zad. 4 Zad. 5 SUMA
Zad. 1 Zad. 2 Zad. 3 Zad. 4 Zad. 5 SUMA Zad. 1 (12p.)Niech n 3k > 0. Zbadać jaka jest najmniejsza możliwa liczba krawędzi w grafie, który ma dokładnie n wierzchołków oraz dokładnie k składowych, z których
3. Macierze i Układy Równań Liniowych
3. Macierze i Układy Równań Liniowych Rozważamy równanie macierzowe z końcówki ostatniego wykładu ( ) 3 1 X = 4 1 ( ) 2 5 Podstawiając X = ( ) x y i wymnażając, otrzymujemy układ 2 równań liniowych 3x
FUNKCJE. (odwzorowania) Funkcje 1
FUNKCJE (odwzorowania) Funkcje 1 W matematyce funkcja ze zbioru X w zbiór Y nazywa się odwzorowanie (przyporządkowanie), które każdemu elementowi zbioru X przypisuje jeden, i tylko jeden element zbioru
Jak trudne jest numeryczne całkowanie (O złożoności zadań ciągłych)
Jak trudne jest numeryczne całkowanie (O złożoności zadań ciągłych) Uniwersytet Warszawski Wydział Matematyki, Informatyki i Mechaniki leszekp@mimuw.edu.pl Horyzonty 2014 17-03-2014 Będlewo Zadania numeryczne
Elementy inteligencji obliczeniowej
Elementy inteligencji obliczeniowej Paweł Liskowski Institute of Computing Science, Poznań University of Technology 9 October 2018 1 / 19 Perceptron Perceptron (Rosenblatt, 1957) to najprostsza forma sztucznego
Korzystając z własności metryki łatwo wykazać, że dla dowolnych x, y, z X zachodzi
M. Beśka, Wstęp do teorii miary, Dodatek 158 10 Dodatek 10.1 Przestrzenie metryczne Niech X będzie niepustym zbiorem. Funkcję d : X X [0, ) spełniającą dla x, y, z X warunki (i) d(x, y) = 0 x = y, (ii)
Matematyka bankowa 1 1 wykład
Matematyka bankowa 1 1 wykład Dorota Klim Department of Nonlinear Analysis, Faculty of Mathematics and Computer Science, University of Łódź, Banacha 22, 90-238 Łódź, Poland E-mail address: klimdr@math.uni.ldz.pl
komputery? Andrzej Skowron, Hung Son Nguyen Instytut Matematyki, Wydział MIM, UW
Czego moga się nauczyć komputery? Andrzej Skowron, Hung Son Nguyen son@mimuw.edu.pl; skowron@mimuw.edu.pl Instytut Matematyki, Wydział MIM, UW colt.tex Czego mogą się nauczyć komputery? Andrzej Skowron,
Treść wykładu. Pierścienie wielomianów. Dzielenie wielomianów i algorytm Euklidesa Pierścienie ilorazowe wielomianów
Treść wykładu Pierścienie wielomianów. Definicja Niech P będzie pierścieniem. Wielomianem jednej zmiennej o współczynnikach z P nazywamy każdy ciąg f = (f 0, f 1, f 2,...), gdzie wyrazy ciągu f są prawie
Problemy z ograniczeniami
Problemy z ograniczeniami 1 2 Dlaczego zadania z ograniczeniami Wiele praktycznych problemów to problemy z ograniczeniami. Problemy trudne obliczeniowo (np-trudne) to prawie zawsze problemy z ograniczeniami.
Krzywa uniwersalna Sierpińskiego
Krzywa uniwersalna Sierpińskiego Małgorzata Blaszke Karol Grzyb Streszczenie W niniejszej pracy omówimy krzywą uniwersalną Sierpińskiego, zwaną również dywanem Sierpińskiego. Pokażemy klasyczną metodę
Spacery losowe generowanie realizacji procesu losowego
Spacery losowe generowanie realizacji procesu losowego Michał Krzemiński Streszczenie Omówimy metodę generowania trajektorii spacerów losowych (błądzenia losowego), tj. szczególnych procesów Markowa z
Ciała i wielomiany 1. przez 1, i nazywamy jedynką, zaś element odwrotny do a 0 względem działania oznaczamy przez a 1, i nazywamy odwrotnością a);
Ciała i wielomiany 1 Ciała i wielomiany 1 Definicja ciała Niech F będzie zbiorem, i niech + ( dodawanie ) oraz ( mnożenie ) będą działaniami na zbiorze F. Definicja. Zbiór F wraz z działaniami + i nazywamy
Prawa wielkich liczb, centralne twierdzenia graniczne
, centralne twierdzenia graniczne Katedra matematyki i ekonomii matematycznej 17 maja 2012, centralne twierdzenia graniczne Rodzaje zbieżności ciągów zmiennych losowych, centralne twierdzenia graniczne
Algorytm simplex i dualność
Algorytm simplex i dualność Łukasz Kowalik Instytut Informatyki, Uniwersytet Warszawski April 15, 2016 Łukasz Kowalik (UW) LP April 15, 2016 1 / 35 Przypomnienie 1 Wierzchołkiem wielościanu P nazywamy
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
Drzewa decyzyjne. Inteligentne Obliczenia. Wydział Mechatroniki Politechniki Warszawskiej. Anna Sztyber
Drzewa decyzyjne Inteligentne Obliczenia Wydział Mechatroniki Politechniki Warszawskiej Anna Sztyber INO (IAiR PW) Drzewa decyzyjne Anna Sztyber / Drzewa decyzyjne w podstawowej wersji algorytm klasyfikacji
Modele optymalizacyjne wspomagania decyzji wytwórców na rynku energii elektrycznej
Modele optymalizacyjne wspomagania decyzji wytwórców na rynku energii elektrycznej mgr inż. Izabela Żółtowska Promotor: prof. dr hab. inż. Eugeniusz Toczyłowski Obrona rozprawy doktorskiej 5 grudnia 2006
Kolorowanie wierzchołków Kolorowanie krawędzi Kolorowanie regionów i map. Wykład 8. Kolorowanie
Wykład 8. Kolorowanie 1 / 62 Kolorowanie wierzchołków - definicja Zbiory niezależne Niech G będzie grafem bez pętli. Definicja Mówimy, że G jest grafem k kolorowalnym, jeśli każdemu wierzchołkowi możemy
SCENARIUSZ LEKCJI. Streszczenie. Czas realizacji. Podstawa programowa
Autorzy scenariusza: SCENARIUSZ LEKCJI OPRACOWANY W RAMACH PROJEKTU: INFORMATYKA MÓJ SPOSÓB NA POZNANIE I OPISANIE ŚWIATA. PROGRAM NAUCZANIA INFORMATYKI Z ELEMENTAMI PRZEDMIOTÓW MATEMATYCZNO-PRZYRODNICZYCH
Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i
Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i A (symbol F i oznacza ilość argumentów funkcji F i ). W rozważanych przez nas algebrach
Wokół Problemu Steinhausa z teorii liczb
Wokół Problemu Steinhausa z teorii liczb Konferencja MathPAD 0 Piotr Jędrzejewicz Wydział Matematyki i Informatyki Uniwersytetu Mikołaja Kopernika w Toruniu Celem referatu jest przedstawienie sposobu wykorzystania
ZAGADNIENIE TRANSPORTOWE
ZAGADNIENIE TRANSPORTOWE ZT jest specyficznym problemem z zakresu zastosowań programowania liniowego. ZT wykorzystuje się najczęściej do: optymalnego planowania transportu towarów, przy minimalizacji kosztów,
Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Wstęp do Sztucznej Inteligencji
Wstęp do Sztucznej Inteligencji Rozwiązywanie problemów-i Joanna Kołodziej Politechnika Krakowska Wydział Fizyki, Matematyki i Informatyki Rozwiązywanie problemów Podstawowe fazy: Sformułowanie celu -
ANALIZA WSPÓŁCZYNNIKA STRATY AL- GORYTMÓW PAKOWANIA FIRST FIT ORAZ BEST FIT PRZY ŁADUNKACH O ROZKŁA- DZIE GAUSSA
Zeszyty Naukowe WSInf Vol 9, Nr 2, 2010 Wojciech Horzelski 1, Dariusz Doliwa 1, Mariusz Frydrych 2 1 Uniwersytet Łódzki, Katedra Informatyki Stosowanej, Wyższa Szkoła Informatyki w Łodzi email: horzel@math.uni.lodz.pl,
Konstrukcja odcinków niewymiernych z wykorzystaniem. Twierdzenia Pitagorasa.
1 Konstrukcja odcinków niewymiernych z wykorzystaniem Twierdzenia Pitagorasa. Czas trwania zajęć: ok. 40 minut + 5 minut na wykład Kontekst w jakim wprowadzono doświadczenie: Doświadczenie warto zrealizować
Wykład 8. Informatyka Stosowana. 26 listopada 2018 Magdalena Alama-Bućko. Informatyka Stosowana Wykład , M.A-B 1 / 31
Wykład 8 Informatyka Stosowana 26 listopada 208 Magdalena Alama-Bućko Informatyka Stosowana Wykład 8 26..208, M.A-B / 3 Definicja Ciagiem liczbowym {a n }, n N nazywamy funkcję odwzorowujac a zbiór liczb
8 Całka stochastyczna względem semimartyngałów
M. Beśka, Całka Stochastyczna, wykład 8 148 8 Całka stochastyczna względem semimartyngałów 8.1 Całka stochastyczna w M 2 Oznaczmy przez Ξ zbiór procesów postaci X t (ω) = ξ (ω)i {} (t) + n ξ i (ω)i (ti,
Dlaczego nie wystarczają liczby wymierne
Dlaczego nie wystarczają liczby wymierne Analiza zajmuje się problemami, w których pojawia się przejście graniczne. Przykładami takich problemów w matematyce bądź fizyce mogą być: 1. Pojęcie prędkości
O LICZBACH NIEOBLICZALNYCH I ICH ZWIĄZKACH Z INFORMATYKĄ
O LICZBACH NIEOBLICZALNYCH I ICH ZWIĄZKACH Z INFORMATYKĄ Jakie obiekty matematyczne nazywa się nieobliczalnymi? Jakie obiekty matematyczne nazywa się nieobliczalnymi? Najczęściej: a) liczby b) funkcje
Podstawy Informatyki. Metody dostępu do danych
Podstawy Informatyki c.d. alina.momot@polsl.pl http://zti.polsl.pl/amomot/pi Plan wykładu 1 Bazy danych Struktury danych Średni czas odszukania rekordu Drzewa binarne w pamięci dyskowej 2 Sformułowanie
PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA
PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA Nadrzędnym celem oceniania jest pozyskiwanie przez nauczyciela i ucznia w trakcie nauczania informacji, które pozwolą rozpoznać, jak przebiega proces uczenia
Teoria grafów dla małolatów. Andrzej Przemysław Urbański Instytut Informatyki Politechnika Poznańska
Teoria grafów dla małolatów Andrzej Przemysław Urbański Instytut Informatyki Politechnika Poznańska Wstęp Matematyka to wiele różnych dyscyplin Bowiem świat jest bardzo skomplikowany wymaga rozważenia
Heurystyki. Strategie poszukiwań
Sztuczna inteligencja Heurystyki. Strategie poszukiwań Jacek Bartman Zakład Elektrotechniki i Informatyki Instytut Techniki Uniwersytet Rzeszowski DLACZEGO METODY PRZESZUKIWANIA? Sztuczna Inteligencja
Transformata Fouriera. Sylwia Kołoda Magdalena Pacek Krzysztof Kolago
Transformata Fouriera Sylwia Kołoda Magdalena Pacek Krzysztof Kolago Transformacja Fouriera rozkłada funkcję okresową na szereg funkcji okresowych tak, że uzyskana transformata podaje w jaki sposób poszczególne
Zad. 3: Układ równań liniowych
1 Cel ćwiczenia Zad. 3: Układ równań liniowych Wykształcenie umiejętności modelowania kluczowych dla danego problemu pojęć. Definiowanie właściwego interfejsu klasy. Zwrócenie uwagi na dobór odpowiednich
Algorytm. Krótka historia algorytmów
Algorytm znaczenie cybernetyczne Jest to dokładny przepis wykonania w określonym porządku skończonej liczby operacji, pozwalający na rozwiązanie zbliżonych do siebie klas problemów. znaczenie matematyczne
3. Wykład 3: Dowody indukcyjne, strategie dowodowe Dowody indukcyjne. Dotychczas zobaczyliśmy w jaki sposób można specyfikować definicje
3. Wykład 3: Dowody indukcyjne, strategie dowodowe. 3.1. Dowody indukcyjne. Dotychczas zobaczyliśmy w jaki sposób można specyfikować definicje indukcyjne kategorii syntaktycznych lub osądów, czy też w
Rozkład materiału nauczania
Dział/l.p. Ilość godz. Typ szkoły: TECHNIKUM Zawód: TECHNIK USŁUG FRYZJERSKICH Rok szkolny 2015/2016 Przedmiot: MATEMATYKA Klasa: III 2 godz/tyg 30 = 60 godzin Rozkład materiału nauczania Temat I. LOGARYTMY
Struktury danych i złożoność obliczeniowa Wykład 7. Prof. dr hab. inż. Jan Magott
Struktury danych i złożoność obliczeniowa Wykład 7 Prof. dr hab. inż. Jan Magott Problemy NP-zupełne Transformacją wielomianową problemu π 2 do problemu π 1 (π 2 π 1 ) jest funkcja f: D π2 D π1 spełniająca
Algebra Boole a i jej zastosowania
lgebra oole a i jej zastosowania Wprowadzenie Niech dany będzie zbiór dwuelementowy, którego elementy oznaczymy symbolami 0 oraz 1, tj. {0, 1}. W zbiorze tym określamy działania sumy :, iloczynu : _ oraz
Zależności funkcyjne
Zależności funkcyjne Plan wykładu Pojęcie zależności funkcyjnej Dopełnienie zbioru zależności funkcyjnych Postać minimalna zbioru zależności funkcyjnych Domknięcie atrybutu relacji względem zależności
Efektywność algorytmów
Efektywność algorytmów Algorytmika Algorytmika to dział informatyki zajmujący się poszukiwaniem, konstruowaniem i badaniem własności algorytmów, w kontekście ich przydatności do rozwiązywania problemów
Funkcje wymierne. Funkcja homograficzna. Równania i nierówności wymierne.
Funkcje wymierne. Funkcja homograficzna. Równania i nierówności wymierne. Funkcja homograficzna. Definicja. Funkcja homograficzna jest to funkcja określona wzorem f() = a + b c + d, () gdzie współczynniki
Zasada indukcji matematycznej
Zasada indukcji matematycznej Twierdzenie 1 (Zasada indukcji matematycznej). Niech ϕ(n) będzie formą zdaniową zmiennej n N 0. Załóżmy, że istnieje n 0 N 0 takie, że 1. ϕ(n 0 ) jest zdaniem prawdziwym,.
Algorytmy heurystyczne w UCB dla DVRP
Algorytmy heurystyczne w UCB dla DVRP Seminarium IO na MiNI 24.03.2015 Michał Okulewicz based on the decision DEC-2012/07/B/ST6/01527 Plan prezentacji Definicja problemu DVRP UCB na potrzeby DVRP Algorytmy
Logika Matematyczna (10)
Logika Matematyczna (10) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Rezolucja w KRZ Jerzy Pogonowski (MEG) Logika Matematyczna (10) Rezolucja w KRZ 1 / 39 Plan
W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora.
1. Podstawy matematyki 1.1. Geometria analityczna W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora. Skalarem w fizyce nazywamy
10. Wstęp do Teorii Gier
10. Wstęp do Teorii Gier Definicja Gry Matematycznej Gra matematyczna spełnia następujące warunki: a) Jest co najmniej dwóch racjonalnych graczy. b) Zbiór możliwych dezycji każdego gracza zawiera co najmniej
Kolorowanie wierzchołków grafu
Kolorowanie wierzchołków grafu Niech G będzie grafem prostym. Przez k-kolorowanie właściwe wierzchołków grafu G rozumiemy takie przyporządkowanie wierzchołkom grafu liczb naturalnych ze zbioru {1,...,
Wykład 8. Drzewo rozpinające (minimum spanning tree)
Wykład 8 Drzewo rozpinające (minimum spanning tree) 1 Minimalne drzewo rozpinające - przegląd Definicja problemu Własności minimalnych drzew rozpinających Algorytm Kruskala Algorytm Prima Literatura Cormen,
Wstęp do sieci neuronowych, wykład 02 Perceptrony c.d. Maszyna liniowa.
Wstęp do sieci neuronowych, wykład 02 Perceptrony c.d. Maszyna liniowa. Maja Czoków, Jarosław Piersa Wydział Matematyki i Informatyki, Uniwersytet Mikołaja Kopernika 2011-10-11 1 Modelowanie funkcji logicznych
Metody teorii gier. ALP520 - Wykład z Algorytmów Probabilistycznych p.2
Metody teorii gier ALP520 - Wykład z Algorytmów Probabilistycznych p.2 Metody teorii gier Cel: Wyprowadzenie oszacowania dolnego na oczekiwany czas działania dowolnego algorytmu losowego dla danego problemu.
Metoda Tablic Semantycznych
Procedura Plan Reguły Algorytm Logika obliczeniowa Instytut Informatyki Plan Procedura Reguły 1 Procedura decyzyjna Logiczna równoważność formuł Logiczna konsekwencja Procedura decyzyjna 2 Reguły α, β,
Skalowalność obliczeń równoległych. Krzysztof Banaś Obliczenia Wysokiej Wydajności 1
Skalowalność obliczeń równoległych Krzysztof Banaś Obliczenia Wysokiej Wydajności 1 Skalowalność Przy rozważaniu wydajności przetwarzania (obliczeń, komunikacji itp.) często pojawia się pojęcie skalowalności
Ciagi liczbowe wykład 4
Ciagi liczbowe wykład 4 dr Mariusz Grzadziel Katedra Matematyki, Uniwersytet Przyrodniczy we Wrocławiu semestr zimowy, r. akad. 2016/2017 Definicja (ciagu liczbowego) Ciagiem liczbowym nazywamy funkcję
Matematyka dyskretna. Andrzej Łachwa, UJ, /10
Matematyka dyskretna Andrzej Łachwa, UJ, 2018 andrzej.lachwa@uj.edu.pl 10/10 Podziały i liczby Stirlinga Liczba Stirlinga dla cykli (często nazywana liczbą Stirlinga pierwszego rodzaju) to liczba permutacji
Kumulowanie się defektów jest możliwe - analiza i potwierdzenie tezy
Kumulowanie się defektów jest możliwe - analiza i potwierdzenie tezy Marek Żukowicz 14 marca 2018 Streszczenie Celem napisania artykułu jest próba podania konstruktywnego dowodu, który wyjaśnia, że niewielka
domykanie relacji, relacja równoważności, rozkłady zbiorów
1 of 8 2012-03-28 17:45 Logika i teoria mnogości/wykład 5: Para uporządkowana iloczyn kartezjański relacje domykanie relacji relacja równoważności rozkłady zbiorów From Studia Informatyczne < Logika i
Matematyka dyskretna. 1. Relacje
Matematyka dyskretna 1. Relacje Definicja 1.1 Relacją dwuargumentową nazywamy podzbiór produktu kartezjańskiego X Y, którego elementami są pary uporządkowane (x, y), takie, że x X i y Y. Uwaga 1.1 Jeśli