Prowadzony w
cyklach:
2024, 2025, 2026
Punkty ECTS:
6
Organizowany przez:
Wydział Matematyki, Informatyki i Mechaniki
Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT
Jeszcze nie wprowadzono opisu dla tego przedmiotu...
Koordynatorzy przedmiotu
W cyklu 2024: | W cyklu 2025: | W cyklu 2026: |
Kryteria oceniania
Doktorant w celu zaliczenia rocznego seminarium musi wygłosić minimum po jednym referacie w każdym semestrze.