prof. dr hab.

Paweł Urzyczyn

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

profesor w jednostce Instytut Informatyki

czwartki: 19:00 - 20:30

https://us02web.zoom.us/j/84593508534?pwd=SUFPYmdEL0kxeFVML0daVlJUT0xNdz09

termin konsultacji obowiązuje w czasie trwania zajęć dydaktycznych

Matematyczne podstawy informatyki, logika stosowana, teoria typów

2022Z - Logika i teoria typów 1000-2M13LTT: Wykład (grupa 1)

2022Z - Podstawy matematyki 1000-211bPM: Ćwiczenia (grupa 1), Wykład (grupa 1)

2022Z - Złożoność obliczeniowa 1000-716ZOB: Ćwiczenia (grupa 1), Wykład (grupa 1)

2022 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT: Seminarium badawcze (grupa 1)

2023Z - Podstawy matematyki 1000-211bPM: Ćwiczenia (grupa 1), Wykład (grupa 1)

2023Z - Rachunek lambda 1000-2M02RL: Ćwiczenia (grupa 1), Wykład (grupa 1)

2023Z - Złożoność obliczeniowa 1000-716ZOB: Ćwiczenia (grupa 1), Wykład (grupa 1)

2023 - Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT: Seminarium badawcze (grupa 1)

Imiona

Paweł Jacek

Nazwisko

Urzyczyn

Stopnie i tytuły

prof. dr hab.

PBN ID

5e709355878c28a0473a76ef

55-44-570

Banacha 2, 02-097 Warszawa, pokój 5700

http://www.mimuw.edu.pl/~urzy

https://orcid.org/0000000337199618

adres email jest ukryty

wyślij wiadomość do użytkownika