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
    Proszę o przypomnienie sobie następujących zagadnień z Logiki 1:
    – co składa się na interpretację języka KRP?
    – kiedy możemy powiedzieć, że formuła KRP jest prawdziwa przy pewnej interpretacji?
    – czym różni się zdanie KRP od funkcji zdaniowej KRP?
    Odpowiedzi na te pytania znajdą Państwo w wykładach umieszczonych na stronie prof. Mariusza Urbańskiego
  • 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?
    1. Rozwiązać przynajmniej dwa przykłady z zadania 16 (takie, których nie robiliśmy na zajęciach).
    2. Przypomnieć sobie następujące pojęcia: prawdziwość/fałszywość przy danej interpretacji, model formuły, spełnialność/niespełnialność, własności zdań i funkcji zdaniowych w KRP, wynikania w KRP, domknięcie uniwersalne.
  • 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
    Na napisanie kolokwium poprawkowego będą Państwo mieli 1,5 h. Otrzymają Państwo wszystkie trzy kolokwia.  Będą to te same kolokwia, które już Państwo pisali (choć oczywiście mogą otrzymać Państwo inną grupę niż przy pierwszym podejściu), więc wszystkie zadania są znane.
    Aby zaliczyć poprawę muszą otrzymać Państwo powyżej 35 punktów. Do punktow z kolokwium poprawkowego dodaję punkty z wejściówek i wyjściówek, które zebrali Państwo w trakcie semestru.
    Jeżeli np. za wejściówki i wyjściówki mają Państwo 10 punktów, to do zaliczenia przedmiotu wystarczy uzyskanie powyżej 25 punktów w trakcie kolokwium poprawkowego.