Matematyka dyskretna WM-I-Z-S1-E2-MDY

Celem zajęć jest zapoznanie studentów z podstawowymi zagadnieniami matematyki dyskretnej.

Dyscyplina naukowa, do której odnoszą się efekty uczenia się

informatyka techniczna i telekomunikacja

E-Learning

E-Learning (pełny kurs)

Grupa przedmiotów ogólnouczenianych

nie dotyczy

Opis nakładu pracy studenta w ECTS

wykład: uczestnictwo w zajęciach : 20 godz rozwiązywanie testów: 5 godz. przygotowanie do zajęć: 5 godz. przygotowanie do weryfikacji: 20 godz. konsultacje z prowadzącym: 2 godz. razem 50 godzin, co odpowiada 2 ECTS ćwiczenia: uczestnictwo w zajęciach : 20 godz rozwiązywanie zadań domowych: 15 godz. przygotowanie do zajęć: 8 godz. przygotowanie do weryfikacji: 30 godz. konsultacje z prowadzącym: 2 godz. razem 75 godzin, co odpowiada 3 ECTS

Poziom przedmiotu

podstawowy

Symbol/Symbole kierunkowe efektów uczenia się

Wykład: I1_W01, I1_W07 Ćwiczenia: I1_U02, I1_U16, I1_K02

Typ przedmiotu

obowiązkowy

Wymagania wstępne

Elementy logiki i teorii mnogości

Koordynatorzy przedmiotu

Tomasz Kulpa

Efekty kształcenia

WYKŁAD
Student zna i rozumie:
- sposób działania pętli dopóki oraz definicję niezmiennika pętli (MA1_W06)
- pojęcie dowodu indukcyjnego oraz zależności rekurencyjnej, podstawowe przykłady zależności rekurencyjnych (MA1_W04)
- notację asymptotyczną w odniesieniu do ciągów oraz zastosowanie notacji "O duże" w odniesieniu do złożoności obliczeniowej algorytmów (MA1_W04, MA1_W06)
- pojęcie permutacji, wariacji i kombinacji (z powtórzeniami i bez) oraz inne techniki kombinatoryczne, w tym pojęcie dowodu kombinatorycznego (MA1_W03, MA1_W04)
- definicję grafu skierowanego i nieskierowanego oraz ich podstawowe własności (I1_W04)
- definicję i własności grafu planarnego i zagadnienia związane z kolorowaniem wierzchołków (I1_W04, MA1_W06)

ĆWICZENIA:
Student potrafi (MA1_U29)
- przedstawić w sposób zrozumiały rozumowanie matematyczne, formułować definicje i twierdzenia
- ocenić, czy dane zdanie logiczne jest niezmiennikiem pętli
- przeprowadzać proste i średnio trudne dowody indukcyjne
- przedstawić przykłady relacji rekurencyjnych
- ustalać jawny wzór ciągu na podstawie danej zależności rekurencyjnej i rozwiązywać rekurencje liniowe stopnia k
- modelować i rozwiązywać problemy dyskretne z wykorzystaniem metod kombinatorycznych oraz przeprowadzać dowody kombinatoryczne
- ocenić podstawowe własności grafów i drzew

Kryteria oceniania

Dla wszystkich efektów przyjmuje się następujące kryteria oceny we wszystkich formach weryfikacji:
ocena 5: osiągnięty w pełni (bez uchwytnych niedociągnięć)
ocena 4,5: osiągnięty niemal w pełni i nie są spełnione kryteria przyznania wyższej oceny
ocena 4: osiągnięty w znacznym stopniu i nie są spełnione kryteria przyznania wyższej oceny
ocena 3,5: osiągnięty w znacznym stopniu – z wyraźną przewagą pozytywów – i nie są spełnione kryteria
przyznania wyższej oceny
ocena 3: osiągnięty dla większości przypadków objętych weryfikacją i nie są spełnione kryteria przyznania
wyższej oceny
ocena 2: nie został osiągnięty dla większości przypadków objętych weryfikacją

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu WM-I-Z-S1-E2-MDY w USOSweb