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

Literatura obowiązkowa:

- Wojciech Guzicki, Piotr Zakrzewski "Wykłady ze wstępu do matematyki" PWN

- Wojciech Guzicki, Piotr Zakrzewski "Wstęp do matematyki. Zbiór zadań" PWN

Literatura uzupełniająca:

- Helena Rasiowa "Wstęp do matematyki współczesnej" PWN

- Wiktor Marek, Janusz Onyszkiewicz "Elementy logiki i teorii mnogości w zadaniach" PWN

- Jacek Cichoń, "Wykłady ze wstępu do matematyki"

- Kazimierz Kuratowski, Wstęp do teorii mnogości i topologii, PWN

1.Aksjomaty teorii mnogosci.

2.Dzialania na zbiorach.

3.Operacje nieskonczone na zbiorach.

4.Funkcje.

5.Kwantyfikatory.

6.Zbiory rownoliczne i ich przyklady.

7.Zbiory nierownoliczne.Twierdzenie Cantora.

8.Porownywanie mocy zbiorow.

9.Twierdzenie Cantora-Bernsteina.

10.Zbiory co nawyzej przeliczalne.

11.Zbiory mocy continuum i ich przyklady.

12.Relacje rownowaznosci.Zasada abstrakcji.

13.Relacje czesciowego porzadku.Elementy wyroznione.

14.Dobre porzadki.

15.Lemat Kuratowskiego-Zorna.