Ł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

Marek Bodnar (Uniwersytet Warszawski)

Własności równań różniczkowych z opóźnieniem versus własności równań różniczkowych zwyczajnych.

Data nadania: 15 listopada 2001 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Mirosław Lachowicz
Recenzenci: prof. dr hab. Ryszard Rudnicki (Instytut Matematyczny PAN), dr hab. Tomasz Nowicki

Piotr Wojdyłło (Uniwersytet Warszawski)

Gabor and Wavelet Frames. Geometry and Applications.

Data nadania: 15 listopada 2001 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Janusz Grabowski
Recenzenci: prof. dr hab. Przemysław Wojtaszczyk, prof. H. G. Feichtinger

Dariusz Kowalski (Uniwersytet Warszawski)

Distributed algorithms to perform independent tasks in networks with processor faults

Data nadania: 27 września 2001 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Bogdan Chlebus
Recenzenci: dr hab. Krzysztof Diks, prof. dr hab. Michał Karoński

Dorota Dąbrowska (Uniwersytet Warszawski)

Skutki zaburzeń miejsc i wartości odczytu próbek funkcji w optymalnym odtwarzaniu

Data nadania: 21 czerwca 2001 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Marek Kowalski
Recenzenci: dr hab. Bolesław Kacewicz (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie), dr hab. Leszek Plaskota, dr hab. Andrzej Pokrzywa (Instytut Matematyczny PAN)

Arkadiusz Salwa (Uniwersytet Warszawski)

Uogólniona alternatywa Titsa dla półgrup liniowych

Data nadania: 26 kwietnia 2001 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Jan Okniński
Recenzenci: prof. dr hab. Andrzej Białynicki-Birula, prof. dr hab. Piotr Pragacz (Instytut Matematyczny PAN)

Aleksy Schubert (Uniwersytet Warszawski)

Zastosowanie unifikacji do problemów wyprowadzania typów

Data nadania: 22 lutego 2001 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Paweł Urzyczyn
Recenzenci: prof. dr hab. Andrzej Tarlecki, prof. dr hab. Pawel Idziak (Uniwersytet Jagielloński w Krakowie)