Izabela
Bondecka-Krzykowska
|
|
DANE OSOBOWE
|
Imię
|
Izabela
|
|
Nazwisko
|
Bondecka - Krzykowska
|
|
Data urodzenia
|
26 luty 1974
|
|
Stopień naukowy
|
Doktor
|
|
Zajmowane stanowisko
|
Adiunkt
|
|
Hobby
|
Jazda konna, wycieczki górskie.
|
KARIERA NAUKOWA
|
1992-1997
|
Studia na Wydziale Matematyki i Fizyki UAM w Poznaniu
|
|
1997
|
Magister informatyki. Wydział Matematyki i Informatyki UAM w Poznaniu.
Praca magisterska: Algorytmy deterministyczne i probabilistyczne znajdowania najkrótszych ścieżek w grafach
Promotor: prof. dr hab. Michał Karoński
|
|
1997-2002
|
Studia doktoranckie na Wydziale Matematyki i Informatyki UAM w Poznaniu
|
|
2002
|
Doktor nauk humanistycznych w zakresie filozofii.
Instytut Filozofii UAM w Poznaniu.
Rozprawa doktorska: Kierunki strukturalistyczne we współczesnej filozofii matematyki. Analiza krytyczno-porównawcza
Promotor: prof. dr hab. Roman Murawski
|
ZAJMOWANE STANOWISKA
|
1997-2001
|
Informatyk (PGNiG Warszawa Oddział Wielkopolski Okręgowy Zakład Gazownictwa w Poznaniu)
|
|
od 2002
|
Adiunkt w Zakładzie Logiki Matematycznej, Wydział Matematyki i Informatyki Uniwersytetu im. Adama Mickiewicza w Poznaniu
|
PEŁNIONE FUNKCJE
|
od 2005
|
Członek Zarządu Oddziału Poznańskiego Polskiego Towarzystwa Matematycznego
|
|
od 2009
|
Członek Zarządu Polskiego Towarzystwa Logiki i Filozofii Nauki
|
|
od 2006
|
Członek Komitetu Redakcyjnego czasopisma Studies in Logic, Grammar and Rhetoric.
|
|
2006-2008
|
Sekretarz Polskiego Towarzystwa Logiki i Filozofii Nauki
|
KONFERENCJE
|
14 - 18 maja 2002
|
XVI Szkoła Historii Matematyki
|
|
23-27 września 2002
|
VIII Warsztaty Logiczno-Filozoficzne, Zawoja (referat).
|
|
22-23 października 2002
|
XLVIII Konferencja Historii Logiki, Kraków (referat).
|
|
6-10 maja 2003
|
VIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki, Karpacz (referat).
|
|
14-20 sierpnia 2003
|
Logic Colloquium, Helsinki, Finlandia (referat).
|
|
21-22 października 2003
|
XLIX Konferencja Historii Logiki, Kraków.
|
|
29 listopada - 4 grudnia 2003
|
VI Warsztaty Logiki, Informatyki i Filozofii Nauki w Setną Rocznicę Urodzin Johna von Neumanna, Zakopane.
|
|
26-28 luty 2004
|
Konferencja Informatyka - Badania i Zastosowania, Kazimierz Dolny (referat).
|
|
26-30 kwietnia 2004
|
IX Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki, Karpacz.
|
|
14-18 września 2004
|
VII Polski Zjazd Filozoficzny, Szczecin (referat).
|
|
26-27 października 2004
|
50 Konferencja Historii Logiki, Kraków.
|
|
29-30 października 2004
|
Logika i Filozofia Nauki, Ruciane-Nida (referat).
|
|
9-11 luty 2005
|
Konferencja Informatyka - Badania i Zastosowania, Kazimierz Dolny (referat).
|
|
7-13 marca 2005
|
Zastosowania Algebry IX, Zakopane (referat).
|
|
9-13 maja 2005
|
X Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki, Szklarska Poręba.
|
|
16-17 maja 2005
|
IX Krakowska Konferencja Metodologiczna, Kraków (referat).
|
|
28 lipca - 3 sierpnia 2005
|
Logic Colloquium, Ateny, Grecja (referat).
|
|
5-8 września 2005
|
Warsztaty Logiczno-Filozoficzne, Zamek Bierzgłowski.
|
|
23-25 września 2005
|
Trends in Logic III International Conference in memoriam
A. Mostowski, H. Rasiowa, C. Rauszer, Warszawa, Ruciane-Nida.
|
|
27-29 kwietnia 2006
|
Horizons of Truth. Gödel Centenary 2006, Wiedeń, Austria.
|
|
8-12 maja 2006
|
XI Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki, Szklarska Poręba.
|
|
18-19 maja 2006
|
X Krakowska Konferencja Metodologiczna, Kraków.
|
|
22-26 maja 2006
|
XX Szkoła Historii Matematyki, Ustroń.
|
|
5-11 marca 2007
|
Zastosowania Algebry XI, Zakopane.
|
|
26-28 marca 2007
|
Perspectives on Mathematical Practices 2007, Bruksela, Belgia (referat).
|
|
17-18 maja 2007
|
XI Krakowska Konferencja Metodologiczna - Prawa Przyrody, Kraków (referat).
|
|
9-16 sierpnia 2007
|
13th International Congress of Logic Methodology and Philosophy of Science, Pekin, Chiny (referat).
|
|
5-9 maja 2008
|
XIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki, Szklarska Poręba (referat).
|
|
21-26 sierpnia 2008
|
6th European Congres of Analytic Philosophy, Kraków.
|
|
15-20 września 2008
|
VIII Polski Zjazd Filozoficzny, Warszawa.
|
|
20-23 kwietnia 2009
|
XIV Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki, Szklarska Poręba (referat).
|
|
30 czerwca - 2 lipca 2009
|
III Forum Matematyków Polskich, Kraków.
|
|
28 lipca - 2 sierpnia 2009
|
XXIII International Congress of History of Science and Technology, Budapeszt, Węgry (referat).
|
PROJEKTY BADAWCZE I GRANTY
|
lipiec 2003
|
Grant Unii Europejskiej na udział w Logic Colloquium 2003.
|
|
GD-01/2004
|
Krótki przewodnik po historii matematyki, grant dydaktyczny Wydziału Matematyki i Informatyki UAM.
|
|
1 H01A 042 27
|
Strukturalizm jako alternatywa dla platonizmu we współczesnej filozofii matematyki, Projekt Badawczy KBN; wykonawca
|
|
lipiec 2005
|
Grant na udział w Logic Colloquium 2005.
|
|
GD-06/2006
|
Metoda drzew semantycznych w klasycznym rachunku logicznym, grant dydaktyczny Wydziału Matematyki i Informatyki UAM.
|
|
2006 - 2008
|
Udział w projekcie badawczym finansowanym ze środków subsydium profesorskiego prof. Romana Murawskiego przyznanego przez Fundację na rzecz Nauki Polskiej.
|
NAGRODY
|
2003
|
Nagroda Dziekana Wydziału Matematyki i Informatyki UAM Poznań za osiągnięcia w pracy naukowej w roku 2002
|
|
2007
|
Nagroda Dziekana Wydziału Matematyki i Informatyki UAM Poznań za osiągnięcia w pracy naukowo-dydaktycznej w roku 2006
|
|
2008
|
Nagroda indywidualna II stopnia Rektora Uniwersytetu im. Adama Mickiewicza za osiągnięcia w pracy naukowej
|
|
2009
|
Nagroda Dziekana Wydziału Matematyki i Informatyki UAM Poznań za pracę na rzecz Wydziału
|
ORGANIZOWANE KONFERENCJE
|
I Konferencja "Filozofia Matematyki", Poznań 2008.
|
|
II Konferencja "Filozofia Matematyki", Poznań 2009.
|
INNA DZIAŁALNOŚĆ
|
Członek Polskiego Towarzystwa Logiki i Filozofii Nauki (od 2005)
|
|
Członek Polskiego Towarzystwa Matematycznego (od 2002)
|
|
Członek Stowarzyszenia Inżynierów i Techników Przemysłu Naftowego i Gazownictwa (1997-2001)
|
ZAKRES BADAŃ
|
Filozofia matematyki i informatyki
|
|
Logika matematyczna
|
|
Historia matematyki i informatyki
|
|
Podstawy informatyki
|
KSIAŻKI
ARTYKUŁY
|
Dowody komputerowe a status epistemologiczny twierdzeń matematyki Filozofia Nauki 3-4 (1999), s. 103-116.
|
|
Strukturalizm w filozofii matematyki, Wiadomości Matematyczne t. XXXIX, 2003, s. 167-183.
|
|
Strukturalizm jako alternatywa dla platonizmu w filozofii matematyki, Filozofia Nauki 1(2004), s. 19-28.
|
|
The four-color theorem and its consequences for the
philosophy of mathematics, Annales UMCS Informatica AI, 2(2004) s. 5-14.
|
|
Agnostyczny jeż w lesie semantycznym, w: Ratione et Studio. Profesorowi Witoldowi Marciszewskiemu w darze,
Wydawnictwo Uniwersytetu w Białymstoku, Białystok 2005, s. 191-234 (współautor: J. Pogonowski).
|
|
Semantic tree method - historical perspective and applications,
Annales UMCS Informatica AI 3 (2005), s. 15-25.
|
|
Problemy epistemologii matematyki a strukturalizm, [w:]
Struktura i emergencja, Wydawnictwo Biblos, Kraków 2006, s. 94-109 (współautor: R.Murawski).
|
|
Remarks on the structuralistic epistemology of mathematics,
Logique et Analyse 193 (2006), 31-41. (współautor: R.Murawski)
|
|
Konsekwencje Bereszit 2:16, Investigationes Linguisticae,
Volume XIV, 2006, ,(współautor: J. Pogonowski).
|
|
Teoria kategorii we współczesnej filozofii matematyki, [w:] Prawa przyrody Red. M. Heller, J.Mączka, P. Polak, M. Szczerbińska-Polak, Ośrodek Badań Interdyscyplinarnych, Polska Akademia Umiejętności, Uniwersytet Jagielloński, Biblos, Kraków-Tarnów 2008, 95-109, (współautor: R. Murawski)
|
|
Categorical structuralism in the contemporary philosophy of mathematics, Logique & Analyse 204 (2008), 365-373. (współautor: R. Murawski)
|
|
Pierwsze maszyny liczące na ziemiach polskich, Kwartalnik Historii Nauki i Techniki, (w druku).
|
|
O związkach informatyki z matematyką, Filozofia Nauki , (w druku).
|
ABSTRAKTY
|
Is structuralism an alternative to platonism in the
philosophy of mathematics?, The Bulletin of Symbolic Logic Vol.10, Number 2 June 2004, s.250-251
|
|
The four-color theorem and its philosophical consequences
, The Bulletin of Symbolic Logic Vol.11, Number 2 June 2005, s.303-304
|
|
Structuralistic epistemology of mathematics The Bulletin of Symbolic Logic Vol.12, Number 2 June 2006, s.325 (współautor R. Murawski).
|
INNE PUBLIKACJE
|
Hasła w Encyklopedii Britannica: Funkcja rekurencyjna (t.),
Alfred Tarski (t.42), Tautologia (t.42)
|
|
History of Polish Association for Logic and Philosophy of Science, Studies in Logic, Grammar and Rhetoric, 9(22) (2006), 209-210.
|
|
English version
Deutsche Version