Uniwersytet Mikołaja Kopernika w Toruniu - Centralny punkt logowania
Strona główna

Elementy logiki i teorii mnogości [1000-I1LTM] Semestr zimowy 2021/22
Ćwiczenia, grupa nr 2

Przejdź do planu zaznaczono terminy wyświetlanej grupy
To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu
Przedmiot: Elementy logiki i teorii mnogości [1000-I1LTM]
Zajęcia: Semestr zimowy 2021/22 [2021/22Z] (zakończony)
Ćwiczenia [CW], grupa nr 2 [pozostałe grupy]
Termin i miejsce: Podana informacja o terminie jest orientacyjna. W celu uzyskania pewnej informacji obejrzyj kalendarz roku akademickiego lub skontaktuj się z wykładowcą (nieregularności zdarzają się przede wszystkim w przypadku zajęć odbywających się rzadziej niż co tydzień).
każdy poniedziałek, 14:00 - 16:00
sala S2
Wydział Matematyki i Informatyki jaki jest adres?
Terminy najbliższych spotkań: Daty odbywania się zajęć grupy. Prezentują informacje na podstawie zdefiniowanych w USOS terminów oraz spotkań.
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem.
Wszystkie zajęcia tej grupy już się odbyły - pokaż terminy wszystkich spotkań.
Data i miejsceProwadzący
Liczba osób w grupie: 25
Limit miejsc: 30
Zaliczenie: Zaliczenie na ocenę
Prowadzący: Adam Skowyrski
Zakres tematów:

Liczby naturalne. Indukcja i rekurencja.

Alfabet, słowo, język. Rekurencyjne definiowanie języków. Indukcja strukturalna.

Rachunek zdań a. Tautologie. Metody dowodzenia.

Kwantyfikatory.

Algebra zbiorów. Nieskończona suma i przekrój

Produkt kartezjański. Relacje dwuargumentowe, operacje na relacjach.

Relacje równoważności

Relacje częściowego porządku

Funkcje (definicja, obraz i przeciwobraz, podstawowe operacje na funkcjach, funkcja odwrotna). Klasyfikacja funkcji - epi, mono, iso.

Teoria mocy (równoliczność zbiorów, zbiory skończone i nieskończone, zbiory przeliczalne i nieprzeliczalne).

Metody dydaktyczne:

Metoda ćwiczeniowa.

Uwagi:

1inf, 1inz

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.
ul. Jurija Gagarina 11, 87-100 Toruń tel: +48 56 611-40-10 https://usosweb.umk.pl/ kontakt deklaracja dostępności mapa serwisu USOSweb 7.0.4.0-2 (2024-05-20)