| Pole | KOD | Znaczenie kodu |
|---|
| Zamierzone efekty kształcenia | IC_1A_B/01/02_U01 | Ma umiejętność zastosowania podstawowych metod z logiki, teorii zbiorów, kombinatoryki, rekurencji oraz teorii liczb i arytmetyki modularnej do rozwiązywania problemów z zakresu inżynierii cyfryzacji. |
|---|
| Odniesienie do efektów kształcenia dla kierunku studiów | IC_1A_U17 | Ma umiejętności w zakresie przeprowadzenia analizy problemów mających bezpośrednie odniesienie do zdobytej wiedzy |
|---|
| Odniesienie do efektów zdefiniowanych dla obszaru kształcenia | T1A_U07 | potrafi posługiwać się technikami informacyjno-komunikacyjnymi właściwymi do realizacji zadań typowych dla działalności inżynierskiej |
|---|
| T1A_U12 | potrafi dokonać wstępnej analizy ekonomicznej podejmowanych działań inżynierskich |
| T1A_U13 | potrafi dokonać krytycznej analizy sposobu funkcjonowania i ocenić - zwłaszcza w powiązaniu ze studiowanym kierunkiem studiów - istniejące rozwiązania techniczne, w szczególności urządzenia, obiekty, systemy, procesy, usługi |
| T1A_U14 | potrafi dokonać identyfikacji i sformułować specyfikację prostych zadań inżynierskich o charakterze praktycznym, charakterystycznych dla studiowanego kierunku studiów |
| T1A_U15 | potrafi ocenić przydatność rutynowych metod i narzędzi służących do rozwiązania prostego zadania inżynierskiego o charakterze praktycznym, charakterystycznego dla studiowanego kierunku studiów oraz wybrać i zastosować właściwą metodę i narzędzia |
| Odniesienie do efektów kształcenia prowadzących do uzyskania tytułu zawodowego inżyniera | InzA_U04 | potrafi dokonać wstępnej analizy ekonomicznej podejmowanych działań inżynierskich |
|---|
| InzA_U05 | potrafi dokonać krytycznej analizy sposobu funkcjonowania i ocenić - zwłaszcza w powiązaniu ze studiowanym kierunkiem studiów - istniejące rozwiązania techniczne, w szczególności urządzenia, obiekty, systemy, procesy, usługi |
| InzA_U06 | potrafi dokonać identyfikacji i sformułować specyfikację prostych zadań inżynierskich o charakterze praktycznym, charakterystycznych dla studiowanego kierunku studiów |
| InzA_U07 | potrafi ocenić przydatność rutynowych metod i narzędzi służących do rozwiązania prostego zadania inżynierskiego o charakterze praktycznym, charakterystycznego dla studiowanego kierunku studiów oraz wybrać i zastosować właściwą metodę i narzędzia |
| Cel przedmiotu | C-2 | Ukształtowanie umiejętności wykorzystania metod logiki, teorii zbiorów, kombinatoryki, rekurencji oraz teorii liczb i arytmetyki modularnej do rozwiązywania zadań z zakresu inżynierii cyfrowej. |
|---|
| C-3 | Ukształtowanie umiejętności wykorzystania narzędzi informatycznych przy rozwiązywaniu zadaż z zakresu logiki, teorii zbiorów, kombinatoryki, rekurencji oraz teorii liczb i arytmetyki modularnej. |
| Treści programowe | T-A-6 | Relacje porządkujące |
|---|
| T-A-10 | Obiekty kombinatoryczne – wariacje, kombinacje, permutacje, zasada włączania – wyłączania, podziały zbiorów |
| T-A-9 | Kombinatoryka – zliczanie funkcji, rozmieszczenia uporządkowane |
| T-A-7 | Funkcje, obraz i przeciwobraz zbioru, moc zbiorów |
| T-A-3 | Teoria mnogości - operacje na zbiorach, podstawowe prawa rachunku zbiorów |
| T-A-5 | Relacje równoważności |
| T-A-2 | Elementy logiki matematycznej: rachunek zdań, tautologie, indukcja matematyczna |
| T-A-13 | Elementarne prawa i kryteria podzielności NWD, NWW, algorytm Euklidesa |
| T-A-14 | Arytmetyka modularna |
| T-A-4 | Iloczyn kartezjański zbiorów, relacje |
| T-A-1 | Pakiety oprogramowania matematycznego MATCAD, MATLAB – interpretacja i wizualizacja wyników obliczeń |
| T-A-12 | Liniowe równania różnicowe |
| T-A-11 | Rekurencje – schemat Hornera, równania nieliniowe |
| Metody nauczania | M-3 | ćwiczenia przedmiotowe |
|---|
| Sposób oceny | S-4 | Ocena podsumowująca: Ocena z kolokwium sprawdzającego umiejętność rozwiazywania zadań z zakresu logiki, teorii zbiorów, kombinatoryki, rekurencji oraz teorii liczb i arytmetyki modularnej. |
|---|
| S-3 | Ocena formująca: Ocena z przygotowania teoretycznego do zajęć w zakresie tematu ćwiczeń.
Ocena sposobu rozwiązywania zadań podczas zajęć. |
| Kryteria oceny | Ocena | Kryterium oceny |
|---|
| 2,0 | Student nie umie zastosować podstawowych pojęć z zakresu logiki, teorii zbiorów, kombinatoryki, rekurencji oraz teorii liczb i arytmetyki modularnej do rozwiązywania prostych zadań |
| 3,0 | Student umie zastosować podstawowe pojęcia z zakresu logiki, teorii zbiorów, kombinatoryki, rekurencji oraz teorii liczb i arytmetyki modularnej do rozwiązywania prostych zadań |
| 3,5 | |
| 4,0 | |
| 4,5 | |
| 5,0 | |