Logika i teoria typów [1000-2M13LTT]
Semestr zimowy 2020/21
Ćwiczenia,
grupa nr 1
Przedmiot: | Logika i teoria typów [1000-2M13LTT] | ||||||||||||||||||||||||||||
Zajęcia: |
Semestr zimowy 2020/21 [2020Z]
(zakończony)
Ćwiczenia [CW], grupa nr 1 [pozostałe grupy] |
||||||||||||||||||||||||||||
Termin i miejsce:
|
|||||||||||||||||||||||||||||
Terminy najbliższych spotkań:
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem. |
Wszystkie zajęcia tej grupy już się odbyły - pokaż terminy wszystkich spotkań.
|
||||||||||||||||||||||||||||
Liczba osób w grupie: | 21 | ||||||||||||||||||||||||||||
Limit miejsc: | 22 | ||||||||||||||||||||||||||||
Prowadzący: | Daria Walukiewicz-Chrząszcz |
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski.
Właścicielem praw autorskich jest Uniwersytet Warszawski.