Matematyka konkretna I-SM3O>MK
Celem zajęć w module jest wyposażenie studenta w precyzyjny i formalny warsztat narzędzi matematycznych niezbędnych w praktycznym rozwiązywaniu problemów informatycznych, takich jak zliczanie, badanie kryterium zbieżności, złożoność obliczeniowa algorytmów, analiza danych, redukcja wielowymiarowości. Obejmuje elementy podstaw matematyki oraz rachunku różniczkowego i całkowego, elementy rachunku prawdopodobieństwa, statystykę i wnioskowanie statystyczne, algebrę liniową (w tym przekształcenia macierzowe), relacje.
W cyklu 2021/2022-Z:
Celem zajęć w module jest wyposażenie studenta w precyzyjny i formalny warsztat narzędzi matematycznych niezbędnych w praktycznym rozwiązywaniu problemów informatycznych, takich jak zliczanie, badanie kryterium zbieżności i złożoności obliczeniowej algorytmów. |
W cyklu 2022/2023-Z:
Celem zajęć w module jest wyposażenie studenta w precyzyjny i formalny warsztat narzędzi matematycznych niezbędnych w praktycznym rozwiązywaniu problemów informatycznych, takich jak zliczanie, badanie kryterium zbieżności i złożoności obliczeniowej algorytmów. |
W cyklu 2023/2024-Z:
Celem zajęć w module jest wyposażenie studenta w precyzyjny i formalny warsztat narzędzi matematycznych niezbędnych w praktycznym rozwiązywaniu problemów informatycznych, takich jak zliczanie, badanie kryterium zbieżności i złożoności obliczeniowej algorytmów. |
Koordynatorzy przedmiotu
W cyklu 2023/2024-Z: | W cyklu 2022/2023-Z: | W cyklu 2021/2022-Z: | W cyklu 2024/2025-Z: |
<b>Ocena końcowa</b>
<b>Wymagania wstępne</b>
<b>Literatura podstawowa</b>
W cyklu 2022/2023-Z: 1. R.L. Graham, D.E. Knuth, O. Patashnik, Matematyka Konkretna, Wydawnictwo Naukowe PWN, Warszawa 1998.
2. K.A. Ross, Ch.R.B. Wright, Matematyka Dyskretna, Wydawnictwo Naukowe PWN, Warszawa 1996.
3. Nield T.: Podstawy matematyki w Data Science, Helion 2023
| W cyklu 2023/2024-Z: • R.L. Graham, D.E. Knuth, O. Patashnik, Matematyka Konkretna, Wydawnictwo Naukowe PWN, Warszawa 1996.
• V. Bryant, Aspekty kombinatoryki, Wydawnictwa Naukowo-Techniczne, Warszawa 1977.
• K.A. Ross, Ch.R.B. Wright, Matematyka Dyskretna, Wydawnictwo Naukowe PWN, Warszawa 1996.
| W cyklu 2024/2025-Z: 1. R.L. Graham, D.E. Knuth, O. Patashnik, Matematyka Konkretna, Wydawnictwo Naukowe PWN, Warszawa 1998.
2. K.A. Ross, Ch.R.B. Wright, Matematyka Dyskretna, Wydawnictwo Naukowe PWN, Warszawa 1996.
3. Nield T.: Podstawy matematyki w Data Science, Helion 2023
|
<b>Literatura uzupełniająca</b>
W cyklu 2022/2023-Z: 1. Kneusel R.: Matematyka w Deep Learningu, Helion 2024
2. Lawson M.: Algebra & Geometry, CRC Press 2016
| W cyklu 2023/2024-Z: • Władysław Narkiewicz, Teoria liczb, PWN, Warszawa 2003.
• W. Lipski, Kombinatoryka dla programistów
• W. Lipski, W. Marek, Analiza kombinatoryczna, Państwowe Wydawnictwo Naukowe, Warszawa 1986.
• Z. Pałka, A. Ruciński, Wykłady z kombinatoryki, Wydawnictwa Naukowo-Techniczne, Warszawa 1998
| W cyklu 2024/2025-Z: 1. Kneusel R.: Matematyka w Deep Learningu, Helion 2024
2. Lawson M.: Algebra & Geometry, CRC Press 2016
|
<b>Inne informacje</b>
Efekty kształcenia
Wiedza
Posiada rozszerzoną i pogłębioną wiedzę w zakresie niektórych działów matematyki, obejmującą elementy teorii mnogości, matematyki dyskretnej i stosowanej, w tym metody matematyczne do analizy i syntezy algorytmów przetwarzania sygnałów cyfrowych i algorytmów przetwarzania obrazu
Powiązane efekty kierunkowe:
IF2A_W01
Metody weryfikacji:
Kolokwium:Posiada rozszerzoną i pogłębioną wiedzę w zakresie niektórych działów matematyki, obejmującą elementy teorii mnogości, matematyki dyskretnej i stosowanej, w tym metody matematyczne do analizy i syntezy algorytmów przetwarzania sygnałów cyfrowych i algorytmów przetwarzania obrazu
Wiedza
Ma rozszerzoną wiedzę w zakresie matematycznych podstaw teorii informacji, teorii algorytmów i kryptografii oraz ich praktycznych zastosowań.
Powiązane efekty kierunkowe:
IF2A_W02
Metody weryfikacji:
Kolokwium:Ma rozszerzoną wiedzę w zakresie matematycznych podstaw teorii informacji, teorii algorytmów i kryptografii oraz ich praktycznych zastosowań.
Umiejętności
Potrafi integrować uzyskane informacje, dokonywać ich interpretacji, a także wyciągać wnioski oraz formułować i uzasadniać opinie. Potrafi określić powiązanie pomiędzy stawianym problemem informatycznym a stojącymi za nim zagadnieniami matematyki.
Powiązane efekty kierunkowe:
IF2A_U01
Metody weryfikacji:
Kolokwium:Potrafi integrować uzyskane informacje, dokonywać ich interpretacji, a także wyciągać wnioski oraz formułować i uzasadniać opinie. Potrafi określić powiązanie pomiędzy stawianym problemem informatycznym a stojącymi za nim zagadnieniami matematyki. Sprawdzian zaliczeniowy,
ćwiczenia realizowane podczas zajęć
Umiejętności
Umie stworzyć model matematyczny w dziedzinie informatyki i dokonać analizy opisu formalnego
Powiązane efekty kierunkowe:
IF2A_U07
Metody weryfikacji:
Kolokwium:Umie stworzyć model matematyczny w dziedzinie informatyki i dokonać analizy opisu formalnego. Sprawdzian zaliczeniowy,
ćwiczenia realizowane podczas zajęć
Kompetencje społeczne
Rozumie potrzebę i zna możliwości ciągłego dokształcania się – podnoszenia kompetencji zawodowych, osobistych i społecznych.
Powiązane efekty kierunkowe:
IF2A_K01
Metody weryfikacji:
Ocena aktywności na zajęciach:Rozumie potrzebę i zna możliwości ciągłego dokształcania się – podnoszenia kompetencji zawodowych, osobistych i społecznych. Ćwiczenia realizowane podczas zajęć.
Kryteria oceniania
kolokwium
Literatura
1. R.L. Graham, D.E. Knuth, O. Patashnik, Matematyka Konkretna, Wydawnictwo Naukowe PWN, Warszawa 1998.
2. K.A. Ross, Ch.R.B. Wright, Matematyka Dyskretna, Wydawnictwo Naukowe PWN, Warszawa 1996.
3. Nield T.: Podstawy matematyki w Data Science, Helion 2023