Zasady zaliczenia laboratorium.
Platforma edukacyjna UG (klucz dostępu "sekwent").
Ćwiczenia innych grup.
- JAPE
System wspomagający dowodzenie reguł rachunka zdań i predykatów używając reguł dedukcji naturalnej.
Zestaw reguł dla rachunku zdań oraz rachunku kwantyfikatorów.
Rozszerzenie przeglądarki Edge pozwalające ustawić na stałe kodowanie znaków (które w dalszych przykładach są notorycznie błędne).
Laboratorium 1 (15.X 2025): rachunek zdań, pierwsze przykłady (logika intuicjonistyczna).
Wykonaj zadania z rachunku zdań oraz rachunku zdań i umieść rozwiązania na platformie edukacyjnej.