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

Semantyka i weryfikacja programów 1000-215bSWP
Ćwiczenia (CW) 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.

Grupy zajęciowe

zobacz na planie zajęć

Grupa Termin(y) Prowadzący Miejsca Akcje
1 każdy wtorek, 10:15 - 12:00, sala 4050
Ewa Madalińska-Bugaj 18/18 szczegóły
2 każda środa, 10:15 - 12:00, sala 2100
Ewa Madalińska-Bugaj 18/18 szczegóły
3 każda środa, 10:15 - 12:00, sala 3140
Lorenzo Clemente 21/18 szczegóły
4 każdy czwartek, 10:15 - 12:00, sala 2270
Julian Salamanca Tellez 16/18 szczegóły
5 każdy poniedziałek, 12:15 - 14:00, sala 5060
Grzegorz Grudziński 18/18 szczegóły
6 każdy poniedziałek, 16:15 - 18:00, sala 3130
Tomasz Gogacz 17/18 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.