Uniwersytet Warszawski - Centralny System Uwierzytelniania
Strona główna

Logika i teoria typów [1000-2M13LTT] Semestr zimowy 2022/23
Wykład, grupa nr 1

powiększ
plan zajęć przedmiotu
zaznaczono (na zielono) terminy
aktualnie wyświetlanej grupy
To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu
Przedmiot: Logika i teoria typów [1000-2M13LTT]
Zajęcia: Semestr zimowy 2022/23 [2022Z] (jeszcze nie rozpoczęty)
Wykład [WYK], grupa nr 1 [pozostałe grupy]
Termin i miejsce: Podana informacja o terminie jest orientacyjna. W celu uzyskania pewnej informacji obejrzyj kalendarz roku akademickiego lub skontaktuj się z wykładowcą (nieregularności zdarzają się przede wszystkim w przypadku zajęć odbywających się rzadziej niż co tydzień).
każda środa, 18:15 - 20:00
(sala nieznana)
Terminy najbliższych spotkań: Daty odbywania się zajęć grupy. Prezentują informacje na podstawie zdefiniowanych w USOS terminów oraz spotkań.
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem.
2022-10-05 18:15 : 20:00 sala
2022-10-12 18:15 : 20:00 sala
2022-10-19 18:15 : 20:00 sala
2022-10-26 18:15 : 20:00 sala
2022-11-02 18:15 : 20:00 sala
Część spotkań jest ukryta - pokaż terminy wszystkich spotkań.
Liczba osób w grupie: 0
Limit miejsc: (brak danych)
Prowadzący: Paweł Urzyczyn
Uwagi:

zajęcia zdalne

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski.
Krakowskie Przedmieście 26/28
00-927 Warszawa
tel: +48 22 55 20 000 https://uw.edu.pl/
kontakt deklaracja dostępności USOSweb 6.8.0.0-2 (2022-08-11)