Teoria mnogości, ćwiczenia - Katedra Logiki, Informatyki i Filozofii
Transkrypt
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: