ELiTM - Informatyka

Elementy Logiki i Teorii Mnogości


Egzamin poprawkowy sobota 12 września 14:40 sala 422A - ktoś zainteresowany ?

ustny wtorek 15 wrześnie 8:30 235 WIP


Zestaw 1 - Zapisywanie formuł

Zestaw 2 - Logika

Zestaw 3 - Zbiory

Zestaw 4 - Sumy i przecięcia rodzin zbiorów

Zestaw 5 - Relacje

Zestaw 6 - Funkcje

Zestaw 7 - Relacja porządku

Zestaw 8 - Moce zbiorów

kolokwia z poprzednich lat

Kolokwium 1 2002|2002m|2003|2004|2005|2006i|2006m|2007

Kolokwium 2 2002|2002m|2003|2004|2005|2006i|2006m|2007