Wykład monograficzny
Informacje ogólne
Kod przedmiotu: | 1000-I2M1802 |
Kod Erasmus / ISCED: |
(brak danych)
/
(0613) Tworzenie i analiza oprogramowania i aplikacji
|
Nazwa przedmiotu: | Wykład monograficzny |
Jednostka: | Wydział Matematyki i Informatyki |
Grupy: |
Inf., II st., stacjonarne, 1 rok, wykłady monograficzne |
Punkty ECTS i inne: |
(brak)
|
Język prowadzenia: | polski |
Wymagania wstępne: | Znajomość podstaw logiki i teorii mnogości (zbiory częściowo uporządkowane, relacje równoważności i klasy abstrakcji) oraz teorii języków formalnych (automaty skończone i języki regularne). |
Całkowity nakład pracy studenta: | wykład - 30 godzin praca własna, studiowanie literatury - 30 godzin RAZEM: 60 godzin 2 punkty ECTS |
Efekty uczenia się - wiedza: | [W1] rozumie rolę i znaczenie formalizmu matematycznego oraz matematycznych podstaw informatyki (K_W01) |
Efekty uczenia się - umiejętności: | [U1] potrafi przedstawić zastosowania informatyki w wybranej dziedzinie (K_U06) [U2] umie znajdować niezbędne informacje w literaturze fachowej, bazach danych i innych źródłach (K_U07) [U3] potrafi określić kierunki dalszego uczenia się i zrealizować proces samokształcenia (K_U10) |
Efekty uczenia się - kompetencje społeczne: | [K1] krytycznej oceny swojej wiedzy i dalszego jej doskonalenia z wykorzystaniem różnych źródeł informacji (K_K03) |
Metody dydaktyczne podające: | - wykład informacyjny (konwencjonalny) |
Metody dydaktyczne w kształceniu online: | - metody służące prezentacji treści |
Skrócony opis: |
Tematyka wykładu obejmuje zagadnienia związane z modelowaniem i analizą procesów systemów współbieżnych za pomocą elementarnych sieci Petriego. Wykład połączony jest z seminarium magisterskim. |
Pełny opis: |
Zakres tematów: 1. Sieci elementarne 2. Równoważności i postaci normalne 3. Procesy współbieżne 4. Synteza sieci elementarnych 5. Częściowe porządki i ślady Mazurkiewicza |
Literatura: |
Literatura obowiązkowa: Wolfgang Reisig, Grzegorz Rozenberg (ed.): Lecture on Petri Nets I: Basic Model, LNCS 1491, Springer 1998 Eric Badouel, Luca Bernardinello, Philippe Darondeau: Petri Net Synthesis, Springer 2015 Volker Diekert, Grzegorz Rozenberg (ed.): The Book of Traces, World Scientific 1995 Literatura uzupełniająca: Claude Girault, Rudiger Valk: Petri Nets for Systems Engineering, Springer 2003 Einar Smith: Carl Adam Petri, Life and Science, Springer 2014 Violetta Koseska, Antoni Mazurkiewicz: Time Flow and Tenses, SOW 2010 |
Metody i kryteria oceniania: |
Zaliczenie na podstawie (aktywnej) obecności na wykładzie. |
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.