Postawy Logiki i Teori Mnogości

Aktywność, wejściówki, oceny [PDF]
Tematyka zajęć:

1. 0. Dowodzenie tautologii metodą zero-jedynkową i nie wprost (Klasyczny Rachunek Zdań).
2. 1. Metoda tabel semantycznych i analitycznych (KRZ).
3. 2. KRZ: CNF, DNF, rezolucja, Naturalna Dedukcja (ND).
4. 3. Rachunek kwantyfikatorów(ND).
   3.114-3.128, 3.151-3.159[EL]
5. 4. Algebra zbiorów(ND).
   2.68-2.87[EL]
6. 5. Algebra zbiorów, c.d., Iloczyn kartezjański(ND)
   2.94-2.100, 2.128-2.131, 2.140-2.146[EL], wybrane
7. 6. Relacje - zbiory wyliczeniowe.
   4.1-4.11[EL]
8. 7. Relacje - wybrane własności.
   4.13, 4.30-4.44[EL]
9. 8. Relacje, c.d.
   4.45-4.72, 4.86-4.91[EL]
10. 9. Funkcje.
    5.3-5.8, 5.10-5.11[EL]
11. 10. Funkcje, c.d.
    5.25-5.37[EL]
12. 11. Funkcje, c.d, Suma i iloczyn uogólniony.
    5.70-5.79, 5.85, 6.2-6.10, 6.30-6.35[EL]

[EL] W. Marek, J. Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach.