KARTA MODUŁU KSZTAŁCENIA
Kierunek: InformatykaTryb: 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ęcLiczba godzin według planu studiów
Wykład30
Ćwiczenia30
Autor programu dla modułu kształcenia: dr inż. Ryszard Rębowski
Język modulu: polski