Logika i struktury formalne

Karta przedmiotu: MAP002215C
Wykładowca: prof. dr hab. Jacek Cichoń
Termin zajęć:
K05-49a — Śr. 15.15-17.50, stacjonarnie, C-3, s. 21
Kolokwium I : 7.12.22, 4 pierwsze rozdziały.

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	< 15	≥ 15	≥ 24	≥ 33	≥ 42	≥ 51	≥ 58
C	2.0	3.0	3.5	4.0	4.5	5.0	5.5

Zasady zaliczenia grupy kursów

Egzamin z wykładu jest obligatoryjny. Ocena negatywna (2.0 lub mniej) z egzaminu oznacza ocenę 2.0 z grupy kursów. Student/-ka otrzymuje średnią z ocen za ćwiczenia i egzamin (ew. zaokrągloną w górę) jako ocenę z grupy kursów, jeżeli zda on/-a egzamin na ocenę pozytywną.

Lista zadań z arbitralnymi poziomami istotności: [link zaktualizowany 1 I 2023]
Zadanie 89.: [rozwiązanie z uwagami 6 I 2023]