Metody informatyki 3.1.KRK.12TX.MInf
E1. Obliczenia. Dokładność a precyzja. Zaokrąglenia. Propagacja błędów. Poprawność numeryczna.
E2-5. Rozwiązywanie układów równań liniowych. Rozwiązywanie równań algebraicznych. Interpolacja. Aproksymacja. Różniczkowanie i całkowanie numeryczne. Rozwiązywanie zagadnień początkowych dla ODE. Rozwiązywanie zagadnień brzegowych dla PDE.
E6-9. Algorytmy i podstawowe zasady ich analizy. Techniki i struktury teorii algorytmów. Przegląd wybranych problemów t.a.: sortowanie, słowniki, struktury złożone, algorytmy tekstowe i grafowe. Specyficzne techniki informatyczne stosowane do rozwiązywania problemów wywodzących się z matematyki. NP-zupełność.
E10-11. Notacja i kody. Entropia. Kodowanie optymalne. Szyfrowanie. Złożoność informacyjna.
E12-13. Funkcje obliczalne. Efektywna obliczalność. Teza Churcha. Funkcje uniwersalne. Problem stopu. Problemy nierozstrzygalne.
E14-15. Pakiety matematyczne – podstawy teoretyczne, ograniczenia i możliwości. Matematyka obliczalna.
Rodzaj przedmiotu
Koordynatorzy przedmiotu
Efekty kształcenia
Wiedza:
student zna wybrane techniki obliczeniowe, wspomagające pracę matematyka i rozumie ich ograniczenia
student zna matematyczne podstawy teorii informacji, teorii algorytmów i kryptografii oraz ich praktyczne zastosowania m.in. w programowaniu i szeroko rozumianej informatyce
Umiejętności:
student rozumie matematyczne podstawy analizy algorytmów i procesów obliczeniowych
student potrafi konstruować algorytmy o dobrych własnościach numerycznych, służące do rozwiązywania typowych i nietypowych problemów matematycznych
Kompetencje społeczne:
Widzi wartość w rozwijaniu swoich kompetencji w dziedzinie teorii prawdopodobieństwa i statystyki matematycznej.
Potrafi precyzyjnie formułować pytania, służące zrozumieniu danego tematu i samodzielnie wyszukiwać odpowiedzi w literaturze naukowej i zasobach internetowych.
Kryteria oceniania
Forma i sposób zaliczenia oraz podst. kryteria oceny lub wymagania egzaminacyjne
Na ogólnych zasadach określonych w programie kształcenia, a w szczególności
A. Sposób zaliczenia
• zaliczenie z oceną (wykład (W), konwersatorium (K) i laboratorium (L))
B. Formy zaliczenia
• (W) zaliczenie z oceną; na podstawie mini projektu/referatu
• (K) zaliczenie z oceną; ustalenie oceny zaliczeniowej na podstawie ocen cząstkowych otrzymywanych w trakcie trwania semestru za wystąpienia ustne/referaty;
• (L) zaliczenie z oceną: ustalenie oceny zaliczeniowej na podstawie mini projektów
C. Podstawowe kryteria
• (W), (K) i (L) uzyskanie pozytywnej oceny końcowej
Literatura
A. V. Aho, J. E. Hopcroft, J. D. Ullman, Projektowanie i analiza algorytmów komputerowych, Helion, 20xx.
L. Banachowski, K. Diks, W. Rytter, Algorytmy i struktury danych, WNT, 200x.
Z. Fortuna, B. Macukow, J. Wąsowski, Metody numeryczne, WNT, 20xx.
D. Kincaid, W. Cheney, Analiza numeryczna, WNT, 200x.
T. H. Cormen, C. E. Leiserson, R. L. Rivest, C. Stein, Wprowadzenie do algorytmów, WNT, 200x.
T. M. Cover, J. A. Thomas, Wiley, Elements of Information Theory, 199x.
N. Cutland, Computability. An Introduction to Recursive Function Theory, Cambridge Univeristy Press, 19xx.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: