Uniwersytet Warszawski - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Semantyka i weryfikacja programów 1000-215bSWP
Wykład (WYK) Semestr zimowy 2020/21

Informacje o zajęciach (wspólne dla wszystkich grup)

Liczba godzin: 30
Limit miejsc: (brak limitu)
Tryb prowadzenia: zdalnie
Metody i kryteria oceniania:

Zaliczenie ćwiczeń na podstawie prac domowych: z trzech prac, ocenianych na skali [0-10] dla zaliczenia niezbędne jest uzyskanie 18 pkt.

Zaliczenie ćwiczeń jest warunkiem dopuszczenia do egzaminu w I terminie. Do egzaminu w II terminie dopuszczeni są wszyscy uprawnieni do zaliczania przedmiotu.

Egzamin ma formę pisemną, składa się z 3 zadań, punktowanych na skali [0-10]. Do zaliczenia na ocenę dostateczną wystarczy 15 pkt, ale próg ten może być obniżany w zależności od trudności zadań.

Ocena końcowa jest obliczana zgodnie z jedną z dwóch formuł, zależnie od tego, która jest korzystniejsza dla danego studenta:

- 80% egzamin, 20% prace domowe, lub

- 100% egzamin.

W roku akademickim 2020/21, z uwagi na realia pracy zdalnej, maksymalną oceną możliwą do uzyskania z egzaminu pisemnego jest 4.5. Osoby, które uzyskały odpowiednio wysoki wynik, mogą uzyskać ocenę 5 na podstawie dodatkowego egzaminu ustnego. Egzamin ten ma formę pogłębionej dyskusji na temat zadań z egzaminu pisemnego.

Grupy zajęciowe

zobacz na planie zajęć

Grupa Termin(y) Prowadzący Miejsca Akcje
1 każdy poniedziałek, 14:15 - 16:00, sala 3180
Bartosz Klin 108/108 szczegóły
Wszystkie zajęcia odbywają się w budynku:
Gmach Wydziału Matematyki - Banacha 2
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski.