LOGIKA 2

Termin zajęć
wtorek, 15:00-16:30 (gr. 1), 16:45-18:15 (gr. 2), s.305, bud. D

Warunki i forma zaliczenia przedmiotu

  • 3.03
    KRP: prawdziwość, tautologiczność, wynikanie
    Przypominamy sobie
  • 10.03
    KRP: prawdziwość, tautologiczność, wynikanie cd.
    Reguły dowodowe a spełnianie, prawdziwość i tautologiczność
  • 17.03
    KRP: prawdziwość, tautologiczność, wynikanie cd2.
    Co zrobić przed zajęciami?
  • 24.03
    Relacje
    Przed kolokwium - wyjściówka i wejściówka
  •   25.03 (środa), KOLOKWIUM 1, g. 18:30, sala kinowa (bud. D)  
  • 31.03
    MRZ: systemy aksjomatyczna
  • 14.04
    MRZ: semantyka Kripkego + zadania 6 i 7 z ostatnich zajęć
  • 21.04
    MRZ: semantyka Kripkego
  • 28.04
    MRZ: tabele analityczne
  • 5.05
    MRZ: tabele analityczne cd. 
  • 12.05
    Logiki epistemiczne
  •   14.05 (czwartek), KOLOKWIUM 2, g. 16:45, sala kinowa (bud. D)  
  • 19.05
    Logiki temporalne
  • 26.05
    Logiki trójwartościowe
  •   2.06 KOLOKWIUM 3, g. 15:00 i 16:45, sala 305  
  •   16.06 KOLOKWIUM POPRAWKOWE, g. 15:00, sala 305 (bud. D) 
    Forma kolokwium poprawkowego