Metody algebraiczne w informatyce 420-IS2-1MAL
Wykład (WYK) Rok akademicki 2020/21

1. J. Jaworski, Z. Palka, J. Szymański, Matematyka dyskretna

dla informatyków, Część I: Elementy kombinatoryki,

Wydawnictwo Naukowe UAM, Poznań 2007.

2. Z. Palka, A. Ruciński, Wykłady z Kombinatoryki - Cz. I.

Przeliczanie, WNT, Warszawa, 1998.

Efekty kształcenia w ramach realizacji przedmiotu:

Potrafi wymienić i scharakteryzować metody wnioskowania stosowane w metodach algebraicznych informatyki. K_W04, K_W14, K_W15

Potrafi rozpoznawać i wyjaśniać struktury algebraiczne systemów kodowania i kryptografii. K_W04, K_W14, K_W15

Potrafi wymienić i scharakteryzować metody algebraiczne do tworzenia systemów kryptograficznych i kodowania. K_W04, K_W14, K_W15

Potrafi zanalizować problem i zaprojektować elementy systemu algebraicznego do rozwiązywania tego problemu. K_U01, K_U08, K_U20

Potrafi dobrać właściwa reprezentacje wiedzy dla dziedziny, z której problem pochodzi oraz opracować stosowną strukturę bazy wiedzy i zaimplementować taką bazę. K_U01, K_U08, K_U20

Potrafi właściwie do problemu dobrać metodę wnioskowania i zaimplementować ją. K_U01, K_U08, K_U20

Potrafi utworzyć algebraiczny opis problemu i przedstawić go. K_U01, K_U08, K_U20

Kreatywnie rozwiązuje projekty. K_K01, K_K02, K_K03

Systematycznie uzupełnia swoją wiedzę dotyczącą nowych trendów w rozwoju systemów algebraicznych stosowanych w teorii kodowania i kryptografii i narzędzi do ich tworzenia. K_K01, K_K02, K_K03, K_K05

Zaliczenie na podstawie oceny z ćwiczeń i aktywności na wykładzie.

Chińskie twierdzenie o resztach; potęgowanie modularne; Twierdzenie Fermata; Twierdzenie Eulera; prawa i metody przeliczania; schematy wyboru; zasada szufladkowa Dirichleta.

Wykład i prezentacja komputerowa.