[pl] [en] 
Agnieszka Kozubek-Krycuń

Kontakt

Adres

Wydział Matematyki, Informatyki i Mechaniki
Uniwersytetu Warszawskiego
ul. Banacha 2
02-097 Warszawa

Email

kozubek (at) mimuw (dot) edu (dot) pl

Zajęcia

2020/2021

Podstawy matematyki

2018/2019

Podstawy matematyki

2017/2018

Podstawy matematyki

2016/2017

Programowanie obiektowe
Podstawy matematyki

2015/2016

Programowanie obiektowe
Podstawy matematyki

2014/2015

Programowanie obiektowe
Podstawy matematyki

2013/2014

Programowanie obiektowe
Podstawy matematyki

2012/2013

Programowanie obiektowe
Podstawy matematyki

2011/2012

Programowanie obiektowe
Podstawy matematyki - grupa nr 1 (godz. 14), grupa nr 10 (godz. 12)
Logika dla informatyków

2010/2011

Programowanie obiektowe
Indywidualny projekt programistyczny
Podstawy matematyki - grupa nr 1 (godz. 14), grupa nr 10 (godz. 12)
Logika dla informatyków

2009/2010

Podstawy matematyki - grupa nr 1 (środa), grupa nr 10 (piątek)
Programowanie funkcyjne - laboratorium
Programowanie obiektowe

2008/2009

Programowanie obiektowe
Podstawy matematyki
Programowanie funkcyjne - laboratorium

2007/2008

Programowanie obiektowe - ćwiczenia i laboratorium (Java)
Podstawy matematyki
Programowanie obiektowe - laboratorium (Smalltalk)
Rachunek lambda

2006/2007

Wstęp do teorii mnogości
Teoretyczne podstawy systemów wspomagających dowodzenie

Badania

Prace

A Formalization of the Naive Type Theory, doktorat, Uniwersytet Warszawski, 2011
In the Search of a Naive Type Theory, wspólnie z Pawłem Urzyczynem, w: M.Miculan, I.Scagnetto, F.Honsell (eds.), TYPES 2007, LNCS 4941, pp. 110-124
Wymiar Goldiego w kratach, praca magisterska, Uniwersytet Warszawski, 2007
Problem sprawdzania typu dla logiki pierwszego rzędu, praca magisterska, Uniwersytet Warszawski, 2006

Prezentacje

A Formalization of the Naive Type Theory, 31 maja 2012 r., Warszawa
Formalizacja naiwnej teorii typów, 17 listopada 2011 r., Wrocław
Inductive types in Less Naive Type Theory, TYPES 2010, 14 października 2010 r., Warszawa
Less Naive Type Theory, Young Researchers Forum, 21 sierpnia 2010 r., Brno
Mniej naiwna teoria typów, Forum Informatyki Teoretycznej, 19 kwietnia 2008 r., Zakopane
Less Naive Type Theory , Dzień Doktoranta, 26 maja 2007 r., Warszawa
In the Search of a Naive Type Theory, wspólnie z Pawłem Urzyczynem, TYPES 2007, 5 maja 2007 r., Cividale del Friuli
Problem sprawdzania typu dla logiki pierwszego rzędu, sesja Polskiego Towarzystwa Logiki i Filozofii Nauki, 16 grudnia 2006 r., Warszawa