Elementy logiki i teorii mnogości [1000-I1LTM]
Semestr zimowy 2020/21
Ć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 2020/21 [2020/21Z]
(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: | 26 | ||||||||||||||||||||||||||||
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.
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.