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

Seminarium badawcze "Logika i teoria typów"

Informacje ogólne

Kod przedmiotu: 1000-2S19LTT Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Seminarium badawcze "Logika i teoria typów"
Jednostka: Wydział Matematyki, Informatyki i Mechaniki
Grupy:
Punkty ECTS i inne: (brak)
Język prowadzenia: (brak danych)

Zajęcia w cyklu "Rok akademicki 2020/21" (w trakcie)

Okres: 2020-10-01 - 2021-06-13
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Seminarium badawcze, 60 godzin więcej informacji
Koordynatorzy: Paweł Urzyczyn
Prowadzący grup: (brak danych)
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski.