Cykl kształcenia: 2024/2025
Nazwa jednostki prowadzącej studia: Wydział Elektrotechniki i Informatyki
Nazwa kierunku studiów: Informatyka
Obszar kształcenia: nauki techniczne
Profil studiów: ogólnoakademicki
Poziom studiów: drugiego stopnia
Forma studiów: stacjonarne
Specjalności na kierunku: H - Cyberbezpieczeństwo i technologie chmurowe, I - Inżynieria inteligentnych systemów informatycznych, S - Systemy i sieci komputerowe
Tytuł otrzymywany po ukończeniu studiów: magister inżynier
Nazwa jednostki prowadzącej zajęcia: Katedra Elektrotechniki i Podstaw Informatyki
Kod zajęć: 1429
Status zajęć: obowiązkowy dla specjalności I - Inżynieria inteligentnych systemów informatycznych
Układ zajęć w planie studiów: sem: 1 / W30 C15 L15 / 5 ECTS / E
Język wykładowy: polski
Imię i nazwisko koordynatora: dr inż. Antoni Szczepański
Terminy konsultacji koordynatora: wg danych na stronie https://aszczep.v.prz.edu.pl/konsultacje
semestr 1: dr inż. Tomasz Kossowski , termin konsultacji wg harmonogramu na stronie pei.prz.edu.pl
Główny cel kształcenia: dostarczyć studentom zaawansowanych pojęć i twierdzeń matematycznych z zakresu teorii grup i teorii liczb, i pokazać ich duże znaczenie w Informatyce
Ogólne informacje o zajęciach: Tematyka tego modułu kształcenia została podzielona na dwie odrębne, ale niezupełnie niezależne, części. Pierwsza część ma na celu rozszerzenie i pogłębienie wiedzy na temat struktur algebraicznych takich jak grupy permutacji, a następnie ich uogólnienie i rozszerzenie na pierścień i ciało. W drugiej części wykładów zostanie przedstawiona teoria liczb całkowitych, która stanowi podstawowe narzędzie projektowania systemów komputerowych oraz zapewnienia bezpieczeństwa komputerów i sieci komputerowych. W ramach tego modułu zostaną również przedstawione wybrane algorytmy związane z teorią liczb.
Materiały dydaktyczne: http://www.pei.prz.edu.pl/dydaktyka.html po zalogowaniu
Inne: http://wazniak.mimuw.edu.pl/index.php?title=Matematyka_dyskretna_1 i 2
1 | Song Y. Yan | Teoria liczb w informatyce | Wydawnictwo naukowe PWN, Warszawa. | 2006 |
2 | Ross K., Wright C. | Matematyka dyskretna | Wydawnictwo PWN, Warszawa. | 2012 |
3 | Marek Libura, Jarosław Sikorski | Wykłady z matematyki dyskretnej, Cz I.: Kombinatoryka | Zakład Poligraficzny Jerzy Kosiński, Warszawa. | 2003 |
1 | Antoni Szczepański | Biblioteka kombinatoryczno-grafowa procedur i funkcji dla programu Maxima. | . | 2020 |
2 | Antoni Szczepański | Biblioteka teorio-liczbowa procedur i funkcji dla programu Maxima. | . | 2020 |
3 | Antoni Szczepański | Instrukcja do ćwiczenia z teorii grup permutacji i instrukcja do ćwiczenia z teorii liczb. | . | 2020 |
1 | Sysło M. | Algorytmy | WSiP, Warszawa. | 1997 |
2 | Jerzy Rutkowski | Teoria liczb w zadaniach - pdf | PWN. | 2019 |
Wymagania formalne: rejestracja na 1. semestr studiów magisterskich
Wymagania wstępne w kategorii Wiedzy: ma podstawową wiedzę na temat struktur danych, programowania komputerów i komputerowych technik obliczeniowych
Wymagania wstępne w kategorii Umiejętności: ma dobrze rozwinięty zmysł matematyczny, potrafi myśleć abstrakcyjnie, potrafi wykonywać zadania określone w sposób algorytmiczny
Wymagania wstępne w kategorii Kompetencji społecznych: gotowość do systematycznej pracy, wytrwałość w rozwiązywaniu trudnych zadań, umiejętność pracy w małym zespole
MEK | Student, który zaliczył zajęcia | Formy zajęć/metody dydaktyczne prowadzące do osiągnięcia danego efektu kształcenia | Metody weryfikacji każdego z wymienionych efektów kształcenia | Związki z KEK | Związki z PRK |
---|---|---|---|---|---|
01 | zna definicję grupy permutacji i potrafi wyznaczać różne jej cechy | wykład, laboratorium, ćwiczenia rachunkowe | sprawdzian pisemny, egzamin cz. pisemna |
K_W01++ K_U05++ |
P7S_UW P7S_WG |
02 | potrafi stosować teorię grup permutacji do zliczania istotnie różnych konfiguracji (np. kolorowań) | wykład, laboratorium, ćwiczenia rachunkowe | sprawdzian pisemny, egzamin cz. pisemna |
K_W01++ K_U05++ |
P7S_UW P7S_WG |
03 | zna podstawowy i rozszerzony algorytm Euklidesa i potrafi go praktycznie zastosować | wykład, laboratorium, ćwiczenia rachunkowe | sprawdzian pisemny, egzamin cz. pisemna |
K_W01++ K_U05++ |
P7S_UW P7S_WG |
04 | potrafi rozwiązywać liniowe równania diofantyczne oraz kongruencje liniowe | wykład, laboratorium, ćwiczenia rachunkowe | sprawdzian pisemny, egzamin cz. pisemna |
K_W01++ K_U05++ |
P7S_UW P7S_WG |
05 | zna algorytmy potęgowania modularnego i potrafi je praktycznie stosować | wykład, laboratorium, ćwiczenia rachunkowe | sprawdzian pisemny, egzamin cz. pisemna |
K_W01++ K_U05++ |
P7S_UW P7S_WG |
Uwaga: W zależności od sytuacji epidemicznej, jeżeli nie będzie możliwości weryfikacji osiągniętych efektów uczenia się określonych w programie studiów w sposób stacjonarny w szczególności zaliczenia i egzaminy kończące określone zajęcia będą mogły się odbywać przy użyciu środków komunikacji elektronicznej (w sposób zdalny).
Sem. | TK | Treści kształcenia | Realizowane na | MEK |
---|---|---|---|---|
1 | TK01 | W1, W2, W3, C1, C2, L1, L2, L3 | MEK01 | |
1 | TK02 | W4, W5, W6, C3, C4, L4, L5, L6, L7 | MEK02 | |
1 | TK03 | W7, W8, W9, C5, C6, L8, L9, L10 | MEK03 MEK04 | |
1 | TK04 | W10, W11, W12, C7, C8, L11, L12, L13 | MEK03 MEK04 | |
1 | TK05 | W13, W14, W15, C9, C10, L14, L15 | MEK05 |
Forma zajęć | Praca przed zajęciami | Udział w zajęciach | Praca po zajęciach |
---|---|---|---|
Wykład (sem. 1) | Godziny kontaktowe:
30.00 godz./sem. |
Uzupełnienie/studiowanie notatek:
5.00 godz./sem. Studiowanie zalecanej literatury: 10.00 godz./sem. |
|
Ćwiczenia/Lektorat (sem. 1) | Przygotowanie do kolokwium:
6.00 godz./sem. |
Godziny kontaktowe:
15.00 godz./sem. |
Dokończenia/studiowanie zadań:
5.00 godz./sem. Inne: 5.00 godz./sem. |
Laboratorium (sem. 1) | Przygotowanie do kolokwium:
6.00 godz./sem. |
Godziny kontaktowe:
15.00 godz./sem. |
Dokończenia/wykonanie sprawozdania:
15.00 godz./sem. Inne: 10.00 godz./sem. |
Konsultacje (sem. 1) | Udział w konsultacjach:
1.00 godz./sem. |
||
Egzamin (sem. 1) | Przygotowanie do egzaminu:
10.00 godz./sem. |
Egzamin pisemny:
2.00 godz./sem. |
Forma zajęć | Sposób wystawiania oceny podsumowującej |
---|---|
Wykład | na podstawie egzaminu pisemnego |
Ćwiczenia/Lektorat | na podstawie sprawdzianu i aktywności na tych zajęciach |
Laboratorium | w oparciu o wyniki kolokwiów oraz za sprawozdania |
Ocena końcowa | zależy od wyników egzaminu pisemnego, obecności na wykładach, oceny końcowej z ćwiczeń oraz oceny końcowej z laboratoriów; warunkiem zaliczenia przedmiotu jest zaliczenie każdej jego formy, a więc ćwiczeń, laboratoriów i egzaminu na ocenę minimum 3,0. |
Wymagane podczas egzaminu/zaliczenia
(-)
Realizowane podczas zajęć ćwiczeniowych/laboratoryjnych/projektowych
(-)
Inne
(-)
Czy podczas egzaminu/zaliczenia student ma możliwość korzystania z materiałów pomocniczych : tak
Dostępne materiały : Notatki osobiste, pliki z serwera zakładowego, ale tylko wydrukowane. Nie można korzystać ze smartfona ani innego komputera. Można używać sprzętowego kalkulatora.