ELiTM dla Mat.
Konsultacje z ELiTMU środa (plan piątkowy) 7 marca g 15:15; 16:15; 17:15 sala 333 GCh
Egzamin poprawkowy z ELiTMu czwartek 8.03 g. 16:15 sala 107 GMiNI
Kolejny egzamin poprawkowy dopiero we wrześniu.
Kolokwium 1 30.11.11 na wykładzie
Kolokwium 2 25.01.12 na wykładzie
Pytania z teorii
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 - Relacje
ELiTM 6 - Funkcje
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) + 10 teoria, ustny 10pkt 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
Aby zapisać się na ustny należy wejść na link przesłany e-mailem na adres wydziałowy.
kolokwia z poprzednich lat
Kolokwium 1 2002|2002m|2003|2004|2005|2006i|2006m|2007|2008|2009|2010|
Kolokwium 2 2002|2002m|2003|2004|2005|2006i|2006m|2007|2008|2009|2010|Zestawy zadań z kolokwiów mogą zawierać literówki - bardzo proszę zgłaszać gdy ktoś takową zauważy.