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

WYK

ŚR

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 miejsce	Prowadzący
2021-10-04 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2021-10-11 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2021-10-18 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2021-10-25 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2021-11-08 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2021-11-15 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2021-11-22 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2021-11-29 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2021-12-06 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2021-12-13 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2021-12-20 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2022-01-03 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2022-01-10 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2022-01-17 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki
2022-01-24 14:00 : 16:00 sala S2 Wydział Matematyki i Informatyki

Liczba osób w grupie:

Limit miejsc:

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.

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

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