Wyróżnienie w Konkursie Stowarzyszenia Wydawców Szkół Wyższych na Najlepszy Podręcznik i Skrypt Akademicki 2014 roku, 18. Międzynarodowe Targi Książki w Krakowie

Antologia tekstów z filozofii informatyki. Zawiera dwadzieścia jeden podstawowych prac dotyczących następujących zagadnień: Informatyka jako dyscyplina, Co to jest komputer, Czym jest algorytm, Natura programu komputerowego, Weryfikacja programów, Filozofia sztucznej inteligencji, Epistemologia informatyki, Teza Churcha – Turinga.

The book shows a panorama of philosophical questions and problems [first of all of ontological and epistemological nature] connected with computer science and indicates mainanswers that appeared in the literature. It contains 21 texts divided into eight groups corresponding to main problems of the philosophy of computer science: [1] what is the computer science as a discipline, [2] what is a computer, (3] what is an algorithm, (4] the nature of a computer program, (5] the problem of the verification of programs, [6] the philosophy of artificial intelligence, [7] epistemology of computer science, [8] Church-Turing thesis.