Podstawy logiki i teorii mnogości
Informacje ogólne
Kod przedmiotu: | 420-IS1-1PLTM |
Kod Erasmus / ISCED: |
11.101
|
Nazwa przedmiotu: | Podstawy logiki i teorii mnogości |
Jednostka: | Instytut Informatyki |
Grupy: | |
Punkty ECTS i inne: |
6.00 (zmienne w czasie)
|
Język prowadzenia: | polski |
Rodzaj przedmiotu: | obowiązkowe |
Tryb prowadzenia przedmiotu: | w sali |
Skrócony opis: |
Założenia i cele przedmiotu: Nauczyć posługiwania się prawami logiki w celu poprawnego wyrażania myśli i prowadzenia poprawnych rozumowań. Nauczyć podstawowych pojęć i metod niezbędnych do zrozumienia bardziej zaawansowanych teorii matematycznych. Nauczyć formalnego konstruowania i modelowania obiektów matematycznych na bazie teorii mnogości. |
Pełny opis: |
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 |
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. |
Efekty uczenia się: |
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 |
Metody i kryteria oceniania: |
Ogólna forma zaliczenia:egzamin. Dopuszczalna liczba nieusprawiedliwionych nieobecności na zajęciach ćwiczeniowych to 20% zajęć. |
Zajęcia w cyklu "Rok akademicki 2022/23" (zakończony)
Okres: | 2022-10-01 - 2023-06-30 |
Przejdź do planu
PN CW
CW
CW
CW
WYK
WT CW
ŚR CW
CZ PT |
Typ zajęć: |
Ćwiczenia, 30 godzin
Wykład, 30 godzin
|
|
Koordynatorzy: | Adam Grabowski | |
Prowadzący grup: | Adam Grabowski, Barbara Łupińska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzamin
Ćwiczenia - Zaliczenie na ocenę |
Właścicielem praw autorskich jest Uniwersytet w Białymstoku.