![]() |
profesor uczelni w jednostce Instytut Informatyki
|

dr hab.
Aleksy Schubert
prof. UW
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
piątki 16:15-17:45
Konsultacje obowiązują w czasie trwania zajęć dydaktycznych.
Zainteresowania
Zastosowania logiki w informatyce: rachunek lambda ze szczególnym uwzględnieniem teorii typów, unifikacja wyższego rzędu, złożoność obliczeniowa systemów logicznych
Koordynowane przedmioty
2023Z - Ideas and informatics 3700-AL-II-qDP
2023Z - Idee i informatyka 1000-217bIII
2023Z - Idee i informatyka 1000-317bIII
2023Z - MatchIT 7600-MIT-OG
2023 - Języki programowania 1000-2D13JP
2023 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT
Prowadzone przedmioty
Imiona
Aleksy Andrzej
Nazwisko
Schubert
Stopnie i tytuły
dr hab. prof. UW
PBN ID
5e709358878c28a0473a7b83