PIĄTA EDYCJA (2007-2008)
Wyniki konkursu
Jury konkursu postanowiło przyznać nagrodę główną panu Jakubowi
Michaliszynowi za pracę pt. Konstrukcje PDL w logice ze strażnikami
obronioną na Wydziale Matematyki i Informatyki Uniwersytetu Wrocławskiego
(promotor dr Emanuel Kieroński).
[pdf]
Ponadto jury przyznało wyróżnienie panu Markowi Czarneckiemu za pracę
pt. Definicje prawdy w ubogich FM-dziedzinach obronioną na Wydziale
Filozofii i Socjologii Uniwersytetu Warszawskiego (promotor prof. Marcin
Mostowski).
[pdf]
Uzasadnienie werdyktu
Praca pana Jakuba Michaliszyna przynosi oryginalne i trudne wyniki z logiki matematycznej, wzbogacające nasza wiedzę o zależności pomiędzy modalną logiką programów a rachunkiem predykatów.
W pracy pana Marka Czarneckiego jury doceniło ogólną kulturę logiczną i jasność przedstawienia trudnych zagadnień zwiazanych z logicznymi aspektami arytmetyki.
Ponadto jury wyraża uznanie dla wysokiego poziomu wszystkich nadesłanych prac, dotykających różnorodnych zastosowań logiki, m.in. w teorii prawa i w informatyce.
Jury obradowało w składzie: Michał Krynicki, Marcin Mostowski, Roman Murawski, Damian Niwiński, Leszek Pacholski, Kazimierz Świrydowicz, Paweł Urzyczyn, Jan Woleński i Marek Zaionc.
W imieniu jury
Damian Niwiński
Regulamin Konkursu
1. Cel i przedmiot konkursu
1.1. Konkurs ma na celu zachęte przyszłych magistrantów do podejmowania problematyki logicznej, a także popularyzację dorobku polskich szkół logicznych.
1.2. Konkurs będzie promował dokonania najmłodszych polskich logików.
1.3. Przedmiotem konkursu są prace magisterskie, które wnoszą oryginalny wkład do logiki lub twórczo wykorzystują jej metody.
1.4. Konkurs jest otwarty na prace z różnych dziedzin: filozofii, matematyki, informatyki - lista ta nie wyczerpuje wszystkich dziedzin.
2. Organizator konkursu
2.1. Organizatorem konkursu jest Polskie Towarzystwo Logiki i Filozofii Nauki i Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego.
2.2. W skład jury wchodzi Zarząd Towarzystwa oraz członkowie powołani przez Prezesa Towarzystwa w porozumieniu z Dziekanem Wydziału MIM UW.
3. Zasady i przebieg konkursu
3.1. Do konkusru można zgłosić pracę magisterską obronioną na polskiej uczelni pomiędzy 30 września 2006 r. a 30 września 2008 r.
3.2. Dopuszczalne jest zgłaszanie prac zbiorowych, posiadających więcej niż jednego autora.
3.3. Teksty konkursowe należy przesłać pocztą elektroniczną na adres
Damian.Niwinski@mimuw.edu.pl.
3.4. Termin nadsyłania prac upływa 1 października 2008 r.
3.5. Wyniki konkursu zostaną ogłoszone przed 1 grudnia 2008 r. na stronie internetowej PTLiFN, http://www.logica.amu.edu.pl.
3.6. Na stronie tej można znaleźć niniejszy regulamin oraz informacje o poprzednich edycjach konkursu.
4. Nagrody i wyróżnienia
4.1. Autorzy najlepszych prac otrzymają nagrody pieniężne lub rzeczowe. O podziale nagród i wyróżnień decyduje jury konkursu.
4.2. Uroczyste wręczenie nagród odbędzie się na specjalnej sesji PTLiFN, w ramach której nagrodzeni autorzy będą też mieli okazję do przedstawienia swoich prac.
4.3. Za zgodą autorów, nagrodzone prace będą opublikowane na stronie internetowej PTLiFN.
EDYCJA III (2006)
Wyniki konkursu
Jury postanowiło nie przyznać pierwszej nagrody.
Jury przyznaje nagrodę specjalną pani Agnieszce Kozubek
za oryginalne wyniki naukowe zawarte w pracy pt.
Problem sprawdzania typow dla logiki pierwszego rzędu
obronionej na Uniwersytecie Warszawskim (promotor
prof. Paweł Urzyczyn).
[pdf]
Ponadto jury przyznaje trzy równorzędne wyróżnienia, które otrzymują:
pani Eliza Buszkowska, za pracę
Logiki dynamiczne i algorytmiczne jako systemy logik programów
obronioną na Politechnice Ponzańskiej (promotor
prof. Kazimierz Świrydowicz),
[pdf]
pan Sławomir Kolasiński, za pracę
Algorytm Wajsberga-Ben-Yellesa dla intuicjonistycznej logiki zdaniowej
obronioną na Uniwersytecie Warszawskim (promotor
prof. Paweł Urzyczyn),
[pdf]
pan Marcin Łazarz, za pracę
Kraty sytuacji elementarnych
obronioną na Uniwersytecie Śląskim w Katowicach
(promotor doc. dr hab. Piotr Wojtylak).
[html]
Uzasadnienie werdyktu
Praca pani Agnieszki Kozubek przynosi oryginalne rozwiązanie pewnego nietrywialnego problemu matematycznego w teorii typów, przedstawione jasno i precyzyjnie.
W pracy pani Elizy Buszkowskiej jury doceniło szerokość spojrzenia i klarowność ujęcia trudengo i rozległego tematu, a także oryginalne dowody niektórych twierdzeń.
Praca pana Sławomira Kolasińskiego stanowi cenny przykład opracowania historycznego, gdzie w kontekście współczesnego stanu wiedzy mówi się o ważnych a mało znanych dokonaniach z minionych czasów.
W pracy pana Marcina Łazarza jury doceniło oryginalną analizę algebraiczną idei B.Wolniewicza i trafność interpretacji filozoficznej wyników matematycznych.
Jury obradowało w składzie: Michał Krynicki, Grażyna Mirkowska, Marcin Mostowski, Roman Murawski, Damian Niwiński, Kazimierz Świrydowicz, Witold Marciszewski i Jan Woleński.
W imieniu Jury
Damian Niwiński
EDYCJA II (2005)
Wyniki konkursu
Jury postanowiło nie przyznać pierwszej nagrody.
Jury przyznało nagrodę specjalną panu Rafałowi Urbaniakowi
za oryginalne wyniki naukowe zawarte w pracy pt. On Ontological Functors of Leśniewski's Ontology
obronionej na Uniwersytecie Gdańskim (promotor: dr Jarosław Mrozek).
[pdf]
Jury przyznało dwa równorzędne wyróżnienia, które otrzymują:
1. pan Szymon Klarman, za pracę
Logika indukcji w ujęciu teorii decyzji obronioną
na Uniwersytecie Łódzkim (promotor: prof. Grzegorz Malinowski),
[pdf]
2. pani Małgorzata Maciejewska, za pracę Kraty podwójne we wnioskowaniach aproksymacyjnych
obronioną na Uniwersytecie Warszawskim (promotor: prof. Andrzej Skowron).
[pdf]
Ponadto, uznając wysoką wartość wszystkich nadesłanych prac, jury postanowiło zaproponować wszystkim autorom prac konkursowych umieszczenie tekstu pracy na stronie internetowej PTLiFN.
Uzasadnienie werdyktu
W pracy pana Rafała Urbaniaka jury doceniło podjęcie trudnego tematu i uzyskanie oryginalnych wyników na temat systemów Leśniewskiego.
W pracy pana Szymona Klarmana zwrócono uwagę na szeroki kontekst filozoficzny, ładny styl, a także przekonujące uzasadnienie wniosku, że logika indukcji oparta na teorii decyzji nie jest logiką w ścisłym sensie.
Praca pani Małgorzaty Maciejewskiej przynosi przegląd logik 4-wartościowych wraz z oryginalną analizą porównawczą z punktu widzenia zastosowania tych logik w rozumowaniach przybliżonych (spotykanych m.in. w sztucznej inteligencji).
Jury doceniło również wysokie walory prac, które nie uzyskały wyróżnień (w kolejności alfabetycznej Autorów):
1. Grzegorz Bułka, Analiza dowodu ontologicznego na istnienie Boga
u św. Anzelma z Canterbury,
obroniona na Uniwersytecie Śląskim
(promotor: dr Andrzej Wójcik).
[doc|pdf]
2. Nina Gierasimczuk, Algorytmiczne podejście do problemu uczenia się języka, obroniona na Uniwersytecie Warszawskim (promotor: prof. Marcin Mostowski).
3. Witold Kieraś, Złożoność obliczeniowa problemu spełnialności pewnych klas formuł klasycznego rachunku zdań, obroniona na Uniwersytecie Warszawskim (promotor: prof. Marcin Mostowski).
Praca pana Grzegorza Bułki, oparta na szerokiej literaturze kilku wieków, łączy w przejrzysty sposób elementy filozoficzne, teologiczne i formalno-logiczne.
Praca pani Niny Gierasimczuk przedstawia w ścisły sposób znane z literatury matematyczne wyniki na temat uczenia się języków, pokazując także implikacje epistemologiczne, kognitywistyczne i psychologiczne opisywanych zagadnień.
Praca pana Witold Kierasia stanowi kompetentny i dobrze napisany przegląd wyników o efektywnych przypadkach problemu spełnialności formuł zdaniowych, ukazujacy także implikacje filozoficzne (epistemologiczne) opisywanych wyników.
Jury obradowało w składzie: Grażyna Mirkowska, Roman Murawski, Damian Niwiński (przewodniczący), Andrzej Skowron, Jerzy Tyszkiewicz i Jan Woleński.
Nagroda i wyróżnienia zostaną wręczone laureatom podczas Spotkania członków PTLiFN, 10 grudnia 2005 w Warszawie.
W imieniu Jury
Damian Niwiński
EDYCJA I (2004)
Wyniki konkursu
Jury konkursu postanowiło przyznać pierwszą nagrodę panu mgr Filipowi Murlakowi za pracę pt. Problemy decyzyjne dla automatów na drzewach, obronioną na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego (promotor prof. Damian Niwiński).
[ps]
Jury przyznało dwa wyróżnienia:
panu mgr Bartłomiejowi Boskowi za pracę pt. Algorytm adaptywnego kolorowania porządków wzrastających, obronioną na Wydziale Matematyki i Informatyki Uniwersytetu Jagiellońskiego (promotor prof. Paweł Idziak)
[pdf]
oraz panu mgr Pawłowi Rojkowi za pracę pt. O abstrakcyjnych i konkretnych uniwersaliach, obronioną na Wydziale Filozoficznym Uniwersytetu Jagiellońskiego (promotor prof. Jerzy Szymura).
[doc|pdf]
Nagroda i wyróżnienia zostaną wręczone laureatom podczas Sympozjum Logika i jej zastosowania, 18 grudnia 2004 w Warszawie.
W imieniu Jury
Grażyna Mirkowska
fmurlak@mimuw.edu.pl