Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785508485344

Книга ISBN13 9785508485344 - Computable topology (Jesse Russell) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Computable topology
High Quality Content by WIKIPEDIA articles! Computable topology studies the topological and algebraic structure of computation. Computable topology includes algorithmic topology and therefore encompasses computer science. Computational topology is equivalent to the topology of ?-calculus. Within computer science computational forms can be reduced to ?-calculus's functional based mathematics. As shown by Allan Turing and Alonzo Church, the ?-calculus is strong enough to describe all mechanically computable functions (see Church-Turing thesis). Lambda-calculus is then a foundational mathematics easily made into a principle programming language from which other languages can be built. For this reason when considering the topology of computation it is suitable to focus on the topology of ?-calculus. Functional programming, e.g. type free lambda Calculus, originated as a theoretical foundation of mathematics. The premise relies on functional computability, where objects and functions are...
Авторы: Jesse Russell
Издательство: Книга по Требованию
Год: 2013
Местонахождение: OZON.ru
ISBN: 978-5-5084-8534-4


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.