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: |
6.00
|
Język prowadzenia: | (brak danych) |
Skrócony opis: |
Na seminarium poruszane są zagadnienia związane z rachunkiem lambda, teorią typów i logikami konstruktywnymi. Rozważane są teoretyczne zagadnienia związane z tymi tematami oraz mające powiązania z informatyką, w szczególności z automatycznym dowodzeniem twierdzeń, funkcyjnymi językami programowania oraz bazami danych. |
Metody i kryteria oceniania: |
Doktorant w celu zaliczenia rocznego seminarium musi wygłosić minimum po jednym referacie w każdym semestrze. |
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, Paweł Urzyczyn | |
Prowadzący grup: | Aleksy Schubert, Paweł Urzyczyn | |
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.
Właścicielem praw autorskich jest Uniwersytet Warszawski.