ďťż

	Zakład Logiki Matematycznej Wydział Matematyki i Informatyki Uniwersytet im. A. Mickiewicza w Poznaniu
Strona główna       Pracownicy       Doktoranci
Konferencje Filozofia Matematyki       Archiwum   Ciekawostki     Logika w sieci

TMN 100 - Wstęp do teorii mnogości * Podstawowe pojęcia i prawa logiki: spójniki międzyzdaniowe, tautologie, kwantyfikatory, wybrane prawa dotyczące kwantyfikatorów. * Podstawy teorii zbiorów: zbiory, elementy, inkluzja i równość; podstawowe aksjomaty Zermela-Fraenkla; działania na zbiorach. * Relacje i funkcje: produkt kartezjański; relacje i ich główne typy; relacje równoważnoœci i ich zastosowanie zasada abstrakcji; funkcje;rodziny indeksowane; działania uogólnione. * Teoria porządków: relacje porządkujące i liniowo porządkujące; lemat Kuratowskiego-Zorna; zasada indukcji pozaskończonej; twierdzenie Zermela; aksjomaty Peana. * Moce zbiorów: równoliczność zbiorów; zbiory przeliczalne; zbiory nieprzeliczalne; nierówności dla liczb kardynalnych; zbiory mocy kontinuum; zbiór potęgowy i twierdzenie Cantora.