Przedmiot fakultatywny 1 - Matematyka w służbie informatyki

Algebra liniowa z geometrią.

Logika i teoria mnogości.

Matematyka dyskretna.

Umiejętność programowania.

1. Godziny kontaktowe (z udziałem nauczyciela akademickiego):

wykład - 30h

laboratorium - 30h

łącznie 60h - 2 punkty ECTS

2. Godziny niekontaktowe (praca własna studenta)

praca własna studenta 90h - 3 punkty ECTS

Sumaryczna ilość godzin dla przedmiotu : 150h

Sumaryczna ilość punktów ECTS dla przedmiotu: 5 ECTS

W1: praca na zajęciach, odpowiedź ustna.

W2. praca na zajęciach, odpowiedź ustna.

U1: praca na zajęciach.

K1: praca na zajęciach, odpowiedź ustna.

Wykład jest poświęcony zastosowaniom matematyki: zarówno w teoretycznej jak i stosowanej informatyce. W trakcie wykładu poruszone są między innymi takie zagadnienia jak:

- związki logiki ze złożonością obliczeniową,

- spełnialność i prawdziwość formuł logicznych w praktycznych zastosowaniach (SAT-solvery, systemy ekspertowe, automatyczne dowodzenie twierdzeń itp),

- zastosowania algebry skończonej w informatyce (krzywe eliptyczne itp.),

- problemy nierozstrzygalne.

Literatura obowiązkowa:

- slajdy z wykładów (dostępne na stronie przedmiotu na Wirtualnym Kampusie),

Literatura uzupełniająca:

Wiktor Marek, Janusz Onyszkiewicz ,,Elementy logiki i teorii mnogości w zadaniach'', Wydawnictwo Naukowe PWN, Warszawa 2004.

Christos H. Papadimitriou ,,Złożoność obliczeniowa''' (tytuł oryginału: Computational complexity ) - dowolne wydanie.

Wiedza:

W1. Student zna podstawy logiki i teorii mnogości i ich zastosowania w torii obliczeń: K_W01, K_W09, K_W11.

W2. Student zna podstawy algebry ogólnej i jej zastosowania w kryptografii: K_W01, K_W08, K_W11.

Umiejętności

U1. Student potrafi używać narzędzi matematycznych do rozwiązywania problemów pojawiających się w informatyce: K_U01, K_U02

Kompetencje społeczne

K1. Student jest świadomy konieczności pogłębiania swojej wiedzy, korzystania z aktualnej literatury i wiedzy ekspertów K_K01, K_K02