Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Dowody komputerowe a status epistemologiczny twierdzeń matematyki
    Computer Proofs and the Epistemological Status of Mathematical Theorems
    Autorzy:
    Bondecka-Krzykowska, Izabela
    Powiązania:
    https://bibliotekanauki.pl/articles/963695.pdf
    Data publikacji:
    1999-09-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    The article is an attempt at collecting and systematising views on the role and place of computers in mathematics, in particular the views on the consequences of using computers in proving mathematical theorems. The following issues are considered in the article: the problem connected with the concept of mathematical proof and its features; the attempts at answering the question whether computer proofs are genuine mathematical proofs; the problems with methods of checking the correctness of classical and computer-assisted proofs; and finally the problem of the reliability of proofs and a related problem of the validity of mathematical conjectures. The main issue under discussion is the problem of philosophical consequences of regarding computer-assisted proofs as rightful in mathematics and especially its possible influence on the opinion that mathematical knowledge is a priori.
    Źródło:
    Filozofia Nauki; 1999, 7, 3-4; 103-116
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    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
    Powiązania:
    https://bibliotekanauki.pl/articles/965293.pdf
    Data publikacji:
    2004-03-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    The aim of this paper is to analyze structuralism as an alternative view to platonism in the philosophy of mathematics. We also try to find out if ontological and epistemological problems of platonism can be avoided by admitting the principles of structuralism. Structuralism claims that mathematical objects are merely positions in structures and have no identity or in general any important features outside these structures. Such view allows to avoid problems of the nature of numbers and other mathematical objects. But the chief motivation of structuralism is in fact epistemological. It offers a nice way of explaining how one can get the knowledge of mathematical objects by the process of abstraction. On the other hand, there are many problems connected with mathematical structuralism. Some of them are analyzed in the paper. We come to the conclusion that mathematical structuralism, up to now, can't express the whole truth about mathematics.
    Źródło:
    Filozofia Nauki; 2004, 12, 1; 19-28
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The four-color theorem and its consequences for the philosophy of mathematics
    Autorzy:
    Bondecka-Krzykowska, Izabela
    Powiązania:
    https://bibliotekanauki.pl/articles/764535.pdf
    Data publikacji:
    2004
    Wydawca:
    Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
    Źródło:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2004, 2, 1
    1732-1360
    2083-3628
    Pojawia się w:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Semantic tree method - historical perspective and applications
    Autorzy:
    Bondecka-Krzykowska, Izabela
    Powiązania:
    https://bibliotekanauki.pl/articles/764641.pdf
    Data publikacji:
    2005
    Wydawca:
    Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
    Źródło:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2005, 3, 1
    1732-1360
    2083-3628
    Pojawia się w:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O związkach informatyki z matematyką
    About Connections between Computer Science and Mathematics
    Autorzy:
    Bondecka-Krzykowska, Izabela
    Powiązania:
    https://bibliotekanauki.pl/articles/966620.pdf
    Data publikacji:
    2010-03-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    The article is an attempt to answer one of the most important question in the philosophy of computer science: is a computer science a new branch of mathematics or an engineering discipline? Mathematical methods in computer science (especially in the process of program designing and producing, software and hardware verification) are discussed. In the article are considered problems connected with acceptance of mathematical paradigm in computer science. The main issue is the problem of philosophical consequences of regarding computer science as a branch of mathematics.
    Źródło:
    Filozofia Nauki; 2010, 18, 1; 77-89
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Uwagi na temat ontologii wirtualnej rzeczywistości
    Remarks on Ontology of Virtual Reality
    Autorzy:
    Bondecka-Krzykowska, Izabela
    Powiązania:
    https://bibliotekanauki.pl/articles/967217.pdf
    Data publikacji:
    2012-12-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    The article is an attempt at collecting some views on ontology of virtual reality (VR). Two types of definitions of virtual reality are discussed and compared: technological (concentrated on technical features of VR) and psychological (concentrated on people’s experiences with VR). In the paper features of virtual reality such as: interaction, artificiality, simulation, full body immersion, networked communications, telepresence and immersion are presented as forming differentia specifica of virtual reality. The main studied issues are ontological problems connected with virtual reality especially ontological status of virtual objects. The main views on this subject are presented: 1) virtual objects are simulations of real objects, 2) some virtual object are as real as their equivalents in the reality (conception of Philip Brey based on Searle's social ontology), 3) virtual worlds as constructions of human mind. Virtual reality shades new light on some classical philosophical problems. In the paper two of them are discussed: 1) distinction between reality and appearances and 2) relations of the real world to a virtual one.
    Źródło:
    Filozofia Nauki; 2012, 20, 4; 139-153
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Informatyka jako nauka
    Computer Science as a Branch of Knowledge
    Autorzy:
    Bondecka-Krzykowska, Izabela
    Powiązania:
    https://bibliotekanauki.pl/articles/488557.pdf
    Data publikacji:
    2014
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    informatyka
    dziedzina nauki
    obliczanie
    computer science
    branch of science
    computing
    Opis:
    Artykuł ten jest próbą odpowiedzi na pytanie o status informatyki jako dyscypliny wiedzy oraz o miejsce, jakie zajmuje ona pośród innych nauk. Wśród informatyków i filozofów dominują cztery poglądy dotyczące statusu informatyki jako nauki. Pierwszym z nich jest twierdzenie, że informatyka to gałąź matematyki. Jeżeli podstawową działalnością informatyków jest pisanie programów – działalność matematyczna – to informatyka jest po prostu działem matematyki, czyli nauką formalną. Nie wszyscy jednak badacze zgadzają się z tym poglądem, twierdząc, że pisanie programów to rodzaj eksperymentu, a informatyka jest nauką przyrodniczą. Eksperymentowanie za pomocą komputerów jest czymś więcej niż tylko metodą pomocniczą w innych naukach, odgrywa bowiem istotną rolę również w obrębie samej informatyki. Wielu informatyków uważa jednak, że traktowanie uprawianej przez nich dyscypliny jako nauki formalnej lub przyrodniczej jest niewłaściwe, ponieważ zaniedbuje podstawowe stawiane przed nią zadanie – rozwiazywanie problemów z wykorzystaniem komputerów. Informatyka jest zatem gałęzią inżynierii. Innym dominującym obecnie poglądem jest traktowanie informatyki jako nowej dyscypliny wiedzy, która wykorzystuje zarówno osiągnięcia inżynierii, jak i metody formalne i eksperymentalne. Sama nie jest jednak ani gałęzią matematyki, ani nauką przyrodniczą, ani też dziedziną inżynierii.
    The article is an attempt to answer the question of the status of computer science as a branch of knowledge and its place among other disciplines. Four views on the status of computer science as a branch of knowledge dominate nowadays among computer scientists and philosophers. The first of them is a claim that science is a branch of mathematics. Because writing programs is a basic activity of computer scientists, which is in fact a mathematical activity, so a computer science is a formal science, simply a party of mathematics. But not all agree with this view—some specialists claim that writing computer programs is a kind of experiment and that computer science is a natural science. Experimenting using computers is not only a supporting method in other sciences but it plays an important role within the very computer science. However, many computer scientists believe that treating their discipline as a formal or natural science neglects the basic objective of computer science, i.e. problem solving using computers. So computer science is not a science at all, it is an engineering discipline. The fourth, currently dominating view claims that computer science is a new discipline of knowledge that uses engineering, experimental and formal methods. But it is neither a branch of mathematics, nor a natural science, nor an engineering discipline
    Źródło:
    Roczniki Filozoficzne; 2014, 62, 3; 85-102
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O przedmiocie badań informatyki
    About the object of computer science’s studies
    Autorzy:
    Bondecka-Krzykowska, Izabela
    Powiązania:
    https://bibliotekanauki.pl/articles/431273.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    philosophy of computer science
    ontology of computer science
    information
    computer
    software
    algorithm
    filozofia informatyki
    ontologia informatyki
    informacja
    komputer
    program komputerowy
    algorytm
    Opis:
    One of the fundamental ontological issues of the philosophy of computer science is the question about the object of computer scientists’ research. In the paper some views concerning the objects of computer science are analyzed. They include information, computers, computer programs and algorithms. Recognition of computer science as a science of information leads to many philosophical problems related not only to the definition of information, but also of its nature. Similar issues are associated with the adoption of computers as the subject of computer science’s research. In the paper the relationship between the computer as an abstract object and its implementation − real machines is examined. Also the problem of distinguishing hardware from software is considered. Finding that the main computer scientist’s activity is software creation, leads to the view that computer science is the science of programs. The main views on the nature of programs, including the distinction between program as code and program as an executed process are compared and discussed. The paper also contains an analysis of algorithms and procedures as objects of computer science’s research, including a discussion of the main features of the algorithm.
    Jednym z podstawowych zagadnień ontologicznych filozofii informatyki jest pytanie o przedmiot badań informatyków. W pracy dokonano analizy wybranych poglądów dotyczących obiektów informatyki: informacji, komputerów, programów komputerowych oraz algorytmów. Uznanie informatyki za naukę o informacji prowadzi do wielu problemów filozoficznych związanych nie tylko z definicją wszechobecnej w nauce informacji, ale również z jej naturą. Podobne kwestie związane są z przyjęciem, że przedmiotem badań informatyki są komputery. W pracy przeanalizowano między innymi związek pomiędzy komputerem, rozumianym jako byt abstrakcyjny, a rzeczywistymi maszynami, będącymi jego urzeczywistnieniami, oraz problem rozróżnienia hardware’u od software’u. Z kolei stwierdzenie, że podstawową działalnością informatyków jest tworzenie programów komputerowych prowadzi do poglądu, że informatyka jest nauką o programach. W pracy dokonano zestawienia poglądów na naturę programów, w tym na rozróżnienie programów jako kodów od programów wykonywanych na komputerach. Praca zawiera również analizę pojęcia algorytmu oraz procedury jako obiektów badań informatyki, w tym omówienie cech algorytmu.
    Źródło:
    Studia Philosophiae Christianae; 2014, 50, 2; 5-24
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dualna natura programów komputerowych
    Autorzy:
    Bondecka-Krzykowska, Izabela
    Powiązania:
    https://bibliotekanauki.pl/articles/429155.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    philosophy of computer science
    ontology of computer programs
    quasi-particular objects
    program as mathematical object
    program as pattern
    Opis:
    The paper is devoted to the discussion on ontological status of the computerprograms. The most popular conceptions are presented and critically discussed:programs as concrete abstractions, as quasi-particular objects (similar to musicalpieces), as mathematical objects (of different kinds), and finally – programas digital pattern. Advantages and disadvantages of those approachesare pointed out and some possible solutions are proposed.
    Źródło:
    Semina Scientiarum; 2017, 16
    1644-3365
    Pojawia się w:
    Semina Scientiarum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      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