C. EFEKTY KSZTAŁCENIA I METODY SPRAWDZANIA EFEKTÓW KSZTAŁCENIA
Cel
modułu
Zapoznanie studentów z podstawowymi pojęciami matematyki dyskretnej, takimi jak zbiór, funkcja, relacja oraz elementami logiki, kombinatoryki i teorii grafów, jak również pokazanie związków pomiędzy tymi pojęciami a podstawami informatyki.
Symbol efektu |
Efekty kształcenia |
Forma prowadzenia zajęć (w/ć/l/p/inne) |
odniesienie do efektów kierunkowych |
odniesienie do efektów obszarowych |
W_01 |
ma wiedzę w zakresie wybranych elementów matematyki dyskretnej, obejmującą pojęcia funkcji, relacji i zbioru, elementy logiki matematycznej, techniki dowodzenia twierdzeń, indukcję matematyczną, rekursję, kombinatorykę i grafy |
w |
K_W03 |
T1A W01, T1A W02, lnzA_W02 |
W_02 |
jest w stanie właściwie dobierać metody do rozwiązywania określonych zadań logicznych |
ć |
K_W06 |
T1A W04, InzA W05 |
U_01 |
ma umiejętność posługiwania się aparatem matematyki dyskretnej do opisu i analizy problemów związanych z obróbką zbiorów danych |
w/ć |
o o o 3 D 3 |
T1A U08, T1A U09, T1AJJ14, InzA U02, InzA U06 |
U_02 |
potrafi interpretować pojęcia informatyczne w terminach funkcji i relacji, stosować aparat logiki, techniki dowodzenia twierdzeń, teorię grafów i rekurencję do rozwiązywania problemów informatycznych |
ć |
KJJ09 |
T1A U09, lnzA_U02 |
K_01 |
rozumie potrzebę ciągłego samodzielnego dokształcania się |
w |
K_K01 |
T1A_K01 |
K_02 |
potrafi myśleć i planować działania w uporządkowany sposób |
w/ć |
K_K05 |
T1A K04, T1A K05 |
Treści kształcenia:
1. Treści kształcenia w zakresie wykładu
Nr wykładu |
Treści kształcenia |
Odniesienie do efektów kształcenia dla modułu |
1 |
Zbiory, sekwencje i funkcje. Operacje na zbiorach, własności funkcji. |
W 01, W 03, U_01, K 01, K 05 |
2 |
Podstawy logiki: rachunek zdań, metody dowodzenia, analiza argumentów. |
W 01, W 03, U 01, K 01, K 05 |
3 |
Relacje: klasyfikacja relacji, relacje częściowego porządku |
W 01, W 03, U 01, K 01, K 05 |
4 |
Przestrzenie z relacją i zbiory uporządkowane: punkty wyróżnione, kresy, diagram Hasse’go. |
W 01, W 03, |