Elementy logiki i teorii mnogości [1000-I1LTM]
Semestr zimowy 2017/18
Ćwiczenia,
grupa nr 3
plan zajęć przedmiotu| Przedmiot: | Elementy logiki i teorii mnogości [1000-I1LTM] |
| Zajęcia: |
Semestr zimowy 2017/18 [2017/18Z]
(zakończony)
Ćwiczenia [CW], grupa nr 3 [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: | 30 |
| Limit miejsc: | 32 |
| Zaliczenie: | Zaliczenie na ocenę |
| Prowadzący: | Mariusz Kaniecki |
| 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. |
| Metody i kryteria oceniania: |
Warunkiem zaliczenia ćwiczeń jest oddanie jednego zadania domowego w formie pisemnej rozwiązanego w sposób w pełni poprawny. Ponadto warunkiem zaliczenia jest kolokwium, oceniane w sposób następujący: ocena bdb. od 90% do 100%, ocena db.+ od 80% do 90%, ocena db. od 70% do 80%, ocena dst.+ od 60% -do 70% ocena dst. od 50% do 60%. |
| Uwagi: |
1 inf, 1 inż |
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.
