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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycjanastępna edycja →
WizualnieWikikod
Linia 12: Linia 12:


=== Zawartość ===
=== Zawartość ===
* Rachunek zdań i rachunek predykatów.
* Rachunek zdań i rachunek predykatów
* Aksjomatyka teorii mnogości ZFC.
* Aksjomatyka teorii mnogości ZFC
* Iloczyn kartezjański, relacje, relacja równoważności, rozkłady zbiorów.
* Iloczyn kartezjański, relacje, relacja równoważności, rozkłady zbiorów
* Konstrukcja von Neumanna liczb naturalnych:
* Konstrukcja von Neumanna liczb naturalnych:
** twierdzenie o indukcji,
** twierdzenie o indukcji
** własności liczb,
** własności liczb
** definiowanie przez indukcję,
** definiowanie przez indukcję
** zasada minimum,
** zasada minimum
** zasada maksimum.
** zasada maksimum
* Konstrukcja i działania na liczbach całkowitych
* Konstrukcja i działania na liczbach całkowitych
* Konstrukcja i działania na liczbach wymiernych.
* Konstrukcja i działania na liczbach wymiernych
* Konstrukcja Cantora liczb rzeczywistych:
* Konstrukcja Cantora liczb rzeczywistych:
**  działania i porządek.
**  działania i porządek
* Funkcje, twierdzenie o faktoryzacji:
* Funkcje, twierdzenie o faktoryzacji:
**  Obrazy i przeciwobrazy zbiorów.
**  obrazy i przeciwobrazy zbiorów
* Teoria mocy:
* Teoria mocy:
** Zbiory przeliczalne i ich własności.
** zbiory przeliczalne i ich własności
** Zbiory liczb całkowitych i wymiernych są przeliczalne.
** zbiory liczb całkowitych i wymiernych są przeliczalne
** Zbiór liczb rzeczywistych jest nieprzeliczalny.
** 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 \sim R</math>  
** zbiory <math>\{0, 1\}^N</math> i <math>N^N</math> nie są przeliczalne. Zbiór <math>2^N \sim R</math>  
** Twierdzenie Knastera - Tarskiego (dla zbiorów)
** twierdzenie Knastera - Tarskiego (dla zbiorów)
** Lemat Banacha,
** lemat Banacha
** Twierdzenie Cantora-Bernsteina, (warunki równoważne),
** twierdzenie Cantora-Bernsteina, (warunki równoważne)
** Twierdzenie Cantora.
** twierdzenie Cantora
** Zbiory mocy kontinuum.
** zbiory mocy kontinuum
* Zbiory uporządkowane.
* Zbiory uporządkowane:
** Lemat Kuratowskiego Zorna.
** lemat Kuratowskiego Zorna
** Przykłady dowodów przy pomocy lematu Kuratowskiego Zorna.
** przykłady dowodów przy pomocy lematu Kuratowskiego Zorna
** Dowód lemat Kuratowskiego Zorna
** dowód lemat Kuratowskiego Zorna
* Zbiory liniowo uporządkowane.
* Zbiory liniowo uporządkowane:
** Pojęcia gęstości i ciągłości.
** pojęcia gęstości i ciągłości
** Porządek na <math>R</math> jest ciągły.
** porządek na <math>R</math> jest ciągły
* Zbiory dobrze uporządkowane.
* Zbiory dobrze uporządkowane:
** Twierdzenie o indukcji.
** twierdzenie o indukcji
** Liczby porządkowe.
** liczby porządkowe
** Zbiory liczb porządkowych.
** zbiory liczb porządkowych
** Twierdzenie o definiowaniu przez indukcje pozaskończoną
** twierdzenie o definiowaniu przez indukcje pozaskończoną
** Twierdzenie Zermelo,
** twierdzenie Zermelo


===Literatura===
===Literatura===

Wersja z 19:22, 27 wrz 2006

Forma zajęć

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

Opis

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

Sylabus

Autorzy

  • Marek Zaionc — Uniwersytet Jagielloński
  • Jakub Kozik — Uniwersytet Jagielloński
  • Marcin Kozik — Uniwersytet Jagielloński

Zawartość

  • Rachunek zdań i rachunek predykatów
  • Aksjomatyka teorii mnogości ZFC
  • 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 indukcję
    • zasada minimum
    • zasada maksimum
  • Konstrukcja i działania na liczbach całkowitych
  • Konstrukcja i działania na liczbach 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
    • zbiory liczb całkowitych i wymiernych są przeliczalne
    • zbiór liczb rzeczywistych jest nieprzeliczalny
    • zbiory {0,1}N i NN nie są przeliczalne. Zbiór 2N∼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 Kuratowskiego Zorna
    • dowód lemat Kuratowskiego Zorna
  • Zbiory liniowo uporządkowane:
    • pojęcia gęstości i ciągłości
    • porządek na R jest ciągły
  • Zbiory dobrze uporządkowane:
    • twierdzenie o indukcji
    • liczby porządkowe
    • zbiory liczb porządkowych
    • twierdzenie o definiowaniu przez indukcje pozaskończoną
    • twierdzenie Zermelo

Literatura

  1. H. Rasiowa, Wstęp do matematyki, PWN, Warszawa 1971, 1984, 1998
  2. K. Kuratowski, A. Mostowski, Teoria mnogości, PWN, Warszawa, 1978
  3. W. Marek, J. Onyszkiewicz, Elementy logiki i teorii mnogosci w zadaniach, PWN, 1996.


Moduły

  1. Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost
  2. Rachunek zdań
  3. Rachunek predykatów, przykład teorii w rachunku predykatów
  4. Teoria mnogości ZFC. Operacje na zbiorach
  5. Iloczyn kartezjański i relacje
    1. Para uporządkowana, iloczyn kartezjański, relacje, domykanie relacji, relacja równoważności, rozkłady zbiorów
    2. Iloczyn kartezjański i aksjomat wyróżniania (dla dociekliwych)
  6. Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha
  7. Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje
  8. Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek
  9. Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy continuum
  10. Zbiory uporządkowane.
    1. Zbiory uporządkowane. Zbiory liniowo uporządkowane. Pojęcia gęstości i ciągłości
    2. Twierdzenie Bourbakiego-Witta (dla dociekliwych)
  11. Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady
  12. Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną
Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogości&oldid=57425”