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