EN

Zajęcia


Ćwiczenia

[-]

Języki, automaty i obliczenia, lato 2016/17


Wykład prowadzi: dr Wojciech Czerwiński
Notatki z ćwiczeń z dn. 04.04.2017
[-]

Logika dla informatyków, zima 2015/16


Wykład prowadzi: prof. dr hab Jerzy Tyszkiewicz
[-]

Wybrane zagadnienia teorii mnogości, zima 2015/16


Wykład prowadzi: prof. dr hab Piotr Zakrzewski
Termin wykładu: wtorki, godz. 16:15-18:00, sala 5870
Termin ćwiczeń: czwartki, godz. 12:15-14:00, sala 1780
[-]

Automaty na drzewach nieskończonych, lato 2013/14


Wykład prowadzą: dr Alessandro Facchini i dr Henryk Michalewski
Strona wykładu
Termin wykładu: piątki, godz. 10:15-12:00, sala 2280
Termin ćwiczeń: piątki, godz. 12:15-14:00, sala 2280
[-]

Podstawy matematyki, zima 2012/13


Wykład prowadzą: dr Jacek Chrząszcz i prof. dr hab. Paweł Urzyczyn
Strona wykładu
Termin wykładu: czwartki, godz. 12:15-14:00, sala 4420
Termin ćwiczeń: poniedziałki, godz. 12:15-14:00, sala 3240
Materiały
[-]

Semantyka i weryfikacja programów, zima 2010/11


Wykład prowadzi: prof. dr hab. Andrzej Tarlecki.
Strona wykładu
Termin wykładu: poniedziałki, godz. 12:15-14:00, sala 5440
Termin ćwiczeń: środy, godz. 8:30-10:00, sala 3140
Materiały
Oceń wykładowcę: wikispaces
Na konsultacje proszę umawiać się e-mailem.
mskrzypczak mimuw edu pl
powrót
ostatnia modyfikacja: 09:09 05.04.2017