Logika i teoria mnogości: Różnice pomiędzy wersjami

Wersja z 12:51, 9 cze 2006

Wykład (30 godzin) + ćwiczenia (30 godzin)

Zapoznanie się z podstawowymi pojęciami i narzędziami matematyki. Wprowadzenie fundamentalnych obiektów matematycznych i opis ich własnoœci.

Rachunek zdań i rachunek predykatów.
Aksjomatyka teorii mnogości, aksjomaty sumy, ekstensjonalności, przecięcia, pary.
Iloczyn Kartezjański, relacje, relacja równoważności, rozkłady zbiorów.
Konstrukcja von Neumanna liczb naturalnych:
- twierdzenie o indukcji,
- własności liczb,
- definiowanie przez indukcje,
- zasada minimum,
- zasada maksimum.
Konstrukcja liczb całkowitych i wymiernych:
- działania na liczbach całkowitych
- Konstrukcja liczb wymiernych.
Konstrukcja Cantora liczb rzeczywistych:
- działania i porządek.
Funkcje, twierdzenie o faktoryzacji:
- Obrazy i przeciwobrazy zbiorów.
Teoria mocy:
- Zbiory przeliczalne i ich własności.
- Zbióry liczb całkowitych i wymiernych są przeliczalny.
- Zbiór liczb rzeczywistych jest nieprzeliczalny.
- Zbiory ${0, 1}^{N}$ i $N^{N}$ nie są przeliczalne. Zbiór

  Parser nie mógł rozpoznać (błąd składni): {\displaystyle 2^N \~ R}

- Twierdzenie Knastera - Tarskiego (dla zbiorów)
- Lemat Banacha,
- Twierdzenie Cantora-Bernsteina, (warunki równoważne),
- Twierdzenie Cantora.
- Zbiory mocy kontinuum.
Zbiory uporządkowane.
- Lemat Kuratowskiego Zorna.
- Przykłady dowodów przy pomocy lematu.
Zbiory liniowo uporządkowane.
- Pojęcia gęstości i ciągłości.
- $R$ jest ciągła.
Zbiory dobrze uporządkowane.
- Twierdzenie o indukcji.
- Liczby porządkowe.
- Zbiory liczb porządkowych.
- Twierdzenie o definiowaniu przez indukcje pozaskończoną
- Twierdzenie Zermelo,
- Dowód lemat Kuratowskiego Zorna
Język rachunku predykatów
- Rezolucja i automatyczne dowodzenie twierdzeń

@@ Linia 38: / Linia 38: @@
 ** Zbióry liczb całkowitych i wymiernych są przeliczalny.
 ** Zbiór liczb rzeczywistych jest nieprzeliczalny.
-** Zbiory <math>\{0, 1\}^N</math> i <math>N^N</math> nie są przeliczalne. Zbiór <math>2^N ~ R</math>
+** Zbiory <math>\{0, 1\}^N</math> i <math>N^N</math> nie są przeliczalne. Zbiór
+   <math>2^N \~ R</math>
 ** Twierdzenie Knastera - Tarskiego (dla zbiorów)
 ** Lemat Banacha,
@@ Linia 44: / Linia 45: @@
 ** Twierdzenie Cantora.
 ** Zbiory mocy kontinuum.
-* Zbiory uporządkowane.
+*  Zbiory uporządkowane.
 ** Lemat Kuratowskiego Zorna.
 ** Przykłady dowodów przy pomocy lematu.
@@ Linia 57: / Linia 58: @@
 ** Twierdzenie Zermelo,
 ** Dowód lemat Kuratowskiego Zorna
-* Język rachunku predykatów
+*  Język rachunku predykatów
 ** Rezolucja i automatyczne dowodzenie twierdzeń
@@ Linia 66: / Linia 67: @@
 == Moduły ==
-# [[MN Wykład 1|Temat]] ([[MN Ćwiczenia 1|Ćwiczenia]])
+# [[LTM Wykład 1|Temat]] ([[LTM Ćwiczenia 1|Ćwiczenia]])
 # [[MN Wykład 2|Temat]] ([[MN Ćwiczenia 2|Ćwiczenia]])
 # [[MN Wykład 3|Temat]] ([[MN Ćwiczenia 3|Ćwiczenia]])