PL

Teaching


(Selected) classes

[-]

Semantics and program verification, winter 2024/25


Materials
[-]

Languages and paradigms of programming, summer 2023/24


Materials
[-]

Languages and paradigms of programming, summer 2021/22


Materials
[-]

Program Semantics and Verification, winter 2021/22


Lecturer: prof. Andrzej Tarlecki
Lecture's homepage
Lecture's time and place: Monday, 14:15-16:00, room 3180
Moodle Materials
PDF Notes
Zoom Meetings atc
Info available only in Polish version of the site.
[-]

Languages and paradigms of programming, summer 2020/21


Materials
[-]

Selected topics in set theory, summer 2019/20


Lecturer: prof. Piotr Zakrzewski
Lecture's time and place: Thursday, 10:15-12:00, room 3140
Class' time and place: Thursday, 12:15-13:45, room 3140

Homework
Online tutorials
[-]

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: 14:03 08.10.2024