Wykład monograficzny

Informacje ogólne

Kod przedmiotu:	1000-I2M1802
Kod Erasmus / ISCED:	(brak danych) / (0613) Tworzenie i analiza oprogramowania i aplikacji Kod ISCED - Międzynarodowa Standardowa Klasyfikacja Kształcenia (International Standard Classification of Education) została opracowana przez UNESCO.
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) Podstawowe informacje o zasadach przyporządkowania punktów ECTS: roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS; tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h; 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się; tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS; nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta. zobacz reguły punktacji
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) - wykład konwersatoryjny
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.

Przedmiot nie jest oferowany w żadnym z aktualnych cykli dydaktycznych.

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.