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.

Laboratorium 2 (22.X 2025): rachunek zdań c.d. (rozwiązania poprzednich zadań i kilka nowych dowodów).

• Wykonaj kolejne zadania z rachunku zdań i umieść rozwiązania na platformie edukacyjnej.

Laboratorium 3 (29.X 2025): rachunek zdań, logika klasyczna.

• Wykonaj kolejne zadania z rachunku zdań, tym razem logika klasyczna, i umieść rozwiązania na platformie edukacyjnej.

Laboratorium 4 (5.XI 2025): Struktury Kripkego (kontrprzykłady dla logiki intuicjonistycznej).

• Wykonaj zadania ze struktur Kripkego 1 oraz 2 i umieść rozwiązania na platformie edukacyjnej.

Laboratorium 5 (12.XI 2025): Rachunek predykatów.

• Wykonaj zadania lab04-int i umieść rozwiązania na platformie edukacyjnej.

Laboratorium 6 (19.XI 2025): Rachunek predykatów c.d.

• Wykonaj zadania lab04-klas i umieść rozwiązania na platformie edukacyjnej.

Logiki temporalne

Laboratorium 7 (26.XI 2025): logika LTL.

Laboratorium 8 (3.XII 2025): logika CTL.

Laboratorium 9 (10.XII 2025, godz. 16:00, s. 3.04, gr. 2. i 3.): Powtórka: logika LTL i CTL.

Laboratorium 10 (17.XII 2025, godz. 14:00, aula D001): Kolokwium (pisemne, bez wspomagania komputerowego, wszystkie grupy).

Laboratorium 11 (17.XII 2025, godz. 16:00, s. 3.04, gr. 2. i 3.): Sieci Petriego.