Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie - Centralny System Uwierzytelniania
Strona główna

Logiki nieklasyczne i ich zastosowania - zajęcia specjalnościowe WM-I-S1-E6-LIZ
Laboratorium (LAB) Semestr letni 2021/22

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

Liczba godzin: 30
Limit miejsc: (brak limitu)
MS Teams: https://teams.microsoft.com/l/team/19%3akzzpckTRT0WQ_TFIjlyyLv4BJL3FYUIJxnrsIwnvc_41%40thread.tacv2/conversations?groupId=89a85ab1-4e95-4f13-be03-f05c96362f44&tenantId=12578430-c51b-4816-8163-c7281035b9b3
Metody i kryteria oceniania:

Ocena na podstawie wyniku pisemnego sprawdzianu. Ocene może podwyższyć aktywność na zajęciach. Warunkiem pozytywnego zaliczenia jest wykonanie projektu z model checking.

Grupy zajęciowe

zobacz na planie zajęć

Grupa Termin(y) Prowadzący Miejsca Liczba osób w grupie / limit miejsc Akcje
1 każdy wtorek, 11:30 - 13:00, sala e-learning
Konrad Zdanowski 16/17 szczegóły
Wszystkie zajęcia odbywają się w budynku:
e-learning
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.
ul. Dewajtis 5,
01-815 Warszawa tel: +48 22 561 88 00 https://uksw.edu.pl kontakt deklaracja dostępności mapa serwisu USOSweb 7.1.1.0-5 (2025-02-26)