Elementy logiki i teorii mnogości WM-MA-S1-E1-ELT
Ćwiczenia (CW) Semestr zimowy 2023/24

Obowiązkowa (jedna z pozycji):

Cichoń, Wykłady ze Wstępu do Matematyki, 2019,

https://cs.pwr.edu.pl/cichon/Materialy/Wstep.pdf

Grygiel, M. Kurkowski, "Wybrane elementy logiki, teorii mnogo±ci i teorii grafów", Europejska Uczelnia Informatyczno - Ekonomiczna, Warszawa 2015.

Urzyczyn, Podstawy matematyki dla informatyków.

https://www.mimuw.edu.pl/~urzy/Pmat/pomat.pdf

Uzupełniająca:

W.Guzicki, P.Zakrzewski, Wyklady ze Wstepu do Matematyki, PWN 2005

W.Guzicki, P.Zakrzewski.Zbior zadan do Wykladu ze Wstepu do Matematyki,PWN 2005

Marek, Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach.

1. Prawa rachunku zdań

2. Tautologie i kontrtautologie.

3. Wynikanie semantyczne i syntaktyczne.

4. Techniki dowodzenia. Klasyczny system dedukcji naturalnej.

5. Algebra zbiorów. Metody dowodzenia własności zbiorów.

6. Rodziny zbiorów. Działania uogólnione.

7. Iloczyn kartezjański i relacje binarne.

8. Typy relacji binarnych.

9. Relacja równoważności. Klasy abstrakcji i podział zbioru.

10. Relacja częściowego porządku.

11. Elementy wyróżnione w zbiorach częściowo uporządkowanych.

12. Funkcje i ich własności. Obraz i przeciwobraz zbioru.

13. Elementy teorii mocy.

14. Zbiory przeliczalne i nieprzeliczalne.