Uniwersytet w Białymstoku - Centralny System Uwierzytelniania
Strona główna

Podstawy logiki i teorii mnogości

Informacje ogólne

Kod przedmiotu: 420-IS1-1PLTM
Kod Erasmus / ISCED: 11.101 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (0541) Matematyka Kod ISCED - Międzynarodowa Standardowa Klasyfikacja Kształcenia (International Standard Classification of Education) została opracowana przez UNESCO.
Nazwa przedmiotu: Podstawy logiki i teorii mnogości
Jednostka: Instytut Informatyki
Grupy:
Punkty ECTS i inne: 6.00 (zmienne w czasie) Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.

zobacz reguły punktacji
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
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ę
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet w Białymstoku.
ul. Świerkowa 20B, 15-328 Białystok tel: +48 85 745 70 00 (Centrala) https://uwb.edu.pl kontakt deklaracja dostępności USOSweb 7.0.2.0-1 (2024-03-12)