Autor: Bondecka-Krzykowska, Izabela - Integro - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Bondecka-Krzykowska, Izabela" wg kryterium: Autor

Wyświetlanie 1-9 z 9

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: The four-color theorem and its consequences for the philosophy of mathematics
Autorzy:: Bondecka-Krzykowska, Izabela
Data publikacji:: 2004
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Semantic tree method - historical perspective and applications
Autorzy:: Bondecka-Krzykowska, Izabela
Data publikacji:: 2005
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: O przedmiocie badań informatyki
About the object of computer science’s studies
Autorzy:: Bondecka-Krzykowska, Izabela
Tematy:: philosophy of computer science
ontology of computer science
information
computer
software
algorithm
filozofia informatyki
ontologia informatyki
informacja
komputer
program komputerowy
algorytm; Pokaż więcej
Data publikacji:: 2014
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Strukturalizm jako alternatywa dla platonizmu w filozofii matematyki
Structuralism as an Alternative View to Platonism in the Philosophy of Mathematics
Autorzy:: Bondecka-Krzykowska, Izabela
Data publikacji:: 2004-03-01
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: O związkach informatyki z matematyką
About Connections between Computer Science and Mathematics
Autorzy:: Bondecka-Krzykowska, Izabela
Data publikacji:: 2010-03-01
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Dowody komputerowe a status epistemologiczny twierdzeń matematyki
Computer Proofs and the Epistemological Status of Mathematical Theorems
Autorzy:: Bondecka-Krzykowska, Izabela
Data publikacji:: 1999-09-01
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Uwagi na temat ontologii wirtualnej rzeczywistości
Remarks on Ontology of Virtual Reality
Autorzy:: Bondecka-Krzykowska, Izabela
Data publikacji:: 2012-12-01
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Dualna natura programów komputerowych
Autorzy:: Bondecka-Krzykowska, Izabela
Tematy:: philosophy of computer science
ontology of computer programs
quasi-particular objects
program as mathematical object
program as pattern; Pokaż więcej
Data publikacji:: 2017
Wydawca:: Uniwersytet Papieski Jana Pawła II w Krakowie
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Informatyka jako nauka
Computer Science as a Branch of Knowledge
Autorzy:: Bondecka-Krzykowska, Izabela
Tematy:: informatyka
dziedzina nauki
obliczanie
computer science
branch of science
computing; Pokaż więcej
Data publikacji:: 2014
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-9 z 9

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies