Nazwa przedmiotu:
Elementy logiki i teorii mnogości
Koordynator przedmiotu:
Dr hab. inż. Agata Pilitowska
Status przedmiotu:
Obowiązkowy
Poziom kształcenia:
Studia I stopnia
Program:
Matematyka
Grupa przedmiotów:
Wspólne
Kod przedmiotu:
1120-MA000-LSP-0114
Semestr nominalny:
1 / rok ak. 2020/2021
Liczba punktów ECTS:
6
Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
1. godziny kontaktowe – 70 h; w tym a) obecność na wykładach – 30 h b) obecność na ćwiczeniach – 30 h c) obecność na egzaminie – 5 h d) konsultacje – 5 h 2. praca własna studenta – 80 h; w tym a) przygotowanie do ćwiczeń i do kolokwiów – 45 h b) zapoznanie się z literaturą – 10 h c) przygotowanie do egzaminu – 25 h Razem 150 h, co odpowiada 6 pkt. ECTS
Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
1. obecność na wykładach – 30 h 2. obecność na ćwiczeniach – 30 h 3. obecność na egzaminie – 5 h 4. konsultacje – 5 h Razem 70 h, co odpowiada 3 pkt. ECTS
Język prowadzenia zajęć:
polski
Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym:
.
Formy zajęć i ich wymiar w semestrze:
  • Wykład30h
  • Ćwiczenia30h
  • Laboratorium0h
  • Projekt0h
  • Lekcje komputerowe0h
Wymagania wstępne:
brak
Limit liczby studentów:
Bez limitu
Cel przedmiotu:
Celem przedmiotu jest zapoznanie z podstawowymi pojęciami z logiki (na poziomie rachunku zdań i kwantyfikatorów) i teorii mnogości (na poziomie rachunku zbiorów, relacji i funkcji).
Treści kształcenia:
1. Wprowadzenie do logiki, rachunek zdań i predykatów. 2. Rachunek zbiorów. Indeksowane rodziny zbiorów. Suma i przecięcie rodziny zbiorów. 3. Relacje. W szczególności relacje równoważności, klasy abstrakcji, relacje porządku, diagramy Haasego, kresy, Lemat Kuratowskiego-Zorna i jego zastosowania. 4. Funkcje jako relacje, obraz, przeciwobraz. 5. Konstrukcja liczb naturalnych, całkowitych, wymiernych. 6. Równoliczność zbiorów, zbiory przeliczalne i ich własności, Twierdzenie Cantora.
Metody oceny:
Ćwiczenia 40pkt w tym 2 kolokwia po 15 pkt, 5 pkt kartkówki, 5 pkt aktywność na zajęciach. Egzamin pisemny 60 pkt, w tym 40 pkt zadania + 20 pkt teoria. Z części zadaniowej można być zwolnionym jeśli z ćwiczeń zdobędzie się co najmniej 32 pkt. Wtedy za wynik z egzaminu z zadań uznaje się wynik z ćwiczeń. Do zaliczenia przedmiotu liczy się jedynie suma punktów z ćwiczeń i egzaminu: od 51pkt – 3,0 od 61pkt – 3,5 od 71pkt – 4,0 od 81pkt – 4,5 od 91pkt – 5,0
Egzamin:
tak
Literatura:
1. W. Marek, J. Onyszkiewicz – Elementy logiki i teorii mnogości w zadaniach. 2. W. Guzicki, P. Zakrzewski – Wykłady ze wstępu do matematyki. 3. W. Guzicki, P. Zakrzewski – Wstęp do matematyki. Zbiór zadań. 4. K. Kuratowski – Wstęp do teorii mnogości i topologii. 5. J. Kraszewski – Wstęp do matematyki. 6. H. Rasiowa – Wstęp do matematyki współczesnej.
Witryna www przedmiotu:
e.mini.pw.edu.pl
Uwagi:

Efekty uczenia się

Profil ogólnoakademicki - wiedza

Charakterystyka ELM_W01
Zna podstawowe definicje oraz tautologie rachunku zdań, rachunku predykatów, rachunku zbiorów.
Weryfikacja: Egzamin, kolokwia, kartkówki
Powiązane charakterystyki kierunkowe: M1_W14
Powiązane charakterystyki obszarowe:
Charakterystyka ELM_W02
Zna podstawowe własności relacji w szczególności relacji równoważności, porządku, funkcji. Zna konstrukcje liczb naturalnych, całkowitych, wymiernych.
Weryfikacja: Egzamin, kolokwia, kartkówki
Powiązane charakterystyki kierunkowe: M1_W14
Powiązane charakterystyki obszarowe:
Charakterystyka ELM_W03
Zna pojęcie równoliczności, przeliczalności, podstawowe własności zbiorów równolicznych, zbiorów przeliczalnych.
Weryfikacja: Egzamin, kolokwia, kartkówki
Powiązane charakterystyki kierunkowe: M1_W14
Powiązane charakterystyki obszarowe:

Profil ogólnoakademicki - umiejętności

Charakterystyka ELM_U01
Rozumie pojęcie i znaczenie dowodu. Umie dowodzić prawdziwości tautologii, równości zbiorów, podstawowych własności relacji.
Weryfikacja: Egzamin, kolokwia, kartkówki
Powiązane charakterystyki kierunkowe: M1_U11
Powiązane charakterystyki obszarowe:
Charakterystyka ELM_U02
Umie posługiwać się formalizmem matematycznym.
Weryfikacja: Egzamin, kolokwia, kartkówki
Powiązane charakterystyki kierunkowe: M1_U11
Powiązane charakterystyki obszarowe:
Charakterystyka ELM_U03
Umie wyznaczać przecięcia i sumy rodzin zbiorów, obrazy i przeciwobrazy funkcji, klasy abstrakcji, kresy, moce zbiorów oraz rysować diagramy Hassego.
Weryfikacja: Egzamin, kolokwia, kartkówki
Powiązane charakterystyki kierunkowe: M1_U01, M1_U11, M1_U12
Powiązane charakterystyki obszarowe:

Profil ogólnoakademicki - kompetencje społeczne

Charakterystyka ELM_K01
Rozumie potrzebę uczenia się przez całe życie.
Weryfikacja: Egzamin, kolokwia, kartkówki
Powiązane charakterystyki kierunkowe: M1_K01
Powiązane charakterystyki obszarowe: