dr hab.

Michał Skrzypczak

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

profesor uczelni w jednostce Instytut Informatyki

Poniedziałki: 10:15 - 11:30 (proszę się zapowiadać e-mailem)

konsultacje obowiązują w czasie trwania zajęć dydaktycznych

Deskryptywna teoria mnogości, logika MSO, teoria automatów, kombinatoryka nieskończona.

2023Z - Podstawy matematyki 1000-211bPM: Ćwiczenia (grupa 2)

2023Z - Semantyka i weryfikacja programów 1000-215bSWP: Ćwiczenia (grupa 1), Ćwiczenia (grupa 2), Ćwiczenia (grupa 6)

2023L - Języki i paradygmaty programowania 1000-216bJPP: Laboratorium (grupa 5)

2023L - Języki, automaty i obliczenia 1000-214bJAO: Ćwiczenia (grupa 1)

2024Z - Podstawy matematyki 1000-211bPM: Ćwiczenia (grupa 2)

2024Z - Programowanie współbieżne 1000-213bPW: Ćwiczenia (grupa 5)

2024Z - Semantyka i weryfikacja programów (d. 1000-215bSWP) 1000-2M24SWP: Laboratorium (grupa 2)

2024L - Alfabety nieskończone 1000-2M16AN: Ćwiczenia (grupa 1)

2024L - Języki, automaty i obliczenia 1000-214bJAO: Ćwiczenia (grupa 1), Ćwiczenia (grupa 7)

2024 - Języki, automaty i obliczenia 1000-2D23JAO: Seminarium (grupa 1)

Imiona

Michał Paweł

Nazwisko

Skrzypczak

Stopnie i tytuły

dr hab.

PBN ID

5e70935b878c28a0473a7f3e

55-44-566

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

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

https://orcid.org/0000000296474993

adres email jest ukryty

wyślij wiadomość do użytkownika