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 2024/25" (zakończony)
Okres: | 2024-10-01 - 2025-06-08 |
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 na ocenę |
Zajęcia w cyklu "Rok akademicki 2025/26" (jeszcze nie rozpoczęty)
Okres: | 2025-10-01 - 2026-06-07 |
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: |
Przedmiot -
Zaliczenie na ocenę
Seminarium badawcze - 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.