Teoria mnogości, ćwiczenia - Katedra Logiki, Informatyki i Filozofii

Przedmiot Teoria mnogości
Rok akademicki
Semestr III
Katedra Logiki, Informatyki i Filozofii Nauki
Nazwa jednostki
Osoby prowadzące Mariusz Giero
Filozofia
Kierunek studiów
Stopień studiów I
Stacjonarne
2
Tryb studiów
Kod przedmiotu TM ECTS
Ćwiczenia
15
Forma zajęć
Liczba godzin
Status Obowiązkowe
Prerekwizyty:
Kod:
1 Ćwiczenia z logiki formalnej 1, 2.
LF1,LF2
Treści kształcenia
l. godz.
1 Wykonywanie działań na zbiorach.
2
2 Dowodzenie własności zbiorów.
2
3 Wyznaczanie elementów relacji. Sprawdzanie własności relacji.
2
4 Dowodzenie własności relacji.
3
5 Sprawdzanie czy relacja jest relacją równoważności. Wyznaczanie klas abstrakcji.
2
6 Sprawdzanie czy relacja jest relacją porządku.
2
7 Wyznaczanie elementów największych, najmniejszych, maksymalnych i minimalnych.
2
Efekty kształcenia:
Student nabędzie umiejętność wykonywania działań na zbiorach. Nabierze sprawności w
przeprowadzaniu dowodów formalnych. Nauczy się stosować terminologię z zakresu zbiorów i relacji w
praktyce.
Forma zaliczenia:
Zaliczenie na podstawie obecności. Ocena na podstawie pisemnego kolokwium.
Literatura obowiązkowa:
1. Stanosz B., Ćwiczenia z logiki, PWN, 2007.
2. Onyszkiewicz J., Wiktor M., Logika i teoria mnogości w zadaniach, PWN, Warszawa, 2000.
Literatura uzupełniająca:
1. Ławrow I. A., Maksimowa Ł. L., Zadania z teorii mnogości, logiki matematycznej i teorii
algorytmów, PWN, Warszawa, 2004.
2. Andrzejczak K. J., http://www.ml.put.poznan.pl/documents/inne/logika/
Podpis osób prowadzących:
Podpis kierownika jednostki: