EN

Zajęcia


(Niektóre) Ćwiczenia

[-]

Semantyka i weryfikacja programów, zima 2024/25


Materiały
[-]

Języki i paradygmaty programowania, lato 2023/24


Materiały
[-]

Języki i paradygmaty programowania, lato 2021/22


Materiały
[-]

Semantyka i weryfikacja programów, zima 2021/22


Wykład prowadzi: prof. dr hab. Andrzej Tarlecki.
Strona wykładu
Termin wykładu: poniedziałki, godz. 14:15-16:00, sala 3180
Materiały Moodle
Notatki do ćwiczeń w PDF
W tygodniu 10-14 stycznia zajęcia zdalne na Zoom!
Spotkania Zoom
- pn. 16:00 - 17:30, Zoom Meeting ID: 883 5020 4028
- śr. 10:15 - 11:45, Zoom Meeting ID: 825 1578 5639
Hasła do spotkań są postaci "roomXXXX" gdzie XXXX to czterocyfrowy numer sali w której odbywają się fizyczne zajęcia danej grupy.
Nagrania zoom:
Hasła do nagrań są postaci "room_XXXX" jak wyżej.
grupa 6, 22.11
grupa 3, 24.11
grupa 6, 29.11
grupa 3, 01.12
grupa 6, 06.12
grupa 3, 08.12
grupa 6, 13.12
grupa 3, 15.12
grupa 6, 20.12
[-]

Języki i paradygmaty programowania, lato 2020/21


Materiały
[-]

Wybrane zagadnienie teorii mnogości, lato 2019/20


Wykład prowadzi: prof. Piotr Zakrzewski
Termin wykładu: czwartki, godz. 10:15-12:00, sala 3140
Termin ćwiczeń: czwartki, godz. 12:15-13:45, sala 3140

Prace domowe
Zdalne ć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
USOSweb
Na konsultacje proszę umawiać się e-mailem.
mskrzypczak mimuw edu pl
powrót
ostatnia modyfikacja: 14:03 08.10.2024