prof. dr hab.

Andrzej Tarlecki

Imiona

Andrzej

Nazwisko

Tarlecki

Stopnie i tytuły

prof. dr hab.

55-44-475

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

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

adres email jest ukryty

wyślij wiadomość do użytkownika

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

profesor zwyczajny w jednostce Instytut Informatyki

Członek Rady w jednostce Muzeum UW

Prorektor w jednostce Uniwersytet Warszawski

piątki: 10:00 - 12:00

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

Matematyczne podstawy inżynierii oprogramowania; logika, algebra i teoria kategorii w podstawach informatyki

2018Z - Teoria kategorii w podstawach informatyki 1000-2M10TKI: Wykład (grupa 1)

2018 - Semantyka, logika i weryfikacja oraz wiele ich ciekawych aplikacji 1000-2D08SL: Seminarium doktoranckie (grupa 1)

2019Z - Teoria kategorii w podstawach informatyki 1000-2M10TKI: Wykład (grupa 1)

2019 - Semantyka, logika i weryfikacja oraz wiele ich ciekawych aplikacji 1000-2D08SL: Seminarium doktoranckie (grupa 1)