Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Michał Lipnicki - Dydaktyka

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 07:13, 29 kwi 2011 (edytuj)
Lipnicki (Dyskusja | wkład)

← Poprzednia edycja
Wersja z dnia 07:14, 29 kwi 2011 (edytuj) (undo)
Lipnicki (Dyskusja | wkład)

Następna edycja →
Linia 40: Linia 40:
* [[Media: KRPzadania.pdf| Język KRP - zadania z rozwiązaniami]] * [[Media: KRPzadania.pdf| Język KRP - zadania z rozwiązaniami]]
* [[Media: KRP2h.pdf| Semantyka KRP]] (na slajdzie nr 8 zadanie domowe) * [[Media: KRP2h.pdf| Semantyka KRP]] (na slajdzie nr 8 zadanie domowe)
-* [[Media: wynikKRPh.pdf| Wnioskowanie w KRP]]+* [[Media: wynikKRP.pdf| Wnioskowanie w KRP]]
''Wyniki kolokwium zaliczeniowego'' ''Wyniki kolokwium zaliczeniowego''

Wersja z dnia 07:14, 29 kwi 2011

CV | Badania | Dydaktyka | Publikacje | Teksty on line

Naukoznawstwo

Logika

Klasyczny Rachunek Zdań

Klasyczny Rachunek Predykatów

Wyniki kolokwium zaliczeniowego