Podstawy logiki i teorii mnogości 420-IS1-1PLTM
Profil studiów: ogólnoakademicki
Forma studiów: stacjonarne
Rodzaj przedmiotu: obowiązkowy
Dziedzina i dyscyplina nauki: nauki ścisłe i przyrodnicze, informatyka
Rok studiów / semestr: 1 / 1
Wymagania wstępne (tzw. sekwencyjny system zajęć i egzaminów): brak
Wykład: 30 Ćwiczenia: 30
Metody dydaktyczne: wykład, ćwiczenia z dużą ilością zadań do rozwiązania oraz min. trzema sprawdzianami (w tym dwoma kolokwiami)
Punkty ECTS: 6
Bilans nakładu pracy studenta:
Udział w zajęciach:
- wykład 30h
- ćwiczenia 30h
Przygotowanie do zajęć:
- wykład 4h
- ćwiczenia 20h
Zapoznanie z literaturą: 7h
Sprawozdania, raporty z zajęć, prace domowe: 4h
Przygotowanie do kolokwium: 20h
Przygotowanie do egzaminu: 20h
Czas trwania egzaminu: 2h
Czas trwania kolokwium: 4h
Łączna liczba godzin egzaminów oraz zaliczeń i kolokwiów: 6h
Udział w konsultacjach: 9h
Wskaźniki ilościowe:
- nakład pracy studenta związany z zajęciami wymagającymi bezpośredniego udziału nauczyciela: 75h, 3 ECTS
- nakład pracy studenta, który nie wymaga bezpośredniego udziału nauczyciela: 75h, 3 ECTS
Rodzaj przedmiotu
Tryb prowadzenia przedmiotu
Koordynatorzy przedmiotu
Efekty kształcenia
Efekty uczenia się w ramach realizacji przedmiotu:
Dysponuje podstawową wiedzą w zakresie logiki i matematyki dyskretnej, algebry i analizy matematycznej. KA6_WG1
Wykorzystuje aparat logiki matematycznej do opisu i weryfikacji faktów, potrafi stosować rozumowanie indukcyjne i rozumowanie dedukcyjne. KA6_UW4
Formułuje i interpretuje pojęcia informatyczne stosując konstrukcje matematyczne i metody obliczeniowe: KA6_UW5
Starannie określa priorytety i kolejność swoich działań. KA6_KK1
Rozumie potrzebę podnoszenia swoich umiejętności i kwalifikacji, monitoruje rozwój technologii i narzędzi informatycznych: KA6_UU1
Kryteria oceniania
Ogólna forma zaliczenia:egzamin. Dopuszczalna liczba nieusprawiedliwionych nieobecności na zajęciach ćwiczeniowych to 20% zajęć.
Literatura
Literatura podstawowa:
Rasiowa, H., Wstęp do matematyki współczesnej, Wydawnictwo Naukowe PWN, Warszawa 2009.
Marek, W. & Onyszkiewicz, J., Elementy logiki i teorii mnogości w zadaniach, Wydawnictwo Naukowe PWN, Warszawa 2011.
Literatura uzupełniająca:
Guzicki, W. & Zakrzewski, P., Wstęp do matematyki. Zbiór zadań, Wydawnictwo Naukowe PWN, Warszawa 2005.
Ławrow, I. A. & Maksimowa, Ł. L., Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów, Wydawnictwo Naukowe PWN, Warszawa 2004.
Tiuryn, J., Wstęp do logiki i teorii mnogości, Skrypt, Wydział Matematyki, Informatyki i Mechaniki UW, Warszawa 1998.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: