dr hab.

Michał Skrzypczak

prof. ucz.

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.

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

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

2024Z - Teoria informacji 1000-2N03TI: Ćwiczenia (grupa 3)

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)

2025Z - Automaty, logika i gry 1000-2M22ALG: Wykład (grupa 1)

2025Z - Języki, automaty i obliczenia II 1000-2M15ZTA: Ćwiczenia (grupa 2)

2025Z - Podstawy matematyki 1000-211bPM: Ćwiczenia (grupa 2), Ćwiczenia (grupa 4)

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

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

Imiona

Michał Paweł

Nazwisko

Skrzypczak

Stopnie i tytuły

dr hab. prof. ucz.

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