ELiTM
Elementy Logiki i Teorii Mnogości
Kolokwia: 26.11, 21.01.
Konspekt wykładu: logika | zbiory | funkcje | relacje| posety|
ELiTM 0 - Indukcja
ELiTM 1 - Rachunek zdań
ELiTM 2 - Rachunek predykatów
ELiTM 3 - Rachunek zbiorów
ELiTM 4 - Uogólniony rachunek zbiorów
ELiTM 5 - Funkcje
ELiTM 6 - Relacje
ELiTM 7 - Zbiory częściowo uporządkowane
ELiTM 8 - Moce zbiorów
Literatura:
- W. Marek, J. Onyszkiewicz - Elementy logiki i teorii mnogości w zadaniach,
- H. Rasiowa - Wstęp do matematyki współczesnej, PWN
- K. Kuratowski - Wstęp do teorii mnogości i topologii, PWN
- W. Guzicki, P. Zakrzewski – Wykłady ze wstępu do matematyki
- W. Guzicki, P. Zakrzewski - Wstęp do matematyki. Zbiór zadań, PWN 2005
- http://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogo%C5%9Bci
ćwiczenia 40pkt w tym 2 kolokwia po 15pk, 5 pkt kartkówki, 5 pkt aktywność na zajęciach.
egzamin 60 w tym pisemny: 40pkt (zadania) + 20pkt teoria.
Z części zadaniowej można być zwolnionym jeśli z ćwiczeń zdobędzie się co najmniej 32 pkt. wtedy za wynik z egzaminu z zadań uznaje się wynik z ćwiczeń. Dla osób zwolnionych z zadań planowany jest termin zerowy z teorii.
Do zaliczenia przedmiotu liczy się jedynie suma punktów z ćwiczeń i egzaminu
od 50pkt - 3.0
od 60pkt - 3.5
od 70pkt - 4.0
od 80pkt - 4.5
od 90pkt - 5.0
kolokwia z poprzednich lat
Kolokwium 1 2002|2002m|2003|2004|2005|2006i|2006m|2007|2008|2009|2010|2011|2011i|2012
Zestawy zadań z kolokwiów mogą zawierać literówki - bardzo proszę zgłaszać gdy ktoś takową zauważy.