Conducted in
terms:
2022/23, 2023/24, 2024/25Z, 2025/26
ISCED code: 0613
ECTS credits:
12
Language:
Polish
Organized by:
Faculty of Mathematics and Computer Science
Mathematics for computer science I 1000-ZiMATI
This course has not yet been described...
Total student workload
(in Polish) 60 godz. – konwersatorium,
120 godz. – praca własna – bieżące przygotowanie do zajęć,
66 godz. – praca własna – studiowanie literatury,
35 godz. – praca własna – przygotowanie do sprawdzianów.
RAZEM: 281 godz.
11 pkt. ECTS
Learning outcomes - knowledge
(in Polish) Po ukończeniu kursu student osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia inżynierskie):
W1. Zna podstawowe pojęcia logiki i teorii zbiorów (K_W01).
W2. Wymienia najważniejsze własności relacji binarnych, w szczególności relacji częściowego i liniowego porządku (K_W01).
W3. Rozróżnia najważniejsze rodzaje funkcji elementarnych i opisuje ich własności (K_W01).
W4. Rozpoznaje proste zależności rekurencyjne (K_W01).
W5. Zna różne metody rozwiązywania układów równań liniowych, definiuje podstawowe pojęcia rachunku macierzowego (K_W01).
W6. Przedstawia zasadę działania algorytmów kryptograficznych z kluczem publicznym, opisuje zastosowania liczb pierwszych w kryptografii (K_W01).
Learning outcomes - skills
(in Polish) Po ukończeniu kursu student osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia inżynierskie):
U1. Potrafi stosować w praktyce prawa rachunku zdań, sprawdza czy wyrażenie jest tautologią (K_U01).
U2. Rysuje wykresy funkcji elementarnych i odczytuje z nich ich własności (K_U01).
U3. Stosuje metodę indukcji matematycznej do sprawdzenia poprawności prostych twierdzeń (K_U01).
U4. Określa asymptotyczne tempo wzrostu funkcji - za pomocą notacji ,,dużego O” i jej modyfikacji (K_U01).
U5. Wykonuje działania i operacje elementarne na macierzach, rozwiązuje układy równań liniowych z wykorzystaniem różnych metod, potrafi podać geometryczną interpretację zbioru rozwiązań (K_U01).
U6. Stosuje algorytm Euklidesa i rozszerzony algorytm Euklidesa, wykonuje obliczenia w arytmetyce modularnej ( K_U01).
Learning outcomes - social competencies
(in Polish) Po ukończeniu kursu student osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia inżynierskie):
K1. Potrafi myśleć analitycznie; świadomie prowadzi proste rozumowania matematyczne zgodne z zasadami logiki ( K_K03).
K2. Jest nastawiony na jak najlepsze wykonanie zadania; dba o szczegóły; jest systematyczny i ma pozytywne podejście do trudności stojących na drodze do realizacji założonego celu ( K_K04).
K3. Dostrzega przydatność matematyki w rozwiązywaniu problemów informatycznych i podnoszeniu kompetencji zawodowych (K_K02, K_K03).
Teaching methods
(in Polish) Metody podające – wykład konwersatoryjny
Metody poszukujące – ćwiczeniowa
Type of course
compulsory course
Prerequisites
(in Polish) brak
Course coordinators
Term 2025/26: | Term 2023/24: | Term 2024/25Z: | Term 2022/23: |
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: