Matematyka dyskretna II I-NI7O>MD-II
Jeszcze nie wprowadzono opisu dla tego przedmiotu...
|
W cyklu 2021/2022-Z:
Celem zajęć w tym module jest wprowadzenie i ugruntowanie wśród studentów formalnej wiedzy dotyczącej zbiorów, ciągów i funkcji, elementów logiki matematycznej, relacji oraz indukcji i rekurencji w zakresie niezbędnym do przeprowadzenia i przedstawienia precyzyjnej analizy pod kątem matematycznym rozwiązań algorytmicznych i programistycznych realizowanych na przedmiotach kierunkowych. Student zostanie również zaznajomiony z wybranymi zagadnieniami teorii grafów, rachunku prawdopodobieństwa i struktur algebraicznych, niezbędnymi dla zrozumienia i samodzielnego projektowania metod rozwiązywania problemów informatycznych oraz oceny złożoności, sprawdzenia i uzasadnienia poprawności proponowanej metody. |
W cyklu 2022/2023-L:
Celem zajęć w tym module jest wprowadzenie i ugruntowanie wśród studentów formalnej wiedzy dotyczącej zbiorów, ciągów i funkcji, elementów logiki matematycznej, relacji oraz indukcji i rekurencji w zakresie niezbędnym do przeprowadzenia i przedstawienia precyzyjnej analizy pod kątem matematycznym rozwiązań algorytmicznych i programistycznych realizowanych na przedmiotach kierunkowych. Student zostanie również zaznajomiony z wybranymi zagadnieniami teorii grafów, rachunku prawdopodobieństwa i struktur algebraicznych, niezbędnymi dla zrozumienia i samodzielnego projektowania metod rozwiązywania problemów informatycznych oraz oceny złożoności, sprawdzenia i uzasadnienia poprawności proponowanej metody. |
W cyklu 2023/2024-L:
Celem zajęć w tym module jest wprowadzenie i ugruntowanie wśród studentów formalnej wiedzy dotyczącej zbiorów, ciągów i funkcji, elementów logiki matematycznej, relacji oraz indukcji i rekurencji w zakresie niezbędnym do przeprowadzenia i przedstawienia precyzyjnej analizy pod kątem matematycznym rozwiązań algorytmicznych i programistycznych realizowanych na przedmiotach kierunkowych. Student zostanie również zaznajomiony z wybranymi zagadnieniami teorii grafów, rachunku prawdopodobieństwa i struktur algebraicznych, niezbędnymi dla zrozumienia i samodzielnego projektowania metod rozwiązywania problemów informatycznych oraz oceny złożoności, sprawdzenia i uzasadnienia poprawności proponowanej metody. |
Koordynatorzy przedmiotu
<b>Ocena końcowa</b>
<b>Wymagania wstępne</b>
<b>Literatura podstawowa</b>
- Wojciechowski J., Pieńkosz K.: Grafy i sieci, WN PWN, Warszawa 2013.
- Ross K.A., Wright Ch.R.B.: Matematyka dyskretna, WN PWN, Warszawa 1999.
- Szpyrka M.: Sieci Petriego w modelowaniu i analizie systemów współbieżnych, WNT, Warszawa 2008.
- W. Tsai: Mechanism design – Enumeration according to function, CRC Boca Raton, USA, 2001.
- Zawiślak S.: The graph-based methodology as an artificial intelligence aid for mechanical engineering design, Wydawnictwo ATH, Bielsko-Biała, 2010. (dostępna w czytelni ATH)
<b>Literatura uzupełniająca</b>
- Balińska K.T., Quintas L.V.: Random graphs with bounded degree, Wyd. Politechniki Poznańskiej, Poznań, 2006.
- Zbigniew Suraj, Bogumił Komarek: Graf. system graficznej konstrukcji i analizy Sieci Petriego, Warszawa 1994. s.192, ISBN 83-7101-210-1.
- Włoch A., Włoch I.: Matematyka dyskretna : podstawowe metody i algorytmy teorii grafów, Rzeszów : Oficyna Wydawnicza Politechniki Rzeszowskiej, Wyd. 4, 2017, ISBN 9788379341375.
<b>Inne informacje</b>
W cyklu 2021/2022-Z: | W cyklu 2022/2023-L: brak
| W cyklu 2023/2024-L: brak
|
Efekty kształcenia
Wiedza
Ma podstawową wiedzę z zakresu matematyki dyskretnej (podstawy teorii grafów i drzew, wybranych struktur algebraicznych).
Powiązane efekty kierunkowe:
IF1A_W01
Metody weryfikacji:
Kolokwium:Ma podstawową wiedzę z zakresu matematyki dyskretnej (podstawy teorii grafów i drzew, wybranych struktur algebraicznych).
Wiedza
Ma elementarną wiedzę w zakresie grafów Petri’ego.
Powiązane efekty kierunkowe:
IF1A_W03
Metody weryfikacji:
Kolokwium:Ma elementarną wiedzę w zakresie grafów Petri’ego.
Wiedza
Ma elementarną wiedzę z zakresu modelowania przekładni grafami.
Powiązane efekty kierunkowe:
IF1A_W10
Metody weryfikacji:
Kolokwium:Ma elementarną wiedzę z zakresu modelowania przekładni grafami.
Umiejętności
Potrafi wykorzystać wiedzę o grafach w modelowaniu problemów np. ścieżek, przydziału, kolorowania.
Powiązane efekty kierunkowe:
IF1A_U09
Metody weryfikacji:
Ocena aktywności na zajęciach:Potrafi wykorzystać wiedzę o grafach w modelowaniu problemów np. ścieżek, przydziału, kolorowania. Sprawdzian zaliczeniowy,
ćwiczenia realizowane podczas zajęć.
Umiejętności
Potrafi zbudować sieć Petri’ego dla wybranego prostego problemu oraz graf przekładni planetarnej
Powiązane efekty kierunkowe:
IF1A_U06
Metody weryfikacji:
Ocena aktywności na zajęciach:Potrafi zbudować sieć Petri’ego dla wybranego prostego problemu oraz graf przekładni planetarnej. Sprawdzian zaliczeniowy,
ćwiczenia realizowane podczas zajęć
Umiejętności
Potrafi samodzielnie zdobywać wiedzę oraz korzystać z literatury i Internetu celem uzupełnienia wiedzy.
Powiązane efekty kierunkowe:
IF1A_U01
Metody weryfikacji:
Ocena aktywności na zajęciach:Potrafi samodzielnie zdobywać wiedzę oraz korzystać z literatury i Internetu celem uzupełnienia wiedzy.
Kompetencje społeczne
Rozumie potrzebę ciągłego dokształcania się, potrafi myśleć analitycznie.
Powiązane efekty kierunkowe:
IF1A_K01
Metody weryfikacji:
Kolokwium:Rozumie potrzebę ciągłego dokształcania się, potrafi myśleć analitycznie.