Wykład "Wstęp do teorii mnogości"

Strona wykładu WSTĘP DO TEORII MNOGOśCI, rok akademicki 2003/2004

Prowadzący: Sławomir Lasota

Termin: czwartki, 10:15, sala 5440

Konkurs ogłoszony na wykladzie szóstym jest już zamknięty!
Materiały dla studentów:
- notatki dla studentów (plik .ps.gz, około 400 kB)
- zadania zgromadzone przez prof. Pawła Urzyczyna
Literatura:
- K. Kuratowski, A. Mostowski, Teoria mnogości, PWN, Warszawa, 1978.
- H. Rasiowa, Wstęp do matematyki współczesnej, PWN, Warszawa, 1971.
- A. Wojciechowska, Elementy logiki i teorii mnogości, PWN, Warszawa, 1979.
- W. Marek, J. Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, PWN, Warszawa, 1996.
Zasady zaliczania:
- 60% punktów można uzyskać na egzaminie
- 40% punktów można uzyskać podczas dwóch kolokwiów
- do 5% premii za aktywny udział w ćwiczeniach
Kolokwia:
- pierwsze kolokwium: 27 listopada, godz. 10:00-11:45, sala wykładowa
  zakres materiału:
  - opracje na zbiorach
  - liczby naturalne i indukcja
  - relacje, funkcje, relacje równoważności
  - skończoność/nieskończoność zbiorów
  treść zadań: grupa A, grupa B (pliki .ps)
  przykładowe rozwiązania: zadanie 1, zadanie 2, zadanie 3
- drugie kolokwium: 8 stycznia, godz. 10:00-11:45, sala wykładowa
  zakres materiału: jak na kolokwium 1, plus dodatkowo:
  - teoria mocy: równoliczność, liczby kardynalne, twierdzenie Cantora, porównywanie liczb kardynalnych, twierdzenie Cantora-Bernstein'a, arytmetyka liczb kardynalnych
  - porządki częściowe: słowa, drzewa, lemat Koeniga, kresy, lemat Kuratowskiego-Zorna, porządki liniowe, kraty, funkcje monotoniczne, izomorfizmy porządków (bez twierdzeń o punkcie stałym)
  treść zadań: grupa A, grupa B (pliki .ps)
  przykładowe rozwiązanie dla grupy A
Egzamin:
- egzamin pisemny: sroda 28 stycznia, godz. 12:00-14:45, sale 3180 i 4420.
  treść zadań (plik .ps)
- egzamin ustny: czwartek 29 stycznia, godz. 11:00, sala 3120.
Egzamin poprawkowy:
- egzamin pisemny: sobota 28 lutego, godz. 9:00, sala 3180.
  treść zadań (plik .ps)

Sławomir Lasota