Andrzej M. BorzyszkowskiAndrzej M.
Borzyszkowski
Logika dla informatyków – laboratorium

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).

Do góry