Logika i struktury formalne

Karta przedmiotu: MAP002215C
Wykładowca: prof. dr hab. Jacek Cichoń
Termin zajęć:
K06-40c — Czw. 16.10-18.45, stacjonarnie, C-5, s. 1

Zasady zaliczenia ćwiczeń:

Na ćwiczeniach odbędą się dwa kolokwia. Na każdym z nich dostaniecie do zrobienia 4 zadania. Za każde z nich będziecie mogli otrzymać do 5 punktów.
Dodatkowo możecie dostać maksymalnie do 20 punktów za aktywność na ćwiczeniach za rozwiązywanie nowych zadań z listy podczas zajęć. Za poprawnie zrobione zadanie otrzymuje się 1 (+ liczba *) punktów. Łącznie można uzyskać do 60 punktów. Ocena końcowa (C) z ćwiczeń będzie wystawiana za pomocą następującej tabelki:

Pkt	< 24	≥ 24	≥ 30	≥ 36	≥ 42	≥ 48
C	2.0	3.0	3.5	4.0	4.5	5.0

Zasady zaliczenia grupy kursów

TBA

Lista zadań: [link zaktualizowany 6 X 2021]
Kolokwium 1.: 9 XII 2021; Pierwsze 4 rozdziały.
Zajęcia w grudniu odbywają się stacjonarnie.
Kolokwium 2.: ostatnie zajęcia; kolejne 4 rozdziały.