PL

Teaching


Classes

[-]

Languages, Automata, and Computations, winter 2016/17


Lecturers: dr Wojciech Czerwiński
[-]

Logics for Computer Scientists, winter 2015/16


Lecturers: prof. Jerzy Tyszkiewicz
[-]

Selected topics in set theory, winter 2015/16


Lecturers: prof. Piotr Zakrzewski
Lecture's time and place: Tuesday, 16:15-18:00, room 5870
Class' time and place: Thursday, 12:15-14:00, room 1780
[-]

Automata on Infinite Trees, summer 2013/14


Lecturers: Alessandro Facchini and Henryk Michalewski
Lecture's homepage
Lecture's time and place: Friday, 10:15-11:45, room 2280
Class' time and place: Friday, 12:15-14:00, room 2280
[-]

Foundations of Mathematics, winter 2012/13


Lecturers: Jacek Chrząszcz and prof. Paweł Urzyczyn
Lecture's homepage
Lecture's time and place: Thursday, 12:15-14:00, room 4420
Class' time and place: Monday, 12:15-14:00, room 3240
Materials
[-]

Program Semantics and Verification, winter 2010/11


Lecturer: prof. Andrzej Tarlecki
Lecture's homepage
Lecture's time and place: Monday, 12:15-14:00, room 5440
Class' time and place: Wednesday, 8:30-10:00, room 3140
Materials
Judge your lecturer: wikispaces
USOSweb
Please appoint to consultations by e-mail.
mskrzypczak mimuw edu pl
back
last modification: 17:53 11.10.2017