Kierunek: Informatyka | Tryb: Stacjonarne |
Nazwa modulu: Matematyka dyskretna |
Warunki wstępne:Znajomość matematyki z zakresu teorii funkcji rzeczywistych (pojęcie funkcji, ciągu i szeregu liczbowego, zbieżności, granicy funkcji, rachunku różniczkowego i całkowego)oraz podstaw algebry liniowej (pojęcie macierzy, jej wyznacznika, działań na macierzach). Zaliczenie modułu Matematyka. |
Cele kształcenia:Zapoznanie z wybranymi pojęciami i metodami matematyki dyskretnej.; Pokazanie możliwości i sposobów zastosowań tych metod w obszarze informatyki na przykładach: teorii algorytmów i struktur danych, teorii informacji, relacyjnych baz danych, sieci komputerowych.; |
Efekty ksztalcenia: | Kod efektu kierunkowego: K1I_U08;K1I_W01; |
EK1: Student ma podstawową wiedzę w zakresie metod ilościowych i opisowych stosowanych w matematyce dyskretnej, niezbędną do rozwiązywania problemów o charakterze informatycznym. |
EK2: Dla wybranych zagadnień z dziedziny informatyki stosując pojęcia i narzędzia matematyki dyskretnej (relacje, rekurencje, graf, algebrę Boole'a, metody ilościowe) potrafi: identyfikować, interpretować i definiować problemy, znaleźć ich rozwiązanie i wskazać ewentualne zastosowanie. |
Forma i tresci ksztalcenia |
Wykład - Wprowadzenie do logiki matematycznej;Elementy teorii mnogości i jej zastosowania w matematyce dyskretnej;Wprowadzenie do teorii relacji i zastosowań w informatyce;Przegląd wybranych metod ilościowych-metody zliczania, rekurencje;Elementy teorii grafów i drzew i zastosowania w informatyce;Wprowadzenie do teorii algebr Boole'a i ich zasosowań w informatyce; |
Ćwiczenia - Wprowadzenie do logiki matematycznej;Elementy teorii mnogości i jej zastosowania w matematyce dyskretnej;Wprowadzenie do teorii relacji i zastosowań w informatyce;Kolokwium zaliczeniowe;Przegląd wybranych metod ilościowych-metody zliczania, rekurencja;Elementy teorii grafów i drzew i zastosowania w informatyce;Wprowadzenie do teorii algebr Boole'a i ich zasosowań w informatyce;Kolokwium zaliczeniowe; |
Metody ksztalcenia: Wykład ; Ćwiczenia; |
Metody sprawdzania osiągnięcia efektów kształcenia
- ocena podsumowująca: Kolokwium zaliczeniowe; Egzamin pisemny; |
Liczba punktow ECTS: 5 |
Nakład pracy studenta (godz.) : 150 |
Forma zajęc | Liczba godzin według planu studiów |
Wykład | 30 |
Ćwiczenia | 30 |
Autor programu dla modułu kształcenia: dr inż. Ryszard Rębowski |
Język modulu: polski |