top of page

Wstęp do logiki i teorii mnogości 2018/2019

(2 kolokwia (każde po 15 punktów), 10 punktów za aktywność)

Rachunek zdań i jego prawa (02.10)

Rachunek zdań i kwantyfikatorów (09.10)

Działania na zbiorach (16.10)

Funkcja różnowartościowa i 'na'. Obrazy i przeciwobrazy (06.11) (13.11)

Sumy i przekroje uogólnione (Działania nieskończone) (14.11)

Moce zbiorów (20.11)

Funkcje i działania uogólnione-powtórzenie (27.11)

27.11 zajęcia powtórzeniowe przed kolokwium.

Zagadnienia na kolokwium (15 punktów):

- rachunek logiczny zdań i jego prawa

- co to jest tautologia?

- działania na zbiorach (suma, przekrój, różnica, różnica symetryczna)

- funkcja różnowartościowa i na. Czy funkcja jest bijekcją?

- złożenie funkcji

- obrazy i przeciwobrazy zbiorów

- działania uogólnione (nieskończone)

Iloczyn kartezjański. Cechy relacji (11.12)

Relacja równoważności (18.12)

Relacje porządkujące (08.01)

Zasada indukcji matematycznej (15.01)

Zadania powtórzeniowe (29.01)

bottom of page