Materiały są na licencji Creative Commons 4.0 (CC-BY). Możecie z nich korzystać bez ograniczeń i udostępniać dalej. Mam nadzieję, że okażą się przydatne.

Wpis będzie aktualizowany w miarę tworzenia kolejnych materiałów/rozwijania istniejących.

Aktualizacja 2023-12-04 w "Logika - powtórzenie wiadomości":

prawa logiki, minimalizacja zestawu spójników, rachunek sekwentów (na razie tylko reguły i definicje)