Cel kształcenia i wykaz literatury

Główny cel kształcenia: Głównym celem kształcenia w ramach tego modułu zajęć jest przekazanie studentom matematycznych podstaw współczesnej kryptografii, która oparta jest w głównej mierze o twierdzenia teorii liczb oraz wykorzystuje właściwości struktur algebraicznych takich jak grupy, pierścienie oraz ciała liczbowe.

Ogólne informacje o zajęciach: Zajęcia mają formę wykładów i laboratoriów komputerowych, na których studenci poznają i badają obliczeniowo różne pojęcia i twierdzenia teorii liczb. Wiedza ta pozwala studentom informatyki zrozumieć skomplikowane algorytmy testowania pierwszości liczb, reguły rozkładu liczb całkowitych na czynniki pierwsze, procedury działania kryptosystemów opartych o arytmetykę modularną.

Wykaz literatury, wymaganej do zaliczenia zajęć

Literatura wykorzystywana podczas zajęć wykładowych

1	Song Y. Yan	Teoria liczb w informatyce	Wydawnictwo naukowe PWN, Warszawa.	2006
2	Wacław Marzantowicz, Piotr Zarzycki	Elementarna teoria liczb	PWN.	2006
3	Marcin Karbowski	Podstawy kryptografii. Wydanie III	Helion.	2014

Literatura wykorzystywana podczas zajęć ćwiczeniowych/laboratoryjnych/innych

1

Antoni Szczepański

Biblioteka procedur dotycząca teorii liczb o nazwie ANT dla programu Maxima

opracowanie prywatne.

2021

Literatura do samodzielnego studiowania

1

Andrzej Chrzęszczyk

Algorytmy teorii liczb i kryptografii w przykładach

Wydawnictwo BTC - Legionowo.

2010

Wymagania wstępne w kategorii wiedzy/umiejętności/kompetencji społecznych

Wymagania formalne: wpis na drugi semestr studiów magisterskich na kierunku Informatyka

Wymagania wstępne w kategorii Wiedzy: podstawowa wiedza w zakresie algebry i teorii liczb

Wymagania wstępne w kategorii Umiejętności: umiejętność wykonywania bez błędów złożonych obliczeń arytmetycznych, zdolność rozumienia abstrakcyjnych pojęć matematycznych

Wymagania wstępne w kategorii Kompetencji społecznych: systematyczność w pracy i wytrwałość w pokonywaniu trudności

Efekty kształcenia dla zajęć

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	potrafi rozwiązywać liniowe równania diofantyczne metodą rozszerzonego algorytmu Euklidesa	wykład, laboratorium	raport pisemny	K_U05++ K_K02++	P7S_KR P7S_UW
02	potrafi obliczać multiplikatywne odwrotności	wykład, laboratorium	raport pisemny	K_U05++ K_K02++	P7S_KR P7S_UW
03	potrafi rozwiązywać kongruencje liniowe	wykład, laboratorium	raport pisemny	K_U05++ K_K02++	P7S_KR P7S_UW
04	zna algorytm szybkiego potęgowania modularnego	wykład, laboratorium	raport pisemny	K_U05++ K_K02++	P7S_KR P7S_UW
05	zna reguły dodawania punktów na krzywej eliptycznej	wykład, laboratorium	raport pisemny	K_U05++ K_K02++	P7S_KR P7S_UW

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).

Treści kształcenia dla zajęć

Sem.	TK	Treści kształcenia	Realizowane na	MEK
2	TK01	Wprowadzenie do teorii liczb. Wiadomości wstępne z algebry. Teoria podzielności liczb. Podstawowe pojęcia i własności podzielności. Zasadnicze twierdzenie arytmetyki - rozkład kanoniczny liczby naturalnej. NWD i NWW pary oraz zbioru liczb. Podstawowy i rozszerzony algorytmy Euklidesa.	W01, L01	MEK01
2	TK02	Liniowe równania diofantyczne. Rozwiązywanie równań liniowych metodą algorytmu Euklidesa. Definicja i wyznaczanie multiplikatywnej odwrotności.	W02, L02	MEK01 MEK02
2	TK03	Teoria kongruencji. Kongruencje liniowe. Podstawowe pojęcia i własności kongruencji. Arytmetyka modularna. Funkcje arytmetyczne fi, tau, sigma, mi. Arytmetyczne funkcje multiplikatywne i ich właściwości. Małe tw. Fermata i tw. Wilsona. Chińskie tw. o resztach. Rozwiązywanie kongruencji.	W03, L03	MEK03
2	TK04	Kryptosystem RSA. Algorytm szybkiego potęgowania modularnego.	W04, L04	MEK04
2	TK05	Podstawowe pojęcia dotyczące krzywych eliptycznych. Arytmetyka, czyli prawa działań na punktach leżących na krzywych eliptycznych. Wzory algebraiczne opisujące dodawanie punktów na krzywych eliptycznych. Zastosowania krzywych eliptycznych.	W05, L05	MEK05

Nakład pracy studenta

Forma zajęć	Praca przed zajęciami	Udział w zajęciach	Praca po zajęciach
Wykład (sem. 2)	Przygotowanie do kolokwium: 5.00 godz./sem.	Godziny kontaktowe: 10.00 godz./sem.	Uzupełnienie/studiowanie notatek: 5.00 godz./sem. Studiowanie zalecanej literatury: 15.00 godz./sem.
Laboratorium (sem. 2)	Przygotowanie do kolokwium: 5.00 godz./sem.	Godziny kontaktowe: 10.00 godz./sem.	Dokończenia/wykonanie sprawozdania: 20.00 godz./sem.
Konsultacje (sem. 2)		Udział w konsultacjach: 1.00 godz./sem.
Zaliczenie (sem. 2)	Przygotowanie do zaliczenia: 10.00 godz./sem.	Zaliczenie pisemne: 1.00 godz./sem.

Sposób wystawiania ocen składowych zajęć i oceny końcowej

Forma zajęć	Sposób wystawiania oceny podsumowującej
Wykład	na podstawie pisemnego kolokwium zaliczeniowego oraz, w razie konieczności, na podstawie odpowiedzi ustnej
Laboratorium	na podstawie sprawozdań oraz krótkich sprawdzianów
Ocena końcowa	średnia arytmetyczna ocen z wykładu i z laboratorium, obydwie muszą wynosić co najmniej 3,0

Przykładowe zadania

Wymagane podczas egzaminu/zaliczenia
(-)

Realizowane podczas zajęć ćwiczeniowych/laboratoryjnych/projektowych
(-)

Inne
(-)

Czy podczas egzaminu/zaliczenia student ma możliwość korzystania z materiałów pomocniczych : nie

Treści zajęć powiazane są z prowadzonymi badaniami naukowymi: nie