Uniwersytet Mikołaja Kopernika w Toruniu - Centralny punkt logowaniaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Matematyka dla informatyków I

Informacje ogólne

Kod przedmiotu: 1000-ZiMATI Kod Erasmus / ISCED: (brak danych) / (0613) Tworzenie i analiza oprogramowania i aplikacji
Nazwa przedmiotu: Matematyka dla informatyków I
Jednostka: Wydział Matematyki i Informatyki
Grupy: Informatyka, studia inżynierskie 1 stopnia, 1 rok, nst.
Punkty ECTS i inne: 11.00
Język prowadzenia: polski
Wymagania wstępne:

brak

Rodzaj przedmiotu:

przedmiot obowiązkowy

Całkowity nakład pracy studenta:

60 godz. – konwersatorium,

120 godz. – praca własna – bieżące przygotowanie do zajęć,

60 godz. – praca własna – studiowanie literatury,

35 godz. – praca własna – przygotowanie do sprawdzianów.


RAZEM: 275 godz.


11 pkt. ECTS

Efekty uczenia się - wiedza:

Po ukończeniu kursu student osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia inżynierskie):


W1. Zna podstawowe pojęcia logiki i teorii zbiorów (K_W01).


W2. Wymienia najważniejsze własności relacji binarnych, w szczególności relacji częściowego i liniowego porządku (K_W01).


W3. Rozróżnia najważniejsze rodzaje funkcji elementarnych i opisuje ich własności (K_W01).


W4. Rozpoznaje proste zależności rekurencyjne (K_W01).


W5. Zna różne metody rozwiązywania układów równań liniowych, definiuje podstawowe pojęcia rachunku macierzowego (K_W01).


W6. Przedstawia zasadę działania algorytmów kryptograficznych z kluczem publicznym, opisuje zastosowania liczb pierwszych w kryptografii (K_W01).

Efekty uczenia się - umiejętności:

Po ukończeniu kursu student osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia inżynierskie):


U1. Potrafi stosować w praktyce prawa rachunku zdań, sprawdza czy wyrażenie jest tautologią (K_U01).


U2. Rysuje wykresy funkcji elementarnych i odczytuje z nich ich własności (K_U01).


U3. Stosuje metodę indukcji matematycznej do sprawdzenia poprawności prostych twierdzeń (K_U01).


U4. Określa asymptotyczne tempo wzrostu funkcji - za pomocą notacji ,,dużego O” i jej modyfikacji (K_U01).


U5. Wykonuje działania i operacje elementarne na macierzach, rozwiązuje układy równań liniowych z wykorzystaniem różnych metod, potrafi podać geometryczną interpretację zbioru rozwiązań (K_U01).


U6. Stosuje algorytm Euklidesa i rozszerzony algorytm Euklidesa, wykonuje obliczenia w arytmetyce modularnej ( K_U01).

Efekty uczenia się - kompetencje społeczne:

Po ukończeniu kursu student osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia inżynierskie):


K1. Potrafi myśleć analitycznie; świadomie prowadzi proste rozumowania matematyczne zgodne z zasadami logiki ( K_K03).


K2. Jest nastawiony na jak najlepsze wykonanie zadania; dba o szczegóły; jest systematyczny ( K_K04).


K3. Dostrzega przydatność matematyki w rozwiązywaniu problemów informatycznych i podnoszeniu kompetencji zawodowych (K_K02, K_K03).


K4. Pracuje systematycznie i ma pozytywne podejście do trudności stojących na drodze do realizacji założonego celu; dotrzymuje terminów (K_K08).

Metody dydaktyczne:

Metody podające – wykład konwersatoryjny

Metody poszukujące – ćwiczeniowa

Skrócony opis:

Celem przedmiotu jest przekazanie studentom podstawowej wiedzy w zakresie matematyki, obejmującej elementy logiki matematycznej, teorii mnogości, matematyki dyskretnej i algebry liniowej. Szczególny nacisk położony zostanie na zagadnienia, które będą później wykorzystywane na zajęciach informatycznych objętych programem studiów.

Pełny opis:

1. Elementy logiki matematycznej: spójniki logiczne i ich własności; rachunek zdań, tautologie, metoda zero-jedynkowa; kwantyfikatory i funkcje zdaniowe.

2. Zbiory i relacje: działania na zbiorach i ich własności; iloczyn kartezjański; zbiór słów nad alfabetem; relacje – podstawowe definicje i własności; relacje częściowego i liniowego porządku, porządek leksykograficzny; relacje równoważności.

3. Funkcje: podstawowe definicje (dziedzina, przeciwdziedzina, wykres, składanie funkcji, funkcja odwrotna); własności funkcji (różnowartościowość, „na”, monotoniczność, ograniczoność); funkcje elementarne (wielomianowe, potęgowe, wykładnicze, logarytmiczne, trygonometryczne); informacja o zbiorach przeliczalnych i nieprzeliczalnych.

4. Liczby naturalne: zasada indukcji matematycznej; definicje i zależności rekurencyjne; ciągi liczbowe; notacja O.

5. Elementy algebry liniowej: układy równań liniowych (metody rozwiązywania, interpretacja geometryczna); macierze (działania na macierzach, macierz odwrotna, zapis macierzowy układu równań); wyznaczniki (własności, metody obliczania, zastosowanie do rozwiązywania układów równań); liczby zespolone (definicje, działania, interpretacja geometryczna, postać trygonometryczna).

6. Elementy teorii liczb: funkcje podłoga i sufit; podzielność liczb całkowitych; liczby pierwsze, rozkład na czynniki pierwsze; liczby względnie pierwsze, relacja kongruencji, arytmetyka modulo; wzmianka o zastosowaniach w kryptografii.

Literatura:

Literatura podstawowa:

1. G. Banaszak i W. Gajda, Elementy algebry liniowej, Część I oraz II, WNT, Warszawa, 2002.

2. F. Leja, Geometria analityczna, PWN, Warszawa, 1966.

3. W. Marzantowicz, P. Zarzycki, Elementarna teoria liczb, PWN, Warszawa, 2006.

4. D. Miklaszewski, Wstęp do matematyki, Wydawnictwo Naukowe UMK, Toruń, 2015.

5. H. Rasiowa, Wstęp do matematyki współczesnej, PWN, Warszawa (wiele wydań).

6. K.A. Ross i Ch.R.B. Wright, Matematyka dyskretna, PWN, Warszawa, (wiele wydań).

Literatura uzupełniająca:

1. A. Białynicki-Birula, Algebra liniowa z geometrią, PWN, Warszawa, 1976.

2. B. Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław, 2002.

3. K. Kuratowski, A. Mostowski, Teoria mnogości, PWN, Warszawa, 1978.

4. W. Sierpiński, Teoria liczb, PWN, Warszawa 1950 (tom 1), 1959 (tom 2).

5. M. Stark, Geometria analityczna ze wstępem do geometrii wielowymiarowej, PWN, Warszawa, 1970.

Zbiory zadań:

1. L. Jeśmanowicz i J. Łoś, Zbiór zadań z algebry, PWN, Warszawa, 1976.

2. T. Jurlewicz i Z. Skoczylas, Algebra i geometria analityczna, Oficyna Wydawnicza GiS, Wrocław, 2010.

3. T. Jurlewicz i Z. Skoczylas, Algebra liniowa: przykłady i zadania, Wrocław, 2005.

4. E. Kącki, D. Sadowska i L. Siewierski, Geometria analityczna w zadaniach, PWN, Warszawa, 1975.

5. I.A. Ławrow i Ł.L. Maksimowa, Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów, PWN, Warszawa, 2004.

6. W. Marek i J. Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, PWN, Warszawa, (wiele wydań).

Metody i kryteria oceniania:

Zaliczenie konwersatorium na ocenę student uzyskuje na podstawie trzech pisemnych sprawdzianów z sekcji 1+2, 3+4, 5+6 (zob. opis przedmiotu) oraz egzaminu. Sprawdziany weryfikują osiągnięcie następujących efektów kształcenia: W1-W7, U1-U7. K1-K4.

Dopuszcza się maksymalnie dwie nieobecności nieusprawiedliwione (w każdym semestrze).

Praktyki zawodowe:

nie dotyczy

Zajęcia w cyklu "Rok akademicki 2017/18" (zakończony)

Okres: 2017-10-01 - 2018-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Konwersatorium, 60 godzin, 30 miejsc więcej informacji
Koordynatorzy: Grzegorz Pastuszak
Prowadzący grup: Kamila Barylska, Alicja Jaworska-Pastuszak, Grzegorz Pastuszak
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Konwersatorium - Zaliczenie na ocenę

Zajęcia w cyklu "Rok akademicki 2018/19" (zakończony)

Okres: 2018-10-01 - 2019-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Konwersatorium, 60 godzin, 30 miejsc więcej informacji
Koordynatorzy: Grzegorz Pastuszak
Prowadzący grup: Kamila Barylska, Alicja Jaworska-Pastuszak, Grzegorz Pastuszak
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Konwersatorium - Zaliczenie na ocenę

Zajęcia w cyklu "Rok akademicki 2019/20" (zakończony)

Okres: 2019-10-01 - 2020-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Konwersatorium, 60 godzin, 35 miejsc więcej informacji
Koordynatorzy: Grzegorz Pastuszak
Prowadzący grup: Alicja Jaworska-Pastuszak, Grzegorz Pastuszak
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Konwersatorium - Egzamin

Zajęcia w cyklu "Rok akademicki 2020/21" (w trakcie)

Okres: 2020-10-01 - 2021-09-20
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Konwersatorium, 60 godzin, 25 miejsc więcej informacji
Koordynatorzy: Grzegorz Pastuszak
Prowadzący grup: Piotr Górny, Alicja Jaworska-Pastuszak, Grzegorz Pastuszak
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Konwersatorium - Egzamin
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.