dr hab.

Michał Skrzypczak

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

profesor uczelni w jednostce Instytut Informatyki

Wotrki: 12:30 - 14:00 (prosze sie zapowiadac e-mailem)

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

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

2022Z - Podstawy matematyki 1000-211bPM: Ćwiczenia (grupa 5)

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

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

2022L - Języki, automaty i obliczenia 1000-214bJAO: Wykład (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