LOGIKA 1

Wykład
czwartek, 9:45-11:15, sala B, bud. E
matriały na stronie prof. Andrzeja Wiśniewskiego

Konwersatoria
piątek,
grupa 1: 13:15-14:45, s. 305, bud .D
grupa 2: 15:00-16:30, s. 305, bud .D

ZASADY ZALICZENIA

  • 7.10
    KRZ #1
  • 14.10
    KRZ #2  Spójniki dwuargumentowe  Definicje spójników
    ZADANIE DOMOWE 1
  • 21.10
    KRZ #3 Zadanie 5b
  • 28.10
    KRZ #3 cd. Zadanie 6b
  • 4.11
    KRZ #3 cd. i KRZ #4
  • 18.11
    Tabele analityczne
  • 25.11
    Tabele analityczne cd.
  • 2.12
     K o l o k w i u m  1 
  • 9.12
    Dowody aksjomatyczne
    ZADANIE DOMOWE 2
  • 16.12
    Koniunkcyjne postacie normalne
    Przed zajęciami:
    Proszę przygotować rozwiązania zadań: 1 (podpunkty a, b); 2; 4.
  • 13.01
    Rezolucja
    Przed zajęciami: proszę przypomnieć sobie pojęcia dotyczące rezolucji (lista w pliku powyżej)
  • 20.01
    Rezolucja cd. KRP
  • 27.01
     K o l o k w i u m  2