O związkach informatyki z matematyką
Słowa kluczowe:
computer science and mathematics, philosophy of computer science, mathematical paradigm in computer scienceAbstrakt
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
Numer
Dział
Artykuły