Matematyka dyskretna 420-IS1-1MDY
Profil studiów: ogólnoakademicki
Forma studiów: stacjonarne
Rodzaj przedmiotu: obowiązkowy
Dziedzina i dyscyplina nauki: nauki ścisłe i przyrodnicze, matematyka/informatyka
Rok studiów / semestr: 1 / 2
Wymagania wstępne (tzw. sekwencyjny system zajęć i egzaminów): Przedmioty wprowadzające: Podstawy logiki i teorii mnogości, Algebra liniowa z geometrią analityczną, Analiza matematyczna 1,
Wykład: 30 Ćwiczenia: 30
Metody dydaktyczne:
Punkty ECTS: 5
Bilans nakładu pracy studenta:
Udział w zajęciach:
- wykład 30h
- ćwiczenia 30h
Przygotowanie do zajęć:
- wykład 5h
- ćwiczenia 20h
Zapoznanie z literaturą: 10h
Przygotowanie do kolokwium: 20h
Przygotowanie do egzaminu: 20h
Czas trwania kolokwium: 2h
Czas trwania egzaminu: 2h
Łączna liczba godzin egzaminów oraz zaliczeń i kolokwiów: 4h
Udział w konsultacjach: 2h
Wskaźniki ilościowe:
- nakład pracy studenta związany z zajęciami wymagającymi bezpośredniego udziału nauczyciela: 66h, 2 ECTS
- nakład pracy studenta, który nie wymaga bezpośredniego udziału nauczyciela: 75h, 3 ECTS
Rodzaj przedmiotu
Tryb prowadzenia przedmiotu
Wymagania (lista przedmiotów)
Założenia (lista przedmiotów)
Koordynatorzy przedmiotu
Efekty kształcenia
Efekty kształcenia w ramach realizacji przedmiotu:
Student dysponuje podstawową wiedzą w zakresie logiki i matematyki dyskretnej, algebry i analizy matematycznej. KA6_WG1
Student zna aparat matematyczny niezbędny do konstruowania i analizy algorytmów. KA6_WG3
Student potrafi stosować metody analizy matematycznej do rozwiązywania problemów: pojęcia i własności funkcji, ciągów i szeregów, granice i ciągłość funkcji jednej zmiennych. KA6_UW2
Student umie wykorzystać aparat logiki matematycznej do opisu i weryfikacji faktów, potrafi stosować rozumowanie indukcyjne i rozumowanie dedukcyjne. KP6_UW4
Student umie samodzielnie zaprojektować algorytmy realizujące wybrane zadania, potrafi przeprowadzić analizę złożoności danego algorytmu. KP6_UW6
Student rozumie potrzebę podnoszenia swoich umiejętności i kwalifikacji, monitoruje rozwój technologii i narzędzi informatycznych. KP6_UU1
Kryteria oceniania
Ogólna forma zaliczenia:egzamin (pisemny lub ustny)
Literatura
Literatura podstawowa:
1. K.A.Ross, Ch.R.B.Wright, Matematyka dyskretna, PWN, Warszawa 2003
2. Z.Palka, A.Ruciński, Wykłady z kombinatoryki, WNT, Warszawa 1998
3. R.J.Wilson, Wprowadzenie do teorii grafów, PWN, Warszawa 1985
Literatura uzupełniająca:
1. W.Lipski, Kombinatoryka dla programistów, WNT, Warszawa 2004
2. R.L.Graham, D.E.Knuth, O.Patashnik, Matematyka konkretna, PWN, Warszawa 1996
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: