` Katarzyna Grygiel

Katarzyna Grygiel
grygiel(at)tcs.uj.edu.pl

Elementy logiki i teorii mnogości (Matematyka, niestacjonarne)

Zasady zaliczania przedmiotu

Podsumowanie i oceny z zaliczenia

Egzamin pisemny składał się z dwóch części: zadaniowej i teoretycznej. Za każdą z tych części można było uzyskać do 30 punktów. Do godziny 19:00 można przesyłać uwagi, zastrzeżenia i pytania dotyczące wyników. Później wpiszę oceny do USOS-a.
Treść zadań oraz wyniki.
Ocena z egzaminu jest zdeterminowana liczbą punktów obliczaną według wzoru

0,4 * (punkty z ćwiczeń) + (punkty za część zadaniową) + (punkty za część teoretyczną).
Z egzaminu można było zatem uzyskać do 104 punktów. Oceny z egzaminu oraz z ćwiczeń będą wystawiane zgodnie z następującą tabelą:
zdobyte punkty ocena
<50 ndst
50-60 dst
61-70 +dst
71-80 db
81-90 dst
>90 bdb

Notatki do wykładu

Udostępniam Państwu moje notatki do wykładu. Proszę jednak wziąć pod uwagę, że są niepełne. Przede wszystkim jednak zawierają rozliczne błędy (wszelkiego rodzaju). Będą pojawiać się coraz nowsze wersje, w których będę starała się eliminować błędy oraz dodawać brakujące treści.
Na egzaminie obowiązuje znajomość definicji, lematów, twierdzeń, uwag i wniosków wyróżnionych na niebiesko. Dowody wyróżnionych części są obowiązkowe, chyba że w notatkach jest napisane inaczej.

Zadania

Zestaw pierwszy
Zestaw drugi
Zestaw trzeci
Zestaw czwarty
Zestaw piąty
Zestaw szósty

Kolokwia

Kolokwium I oraz wyniki
Kolokwium II oraz wyniki
Kolokwium III oraz wyniki
Kolokwium IV oraz wyniki
Kolokwium V oraz wyniki
Kolokwium VI oraz wyniki
Kolokwium VII oraz wyniki
Kolokwium VIII oraz wyniki
Kolokwium bonusowe

Literatura

Zbiory zadań:
Wiktor Marek, Janusz Onyszkiewicz: Elementy logiki i teorii mnogości w zadaniach
Igor Ławrow, Łarysa L. Maksimowa: Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów
Antoni Chronowski: Zadania z elementów teorii mnogości i logiki matematycznej
Zadania ze strony prof. Pawła Urzyczyna: Podstawy matematyki

Do czytania:
Helena Rasiowa: Wstęp do matematyki współczesnej
Kazimierz Kuratowski: Wstęp do teorii mnogości i topologii
Antoni Chronowski: Elementy teorii mnogości
Wykłady ze strony prof. Pawła Urzyczyna: Podstawy matematyki
Wykłady ze strony prof. Leszka Pacholskiego: Logika dla informatyków
Wykłady na Ważniaku