Wydział Informatyki - Informatyka (S1)
specjalność: systemy komputerowe i oprogramowanie
Sylabus przedmiotu Matematyka dyskretna:
Informacje podstawowe
| Kierunek studiów | Informatyka | ||
|---|---|---|---|
| Forma studiów | studia stacjonarne | Poziom | pierwszego stopnia |
| Tytuł zawodowy absolwenta | inżynier | ||
| Obszary studiów | nauki techniczne, studia inżynierskie | ||
| Profil | ogólnoakademicki | ||
| Moduł | — | ||
| Przedmiot | Matematyka dyskretna | ||
| Specjalność | przedmiot wspólny | ||
| Jednostka prowadząca | Katedra Metod Sztucznej Inteligencji i Matematyki Stosowanej | ||
| Nauczyciel odpowiedzialny | Andrzej Banachowicz <Andrzej.Banachowicz@zut.edu.pl> | ||
| Inni nauczyciele | Andrzej Banachowicz <Andrzej.Banachowicz@zut.edu.pl>, Larisa Dobryakova <Larisa.Dobryakova@zut.edu.pl>, Leszek Drobiazgiewicz <Leszek.Drobiazgiewicz@zut.edu.pl> | ||
| ECTS (planowane) | 6,0 | ECTS (formy) | 6,0 |
| Forma zaliczenia | egzamin | Język | polski |
| Blok obieralny | — | Grupa obieralna | — |
Formy dydaktyczne
Wymagania wstępne
| KOD | Wymaganie wstępne |
|---|---|
| W-1 | Opanowanie wiedzy z zakresu matematyki szkoły średniej oraz algebry i analizy matematycznej. |
Cele przedmiotu
| KOD | Cel modułu/przedmiotu |
|---|---|
| C-1 | Zapoznanie studenów z podstawowymi pojęciami logiki matematycznej i teorii mnogości. |
| C-2 | Nabycie umiejętności stosowania aparatu pojęciowego matematycznych struktur skończonych i przeliczalnych w modelowaniu zagadnień informatycznych. |
Treści programowe z podziałem na formy zajęć
| KOD | Treść programowa | Godziny |
|---|---|---|
| ćwiczenia audytoryjne | ||
| T-A-1 | Przykłady zastosowań matematyki dyskretnej w informatyce. Pojęcia logiczne, formułowanie zdań, wartość logiczna zdań. Przykłady zbiorów, ich liczność, działania na zbiorach. | 2 |
| T-A-2 | Teoria mnogości: sposoby określania zbiorów, działania na zbiorach, zbiory uporządkowane, funkcje zdaniowe, iloczyn kartezjański, relacje, funkcje, moc zbioru. | 4 |
| T-A-3 | Logika: zdania, operatory, rachunek zdań, definiowanie, indukcja matematyczna, rachunek predykatów, reguły wnioskowania, dowodzenie twierdzeń. | 4 |
| T-A-4 | Kombinatoryka: zliczanie, rozmieszczenia, zasada włączania - wyłączania, konfiguracje kombinatoryczne. | 4 |
| T-A-5 | Rekurencje: ciągi, równania rekurencyjne, funkcje tworzące, algorytmy rekurencyjne. | 4 |
| T-A-6 | Teoria liczb: elementy algebry, struktury algebraiczne, podzielność, lizcby pierwsze, faktoryzacja, kongruencje, klasy reszt, arytmetyka modularna, zastosowania teorii liczb w kryptografii, algorytmy kwantowe. | 6 |
| T-A-7 | Grafy: grafy (nieskierowane), grafy skierowane, drzewa, kolorowanie grafów, algorytm Dijkstry. | 4 |
| T-A-8 | Gramatyki formalne. Teoria automatów. | 2 |
| 30 | ||
| wykłady | ||
| T-W-1 | Pojęcia wstępne: zakres tematyczny matematyki dyskretnej, definicja, dowód, oznaczenia, systemy logiczne, teorie aksjomatyczne, przykłady zastosowań matematyki dyskretnej w informatyce. | 2 |
| T-W-2 | Teoria mnogości: pojęcie zbioru, działania na zbiorach, zbiory uporządkowane, funkcje zdaniowe, iloczyn kartezjański, relacje, funkcje, moc zbioru. | 4 |
| T-W-3 | Logika: zdania, operatory, rachunek zdań, definiowanie, indukcja matematyczna, rachunek predykatów, reguły wnioskowania, dowodzenie twierdzeń. | 4 |
| T-W-4 | Kombinatoryka: zliczanie, rozmieszczenia, zasada włączania - wyłączania, konfiguracje kombinatoryczne. | 4 |
| T-W-5 | Rekurencje: ciągi, równania rekurencyjne, funkcje tworzące, algorytmy rekurencyjne. | 4 |
| T-W-6 | Teoria liczb: elementy algebry, struktury algebraiczne, podzielność, liczby pierwsze, faktoryzacja, kongruencje, klasy reszt, arytmetyka modularna, zastosowania teorii liczb w kryptografii, algorytmy kwantowe. | 6 |
| T-W-7 | Grafy: grafy (nieskierowane), grafy skierowane, drzewa, kolorowanie grafów, algorytm Dijkstry. | 4 |
| T-W-8 | Gramatyki formalne. Teoria automatów | 2 |
| 30 | ||
Obciążenie pracą studenta - formy aktywności
| KOD | Forma aktywności | Godziny |
|---|---|---|
| ćwiczenia audytoryjne | ||
| A-A-1 | uczestnictwo w zajęciach | 30 |
| A-A-2 | Przygotowanie do zajęć audytoryjnych - praca własna studenta. | 30 |
| A-A-3 | Pisanie sprawozdań z ćwiczeń - praca własna studenta. | 15 |
| A-A-4 | Przygotowanie do kolokwium - praca własna studenta. | 14 |
| A-A-5 | Udział w zaliczeniu formy zajęć i konsultacje | 2 |
| 91 | ||
| wykłady | ||
| A-W-1 | uczestnictwo w zajęciach | 30 |
| A-W-2 | Studiowanie wskazanej literatury - praca własna studenta. | 30 |
| A-W-3 | Konsultacje do wykładu. | 3 |
| A-W-4 | Rozwiązywanie postawionych problemów - praca własna studenta. | 10 |
| A-W-5 | Przygotowanie się do egzaminu - praca własna studenta. | 15 |
| A-W-6 | Egzamin. | 2 |
| 90 | ||
Metody nauczania / narzędzia dydaktyczne
| KOD | Metoda nauczania / narzędzie dydaktyczne |
|---|---|
| M-1 | Wykład: informacyjny, problemowy, konwersatoryjny. |
| M-2 | Ćwiczenia audytoryjne: metoda przypadków, ćwiczenia przedmiotowe, metody programowane z użyciem komputera. |
Sposoby oceny
| KOD | Sposób oceny |
|---|---|
| S-1 | Ocena formująca: Wykład: na podstawie rozwiązywania problemów i dyskusji. Ćwiczenia audytoryjne: na podstawie indywidualnego rozwiązywania zadań i problemów; |
| S-2 | Ocena podsumowująca: Wykład: egzamin pisemny (zestaw zadań i problemów). Ćwiczenia audytoryjne: kolokwium (zestaw zadań i problemów). |
Zamierzone efekty kształcenia - wiedza
| Zamierzone efekty kształcenia | Odniesienie do efektów kształcenia dla kierunku studiów | Odniesienie do efektów zdefiniowanych dla obszaru kształcenia | Odniesienie do efektów kształcenia prowadzących do uzyskania tytułu zawodowego inżyniera | Cel przedmiotu | Treści programowe | Metody nauczania | Sposób oceny |
|---|---|---|---|---|---|---|---|
| I_1A_B/02_W01 Sudent powinien poprawnie logicznie formułować zdania, ze szczególnym uwzględnieniem algorytmizacji zadań i procesów. | I_1A_W01 | — | — | C-1, C-2 | T-A-4, T-A-3, T-A-5, T-A-6, T-A-7, T-A-8, T-A-1, T-A-2, T-W-1, T-W-2, T-W-3, T-W-4, T-W-5, T-W-7, T-W-8, T-W-6 | M-1, M-2 | S-1, S-2 |
Zamierzone efekty kształcenia - umiejętności
| Zamierzone efekty kształcenia | Odniesienie do efektów kształcenia dla kierunku studiów | Odniesienie do efektów zdefiniowanych dla obszaru kształcenia | Odniesienie do efektów kształcenia prowadzących do uzyskania tytułu zawodowego inżyniera | Cel przedmiotu | Treści programowe | Metody nauczania | Sposób oceny |
|---|---|---|---|---|---|---|---|
| I_1A_B/02_U01 Student powinien umieć dobrać odpowiedni dyskretny model do rozwiązywanych zagadnień informatycznych. | I_1A_U15 | — | — | C-1, C-2 | T-A-4, T-A-3, T-A-5, T-A-6, T-A-7, T-A-8, T-A-1, T-A-2, T-W-1, T-W-2, T-W-3, T-W-4, T-W-5, T-W-7, T-W-8, T-W-6 | M-1, M-2 | S-1, S-2 |
Zamierzone efekty kształcenia - inne kompetencje społeczne i personalne
| Zamierzone efekty kształcenia | Odniesienie do efektów kształcenia dla kierunku studiów | Odniesienie do efektów zdefiniowanych dla obszaru kształcenia | Odniesienie do efektów kształcenia prowadzących do uzyskania tytułu zawodowego inżyniera | Cel przedmiotu | Treści programowe | Metody nauczania | Sposób oceny |
|---|---|---|---|---|---|---|---|
| I_1A_B/02_K01 Sudent poszerza i pogłębia swoją wiedzę z zakresu matematycznych struktur dyskretnych. Przygotowuje publikacje w postaci opracowań, referatów, pokazów i artykułów. | I_1A_K01 | — | — | C-1, C-2 | T-A-4, T-A-3, T-A-5, T-A-6, T-A-7, T-A-8, T-A-1, T-A-2, T-W-1, T-W-2, T-W-3, T-W-4, T-W-5, T-W-7, T-W-8, T-W-6 | M-1, M-2 | S-1, S-2 |
Kryterium oceny - wiedza
| Efekt kształcenia | Ocena | Kryterium oceny |
|---|---|---|
| I_1A_B/02_W01 Sudent powinien poprawnie logicznie formułować zdania, ze szczególnym uwzględnieniem algorytmizacji zadań i procesów. | 2,0 | Student nie zna podstawowych pojęć teorii mnogości, logiki matematycznej, kombinatoryki, algebry, teorii liczb i teorii grafów. |
| 3,0 | Student zna podstawowe pojęcia teorii mnogości, logiki matematycznej, kombinatoryki, algebry, teorii liczb i teorii grafów. | |
| 3,5 | Student zna podstawowe pojęcia teorii mnogości oraz działania na zbiorach przeliczalnych, podstawowe prawa logiki matematycznej, kombinatoryki, algebry, teorii liczb i teorii grafów. | |
| 4,0 | Student zna pojęcia teorii mnogości oraz działania na zbiorach przeliczalnych, podstawowe prawa logiki matematycznej, analizę kombinatoryczną, struktury algebraiczne, systemy liczbowe i teorię grafów. | |
| 4,5 | Student zna pojęcia teorii mnogości, działania na zbiorach przeliczalnych, podstawowe prawa logiki matematycznej i ich zastosowania w informatyce, analizę kombinatoryczną, struktury algebraiczne, systemy liczbowe i ich zastosowania w algebrze komputerów, teorię grafów i jej wykorzystanie w analizach. | |
| 5,0 | Student zna pojęcia teorii mnogości, działania na zbiorach przeliczalnych, podstawowe prawa logiki matematycznej i ich zastosowania w informatyce, systemy aksjomatyczne, analizę kombinatoryczną, struktury algebraiczne, systemy liczbowe i ich zastosowania w algebrze komputerów oraz kryptografii, teorię grafów i jej wykorzystanie w analizach. |
Kryterium oceny - umiejętności
| Efekt kształcenia | Ocena | Kryterium oceny |
|---|---|---|
| I_1A_B/02_U01 Student powinien umieć dobrać odpowiedni dyskretny model do rozwiązywanych zagadnień informatycznych. | 2,0 | Student nie potrafi stosować podstawowych zagadnień logiki, teorii mnogości, algebry i teorii grafów. |
| 3,0 | Student potrafi budować proste modele informatyczne rozpatrywanych zagadnień z wykorzystaniem struktur teoriomnogościowych, praw logiki matematycznej, kombinatoryki, struktur algebraicznych i prostych grafów. | |
| 3,5 | Student potrafi budować złożone modele informatyczne rozpatrywanych zagadnień z wykorzystaniem struktur teoriomnogościowych, praw logiki matematycznej, kombinatoryki, struktur algebraicznych, teorii liczb i prostych grafów. | |
| 4,0 | Student potrafi budować bardziej złożone modele informatyczne rozpatrywanych zagadnień z wykorzystaniem struktur teoriomnogościowych, praw logiki matematycznej, kombinatoryki, struktur algebraicznych i prostych grafów. | |
| 4,5 | Student potrafi w sposób kreatywny dobrać adekwatny dyskretny model matematyczny rozpatrywanego zagadnienia, posługując się nabytą wiedzą. | |
| 5,0 | Student potrafi w sposób kreatywny dobrać adekwatny dyskretny model matematyczny rozpatrywanego zagadnienia oraz dokonać jego analizy i weryfikacji, posługując się nabytą wiedzą. Potrafi dowodzić twierdzenia oraz poprawność wnioskowania. |
Kryterium oceny - inne kompetencje społeczne i personalne
| Efekt kształcenia | Ocena | Kryterium oceny |
|---|---|---|
| I_1A_B/02_K01 Sudent poszerza i pogłębia swoją wiedzę z zakresu matematycznych struktur dyskretnych. Przygotowuje publikacje w postaci opracowań, referatów, pokazów i artykułów. | 2,0 | Student nie potrafi wyszukać literatury tematycznej, nie potrafi jej przeanalizować, nie potrafi przygotować referatu, ani prezentacji. |
| 3,0 | Student wyszukuje podstawową literaturę przedmiotu, orientuje się w zagadnieniach matematyki dyskretnej, potrafi opracować krótki referat dotyczący podstawowych zagadnień oraz zaprezntować go. | |
| 3,5 | Student zna podstawową literaturę przedmiotu, orientuje się w zagadnieniach matematyki dyskretnej, potrafi opracować referat dotyczący podstawowych zagadnień oraz zaprezntować go. | |
| 4,0 | Student zna podstawową literaturę przedmiotu, orientuje się w zagadnieniach matematyki dyskretnej, potrafi opracować referat dotyczący podstawowych zagadnień oraz zaprezntować go. | |
| 4,5 | Student orientuje się w najnowszej, podstawowej literaturze z zakresu matematyki dyskretnej, wyszukuje również literaturę dotyczącą zastosowań w informatyce. Przygotowuje i prezentuje referaty z zakresu zastosowań matematyki dykretnej w informatyce. | |
| 5,0 | Student orientuje się w najnowszej, podstawowej literaturze z zakresu matematyki dyskretnej, zna również literaturę dotyczącą zastosowań w informatyce. Przygotowuje i prezentuje referaty z zakresu zastosowań matematyki dykretnej w informatyce. |
Literatura podstawowa
- Ben-Ari M., Logika matematyczna w informatyce., Wydawnictwo Nukowo-Techniczne., Warszawa, 2005
- Dobryakova L., Matematyka dyskretna, Lulu Publishing, Raleigh North Company, USA, 2012
- Guzicki W., Zakrzewski P., Wykłady ze wstępu do matematyki., Wydawnictwo Naukowe PWN., Warszawa, 2007
- Kacprzak M., mirkowska G., Rembalski P., Sawicka A., Elementy matematyki dyskretnej. Zbiór zadań., Wydawnictwo PJWSTK., Warszawa, 2008
- Lipski W., Kombinatoryka dla pogramistów., Wydawnictwo Naukowo-Techniczne., Warszawa, 2004
- Ławrow I.A., Łarisa L., Maksimowa Ł.L., Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów., Wydawnictwo Naukowe PWN., Warszawa, 2004
- Mirkowska G., Elementy matematyki dyskretnej., Wydawnictwo PJWSTK., Warszawa, 2003
- Ross K.R., Wright C.R.B., Matematyka dyskretna., Wydawnictwo Naukowe PWN., Warszawa, 2005
- Szepietowski A., Matematyka dyskretna., Wydawnictwo Uniwersytetu Gdańskiego., Gdańsk, 2004
- Lipski W., Wiktor M., Analiza kombinatoryczna., Państwowe Wydawnictwo Naukowe., Warszawa, 1986
- Yan S.Y., Teoria liczb w informatyce, Wydawnictwo Naukowe PWN, 2006
Literatura dodatkowa
- Bronsztejn I.N., Siemiendiajew K.A., Musiol G., Muhling H., Nowoczesne kompendium matematyki., Wydawnictwo Naukowe PWN, Warszawa, 2004
- Bryant V., Aspekty kombinatoryki., Wydawnictwo Naukowo-Tehniczne., Warszawa, 1997
- Graham R.L., Knuth D.E., Patashnik O., Matematyka konkretna., Wydawnictwo Naukowe PWN., Warszawa, 1996
- Grell B., Wstęp do matematyki., Wydawnictwo Uniwersytetu Jagiellońskiego., Kraków, 2006
- Grzegorczyk A., Logika popularna., Wydawnictwo Naukowe PWN., Warszawa, 2010
- Marek W., Onyszkiewicz J., Elementy logiki i teorii mnogości e zadaniach., Wydawnictwo Naukowe PWN, 2004
- Wilson R.J., Wprowadzenie do teorii grafów, Wydawnictwo Naukowe PWN, Warszawa, 2000