Uniwersytet Warszawski - Centralny System Uwierzytelniania
Strona główna
dr hab.

Aleksy Schubert

prof. UW
Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

profesor uczelni w jednostce Instytut Informatyki

Terminy konsultacji dla studentów

wtorki: 16:15 - 18: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

Prowadzone przedmioty

Imiona
Aleksy Andrzej
Nazwisko
Schubert
Stopnie i tytuły
dr hab. prof. UW
PBN ID
5e709358878c28a0473a7b83
55-44-575
Banacha 2, 02-097 Warszawa, pokój 5750

plan zajęć
ul. Banacha 2
02-097 Warszawa
tel: +48 22 55 44 214 https://www.mimuw.edu.pl/
kontakt deklaracja dostępności USOSweb 6.8.0.0-931e56a2a (2022-09-30)