Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji"
Informacje ogólne
Kod przedmiotu: | 1000-2S22SLW |
Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
Nazwa przedmiotu: | Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" |
Jednostka: | Wydział Matematyki, Informatyki i Mechaniki |
Grupy: | |
Strona przedmiotu: | https://www.mimuw.edu.pl/seminaria/sliwowica |
Punkty ECTS i inne: |
6.00
|
Język prowadzenia: | angielski |
Zajęcia w cyklu "Rok akademicki 2023/24" (w trakcie)
Okres: | 2023-10-01 - 2024-06-16 |
Przejdź do planu
PN WT ŚR CZ PT SEM-BAD
|
Typ zajęć: |
Seminarium badawcze
|
|
Koordynatorzy: | Aleksy Schubert, Andrzej Tarlecki | |
Prowadzący grup: | Aleksy Schubert, Andrzej Tarlecki | |
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, Wydział Nauk Ekonomicznych.
Właścicielem praw autorskich jest Uniwersytet Warszawski, Wydział Nauk Ekonomicznych.