Materiały dydaktyczne dla studentów




Computability


Elementy logiki I


Elementy logiki II


Elementy teorii mnogości I


Elementy teorii mnogości II


PLiTM: Zagadnienia egzaminacyjne


Automatyczne dowodzenie twierdzeń metodą rezolucji


Logiczne podstawy informatyki - wykład kursowy


LPI: Zagadnienia egzaminacyjne


Rachunek lambda