Bondecka-Krzykowska, Izabela.
Bondecka-Krzykowska, Izabela, 1974-
Bondecka-Krzykowska, I. д-р филос. наук 1974- Izabela
Izabela Bondecka-Krzykowska polská profesorka v oboru matematiky a informatiky, autorka prací z oboru logiky a filozofie matematiky
VIAF ID: 165610265 ( Personal )
Permalink: http://viaf.org/viaf/165610265
Preferred Forms
-
-
- 100 1 _ ‡a Bondecka-Krzykowska, Izabela
- 100 1 _ ‡a Bondecka-Krzykowska, Izabela
- 100 1 _ ‡a Bondecka-Krzykowska, Izabela
-
-
-
- 100 0 _ ‡a Izabela Bondecka-Krzykowska ‡c polská profesorka v oboru matematiky a informatiky, autorka prací z oboru logiky a filozofie matematiky
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
The beginnings of mechanical computing in Poland | |
Dowody komputerowe a status epistemologiczny twierdzeń matematyki | |
Dualna natura programów komputerowych | |
The four-color theorem and its consequences for the philosophy and mathematics | |
From ontological issues of computer science | |
Hardware versus software | |
Historia obliczeń : od rachunku na palcach do maszyny analitycznej | |
History of Polish Association for Logic and Philosophy of Science | |
Informatyka jako nauka | |
Matematyka w ujęciu strukturalnym | |
Pierwsze maszyny liczące na ziemiach polskich | |
O przedmiocie badań informatyki : studium filozoficzne | |
Przedmioty wirtualne : praca zbiorowa | |
Przewodnik po historii matematyki | |
Semantic tree method : historical perspective and applications | |
Strukturalizm jako alternatywa dla platonizmu w filozofii matematyki | |
Światy matematyki : tworzenie czy odkrywanie? : księga pamiątkowa ofiarowana profesorowi Romanowi Murawskiemu | |
Uwagi na temat ontologii wirtualnej rzeczywistości | |
W poszukiwaniu definicji informatyki | |
Z zagadnień ontologicznych informatyki | |
O związkach informatyki z matematyką |