Logika i struktury formalne

Karta przedmiotu: W04INA-SI0023G
Wykładowcy: prof. dr hab. Jacek Cichoń i DB.
Terminy zajęć:
Wykłady:

Wt. 09.15-11.00, stacjonarnie, C-3, s. 23

Pt. 11.15-13,00, stacjonarnie, C-3, s. 23

Ćwiczenia:

Gr 1. — Pt. 13.15-16.00, stacjonarnie, C-16, s. D3.1

Literatura

Podstawowa
Pomocnicza

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. W ramach punktów z aktywności mogą zdarzyć się zapowiedziane kartkówki. Łącznie można uzyskać do 60 punktów. Ocena końcowa (C) z ćwiczeń będzie wystawiana podług następującej tabelki:

Pkt	< 20	≥ 20	≥ 26	≥ 32	≥ 38	≥ 44	≥ 53
C	2.0	3.0	3.5	4.0	4.5	5.0	5.5

Zasady zaliczenia grupy kursów

Egzamin (E) z wykładu jest obligatoryjny.
Terminy egzaminów:

Ocena negatywna (2.0 lub mniej) z egzaminu oznacza ocenę 2.0 z grupy kursów. Student/-ka otrzymuje średnią z ocen za ćwiczenia (C) i egzamin (E) (ew. zaokrągloną w górę) jako ocenę z grupy kursów, jeżeli zda on/-a egzamin na ocenę pozytywną, tj. co najmniej 3.0.

Lista zadań: [link zaktualizowany 3 X 2024]