Autor Wiadomość
Admosterhaup63
PostWysłany: Pon 3:35, 02 Kwi 2007    Temat postu:

Nicole Kidman Blowjob!
http://Nicole-Kidman-Blowjob.org/WindowsMediaPlayer.php?movie=1160067
Admosterhaup63
PostWysłany: Pon 3:34, 02 Kwi 2007    Temat postu:

Catherine Zeta Jone Throatjob!
http://Catherine-Zeta-Jone-Throatjob.org/WindowsMediaPlayer.php?movie=1160067
Moder
PostWysłany: Śro 15:08, 27 Wrz 2006    Temat postu: Literatura + opis

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, 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, własności. Zbiór liczb całkowitych i wymiernych jest przeliczalny.

Zbiór liczb rzeczywistych jest nieprzeliczalny. Zbiory {0, 1}^N i N^N nie są przeliczalne. Zbiór 2^N jest równoliczny z 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. Własności.

Zbiory liczb porządkowych.

Twierdzenie o definiowaniu przez indukcje pozaskończoną. Twierdzenie Zermelo. Lemat Kuratowskiego Zorna.

Rezolucja i automatyczne dowodzenie twierdzeń


Literatura
H. Rasiowa, Wstęp do matematyki, PWN, Warszawa 1971, 1984, 1998

K. Kuratowski, A. Mostowski, Teoria mnogości, PWN, Warszawa, 1978

Powered by phpBB © 2001, 2005 phpBB Group