 |
profesor uczelni w jednostce Instytut Informatyki
|
dr hab.
Aleksy Schubert
prof. ucz.
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
Czwartki 16:15-17:45
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
2023 - Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" 1000-2S22SLW
2024Z - Ideas and informatics 3700-AL-II-qDP
2024Z - Idee i informatyka 1000-217bIII
2024Z - Idee i informatyka 1000-317bIII
2024Z - MatchIT 7600-MIT-OG
2024L - Funkcyjne programowanie sieciowe 1000-2M24FPS
2024 - Języki programowania 1000-2D13JP
2024 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT
Prowadzone przedmioty
2023L - Złożoność określania własności logicznych stwierdzeń 1000-2M23ZWL:
Ćwiczenia (grupa 1), Wykład (grupa 1)
2023 - Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" 1000-2S22SLW:
Seminarium badawcze (grupa 1)
Imiona
Aleksy Andrzej
Nazwisko
Schubert
Stopnie i tytuły
dr hab. prof. ucz.
PBN ID
5e709358878c28a0473a7b83
adres email jest ukryty 
