Prowadzony w
cyklach:
2024, 2025, 2026
Punkty ECTS:
6
Język:
angielski
Organizowany przez:
Wydział Matematyki, Informatyki i Mechaniki
Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" 1000-2S22SLW
- https://mimuw.edu.pl/pl/seminaria/semantyka-logika-i-weryfikacja-oraz-wiele-ich-ciekawych-aplikacji/
Jeszcze nie wprowadzono opisu dla tego przedmiotu...
Koordynatorzy przedmiotu
Kryteria oceniania
Doktorant w celu zaliczenia rocznego seminarium musi wygłosić minimum po jednym referacie w każdym semestrze.