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).
|
|
23-24 paĽdziernika 2009
|
II Konferencja Filozofia Matematyki (referat).
|
|
19-27 sierpnia 2010
|
International Congress of Mathematicians, Hyderabad, Indie (referat).
|
|
7-10 paĽdziernika 2011
|
HAPOC-11: Conference on the History and Philosophy of Computing,
Gandawa, Belgia, (referat).
|
|
17-18 paĽdziernika 2011
|
III Konferencja Filozofia Matematyki (referat).
|
|
17-21 września 2012
|
International Conference dedicated to the 120th anniversary of Stefan Banach, Lwów, Ukraina.
|
|
20-23 września 2013
|
History and Philosophy of Infinity, Cambridge, Anglia.
|
|
16 listopada 2015
|
Filozofia w logice i informatyce, Politechnika Warszawska, Warszawa.
|
|
17 maja 2016
|
Efektywna komunikacja naukowa, UAM, Poznań (referat).
|
|
17-18 listopada 2016
|
Filozofia w informatyce, Uniwersytet Papieski Jana Pawła II w Krakowie (referat).
|
|
2-3 grudnia 2016
|
HOMO INFORMATICUS 4.0 - informatyka, człowiek, społeczeństwo, Instytut Filozofii UAM Poznań (referat).
|
|
6 grudnia 2016
|
II Konferencja Szkoleniowa Efektywna Komunikacja Naukowa, UAM Poznań (referat).
|
|
9-10 grudnia 2016
|
V Konferencja Filozofia Matematyki i Informatyki, Wydział Matematyki i Informatyki UAM Poznań (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.
|
N N101 136940
2011-2014
|
Zagadnienia filozoficzne w informatyce, Projekt Badawczy NCN; wykonawca.
|
|
GD-01/2012
|
Historia obliczeń, grant dydaktyczny Wydziału Matematyki i Informatyki UAM.
|
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
|
|
2011
|
Nagroda indywidualna III stopnia Rektora Uniwersytetu im. Adama Mickiewicza za osiągnięcia dydaktyczne
|
|
2012
|
Nagroda Dziekana Wydziału Matematyki i Informatyki UAM Poznań za pracę na rzecz Wydziału
|
|
2013
|
Nagroda indywidualna III stopnia Rektora Uniwersytetu im. Adama Mickiewicza za osiągnięcia w pracy naukowej
|
|
2013
|
Nominacja do Nagrody w Konkursie na Najlepszy Podręcznik i Skrypt Akademicki (XVII Targi Książki w Krakowie) ,,Historia obliczeń. Od rachunku na palcach do maszyny analitycznej''.
|
|
2015
|
Nagroda Dziekana Wydziału Matematyki i Informatyki Uniwersytetu im. Adama Mickiewicza
|
ORGANIZOWANE KONFERENCJE
|
I Konferencja Filozofia Matematyki, Poznań 2008.
|
|
II Konferencja Filozofia Matematyki, Poznań 2009.
|
|
III Konferencja Filozofia Matematyki, Poznań 2011.
|
|
IV Konferencja Filozofia Matematyki, Poznań, 5-6 grudnia 2014.
|
|
V Konferencja Filozofia Matematyki, Poznań, 9-10 grudnia 2016.
|
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
|
Przewodnik po historii matematyki , Wydawnictwo Naukowe UAM, Poznań 2006, ss. 255.
|
|
Matematyka w ujęciu strukturalnym, Wydawnictwo Naukowe UAM, Poznań 2007, ss. 153.
|
|
Światy matematyki. Tworzenie czy odkrywanie?, Wydawnictwo Naukowe UAM, Poznań 2010, ss. 367 (współredaktor J. Pogonowski).
|
|
Historia obliczeń. Od rachunku na palcach do maszyny analitycznej, Wydawnictwo Naukowe UAM, Poznań 2012, ss. 235.
|
|
Z zagadnień ontologicznych informatyki, Wydawnictwo Naukowe UAM, Poznań 2016, ss. 266.
|
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 nr 3-4 (2009), 235-254.
|
|
O związkach informatyki z matematyką, Filozofia Nauki , 1 (2010), 77-89.
|
Paradygmaty informatyki, [w:] Światy matematyki. Tworzenie czy odkrywanie? , red.
I. Bondecka-Krzykowska, J. Pogonowski, Wydawnictwo Naukowe UAM, Poznań 2010, 117-134.
|
|
Uwagi na temat ontologii wirtualnej rzeczywistości, Filozofia Nauki 4 (2012), 139-153.
|
|
The Beginnings of Mechanical Computing in Poland, Studies in Logic, Grammar and Rhetoric 27 (40), 2012, 45-62.
|
|
Informatyka jako nauka, Roczniki Filozoficzne XLII (3), 2014, 85-102.
|
|
O przedmiocie badań informatyki, Studia Philosophiae Christianae 50 (2), 2014, 5-24.
|
|
Co to jest komputer? Uwagi ontologiczne, [w:] Filozofia matematyki i informatyki, red. R. Murawski, Copernicus Center Press, Kraków 2015, s. 291-309.
|
|
Hardware versus software, [w:] Problemy filozofii matematyki i informatyki, red. R. Murawski, J. Woleński, Wydawnictwo Naukowe UAM 2018, s. 205-212.
|
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).
|
|
Słonimski's theorem and its implementation in the calculating machine
International Congress of Mathematicians, Hyderabad, August 19-27, 2010, Abstracts, 657-658.
|
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.
|
|
Naukowe curriculum vitae Romana Murawskiego, [w:] Światy matematyki.
Tworzenie czy odkrywanie? , red. I. Bondecka-Krzykowska, J. Pogonowski, Wydawnictwo Naukowe UAM,
Poznań 2010, 25-68 (współautor J. Pogonowski).
|
|
