Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Jerzy Pogonowski - Logika Matematyczna

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 20:26, 29 sie 2013 (edytuj)
Pogonowski (Dyskusja | wkład)
(Logika Matematyczna)
← Poprzednia edycja
Wersja z dnia 09:23, 11 paź 2013 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Logika Matematyczna)
Następna edycja →
Linia 53: Linia 53:
* [[Media: semkrpzad.pdf | Dodatek 9. Rozwiązania zadań z semantyki KRP. ]] * [[Media: semkrpzad.pdf | Dodatek 9. Rozwiązania zadań z semantyki KRP. ]]
* [[Media: tabkrp.pdf | Dodatek 10. Trafność i pełność metody TA w KRP. Przykłady. Zadania. ]] * [[Media: tabkrp.pdf | Dodatek 10. Trafność i pełność metody TA w KRP. Przykłady. Zadania. ]]
 +
 +==Zadania domowe 2013-2014==
 +
 +* [[Media: lm2x2013.pdf | 2 października 2013.]]
 +* [[Media: lm9x2013.pdf | 9 października 2013.]]
==Przykładowe zadania egzaminacyjne (z rozwiązaniami)== ==Przykładowe zadania egzaminacyjne (z rozwiązaniami)==

Wersja z dnia 09:23, 11 paź 2013

Spis treści

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line


Logika Matematyczna

Egzamin poprawkowy 2013

Osoby uprawnione do zdawania egzaminu poprawkowego z Logiki Matematycznej (I rok Językoznawstwa i Nauk o Informacji UAM) zechcą stawić się w czwartek, 19 września 2013 roku o godzinie 12:00 w sali 316B Collegium Novum.

Jerzy Pogonowski, 29 sierpnia 2013

Semestr zimowy (Klasyczny Rachunek Zdań)

Semestr letni (Klasyczny Rachunek Predykatów)

Zadania domowe 2013-2014

Przykładowe zadania egzaminacyjne (z rozwiązaniami)

Syllabus