Elementy logiki i teorii mnogości [1000-I1LTM]
Semestr zimowy 2023/24
Ćwiczenia,
grupa nr 2
Przejdź do planu
zaznaczono terminy wyświetlanej grupy
Przedmiot: | Elementy logiki i teorii mnogości [1000-I1LTM] |
Zajęcia: |
Semestr zimowy 2023/24 [2023/24Z]
(zakończony)
Ćwiczenia [CW], grupa nr 2 [pozostałe grupy] |
Termin i miejsce:
|
|
Terminy najbliższych spotkań:
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem. |
Wszystkie zajęcia tej grupy już się odbyły - pokaż terminy wszystkich spotkań. |
Liczba osób w grupie: | 22 |
Limit miejsc: | 30 |
Zaliczenie: | Zaliczenie na ocenę |
Prowadzący: | Kamil Palusiński |
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.
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.