Victoria Kamasa - Logika

From Zakład Logiki Stosowanej

Logika | Proseminarium licencjackie (JK) | Semiotyka logiczna | Statystyka (JiNoI)

---

LOGIKA

• Wprowadzenie
• O związkach cz. I
• O związkach cz. II tu także kilka zadań do ćwiczeń
• Drzewa semantyczne - wprowadzenie
  • Wyniki kolokwium
    • INFORMACJA O ZALICZONYCH ZADANIACH
• Tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych
  • Zadania - tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych
• Wnioskowania
  • Zadania
• Dowody
• Sylogizmy
• Klasyczny rachunek predykatów - wprowadzenie
• KRP - porwanie
• KRP - problemy szefa
  • Sylogizmy i KRP - zadania
  • Informacje o zadaniach zaliczonych na kolokwium znajdą Państwo w pliku z zaliczonymi zadaniami zaznaczone na żółto. "Krótka konsultacja" oznacza konieczność przyjścia na dyżur celem wyjaśnienia czegoś lub dopowiedzenia. Reszta zadań - zgodnie z umową - do zaliczenia w terminie, który Państwo ustalą