O związkach informatyki z matematyką

Autor

  • Izabela Bondecka-Krzykowska Wydział Matematyki i Informatyki, Uniwersytet im. Adama Mickiewicza w Poznaniu

Słowa kluczowe:

computer science and mathematics, philosophy of computer science, mathematical paradigm in computer science

Abstrakt

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.

Pobrania

Opublikowane

2010-03-01

Jak cytować

Bondecka-Krzykowska, I. (2010). O związkach informatyki z matematyką. Filozofia Nauki, 18(1), 77–89. Pobrano z https://www.fn.uw.edu.pl/index.php/fn/article/view/596