Marcin Chałupnik (Uniwersytet Warszawski)

Rozszerzenia funktorów wielomianowych i ciąg De-Rhama

Data obrony: 24 listopada 2003 11:15 Data nadania: 27 listopada 2003 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Stanisław Betley, prof. UW
Recenzenci: dr hab. Zbigniew Marciniak, prof. UW, prof. dr hab. Daniel Simson (Uniwersytet Mikołaja Kopernika w Toruniu)
Autoreferat w języku polskim

Norbert Dojer (Uniwersytet Warszawski)

Badanie zanurzalności algebr częściowych za pomocą systemów przepisywania termów

Data obrony: 16 czerwca 2003 12:00 Data nadania: 24 czerwca 2003 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Skowron
Recenzenci: dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie), prof. dr hab. Jerzy Tiuryn
Autoreferat w języku polskim

Marcin Bobieński (Uniwersytet Warszawski)

Geometria zespolona i jej zastosowania w układach dynamicznych

Data obrony: 6 czerwca 2003 12:00 Data nadania: 24 czerwca 2003 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Henryk Żołądek
Recenzenci: prof. dr hab. Bronisław Jakubczyk, prof. dr hab. Roman Srzednicki (Uniwersytet Jagielloński w Krakowie)

Daria Walukiewicz-Chrząszcz (Uniwersytet Warszawski)

Termination of Rewriting in the Calculus of Constructions

Data obrony: 9 kwietnia 2003 13:30 Data nadania: 22 maja 2003 Stopień doktora nauk matematycznych w zakresie informatyki Promotorzy: prof. dr hab. Jerzy Tiuryn, Uniwersytet Warszawski, prof. Jean Pierre Jouannaud (University Paris XI, Orsay)
Recenzenci: dr hab. Jerzy Marcinkowski (Uniwersytet Wrocławski), prof. Mitsuhiro Okada (Keio University, Tokyo), prof. Helmut Schwichtenberg (Muenchen Universitaet), dr hab. Paweł Urzyczyn (Uniwersytet Warszawski)

Witold Sadowski (Uniwersytet Warszawski)

Asymptotyka przepływów płynów magneto-mikropolarnych

Data obrony: 10 kwietnia 2003 14:45 Data nadania: 22 maja 2003 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Grzegorz Łukaszewicz, prof. UW
Recenzenci: prof. dr hab. Tomasz Dłotko (Uniwersytet Śląski), dr hab. Dariusz Wrzosek

Henryk Michalewski (Uniwersytet Warszawski)

Przestrzenie funkcyjne z topologią zbieżności punktowej

Data nadania: 16 stycznia 2003 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Witold Marciszewski, prof. UW
Recenzenci: dr hab. Józef Chaber, prof. UW, dr hab. Grzegorz Plebanek (Uniwersytet Wrocławski)

Łukasz Wiechecki (Uniwersytet Warszawski)

O grupach jedności pierścieni grupowych

Data nadania: 19 grudnia 2002 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Zbigniew Marciniak
Recenzenci: dr hab. Piotr Grzeszczuk (Politechnika Białostocka), prof. dr hab. Jan Krempa

Janusz Jabłonowski (Uniwersytet Warszawski)

Komputerowo wspomagane konstruowanie poprawnych programow

Data nadania: 20 czerwca 2002 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. W. M. Turski
Recenzenci: prof. dr hab.J. Madey, prof. dr hab. T. Szmuc (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)

Maciej Górski (Uniwersytet Warszawski)

Antycypująca całka Skorochoda w przestrzeniach konuklearnych

Data nadania: 16 maja 2002 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Tomasz Bojdecki
Recenzenci: dr hab. Jacek Jakubowski, dr hab. Szymon Peszat (Instytut Matematyczny PAN)

Jakub Wróblewski (Uniwersytet Warszawski)

Adaptacyjne metody klasyfikacji obiektow

Data nadania: 18 kwietnia 2002 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Skowron
Recenzenci: prof. dr hab. Lech Polkowski, prof. dr hab. Roman Slowinski, prof. dr hab. Andrzej Szalas

Dominik Ślęzak (Uniwersytet Warszawski)

Przyblizone redukty decyzyjne

Data nadania: 18 kwietnia 2002 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Skowron
Recenzenci: prof. dr hab. Jacek Koronacki, dr hab. Damian Niwinski, prof. UW

Adam Bałaban (Uniwersytet Warszawski)

Wnioskowanie o programach za pomocą rozszerzenia logiki algorytmicznej

Data nadania: 14 marca 2002 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Jan Madey
Recenzenci: dr hab. Mirosława Mirkowska-Salwicka, prof. PJWSTK, dr hab. Pawel Urzyczyn, prof. UW

Mirosława Reńska (Uniwersytet Warszawski)

Punkty Binga i niejednorodność kontinuów dziedzicznie nierozkładalnych wymiaru > 1

Data nadania: 17 stycznia 2002 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Elżbieta Pol
Recenzenci: prof. dr hab. Józef Krasinkiewicz, dr hab. Witold Marciszewski

Jarosław Kachniarz (Uniwersytet Warszawski)

Zastosowanie metody eliminacji kwantyfikatorów II rzędu w dedukcyjnych bazach danych.

Data nadania: 17 stycznia 2002 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Szałas
Recenzenci: doc. dr hab. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN), prof. dr hab. Andrzej Skowron

Anna Talarczyk (Uniwersytet Warszawski)

Czas lokalny samoprzecięć procesów gaussowskich w S'(Rd).

Data nadania: 15 listopada 2001 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Tomasz Bojdecki
Recenzenci: prof. dr hab. Stanisław Kwapień, prof. dr hab. Jerzy Zabczyk
Autoreferat w języku polskim