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

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

Книга ISBN13 9783844351811 - Уроки конструктивизма (Николай Непейвода) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

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

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

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

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

Название: Уроки конструктивизма
Книга излагает основные направления конструктивной математики (интуиционизм, советский конструктивизм, промежуточные концепции) с точки зрения современной теоретической информатики. При этом все концепции перерабатываются таким образом, чтобы они могли быть применены к нечисловым структурам данных (алгебраическим, топологическим) и применены к системам программирования высокого уровня. Основные используемые математические инструменты: логика, топология, алгебра, теория категорий. Показаны принципиально новые методы формализации и анализа понятий, разработанные в конструктивных направлениях. Разобраны уроки попыток прямого приложения конструктивизма к несовершенным программным системам. Дается также введение в недавно появившиеся разделы конструктивизма, работающие с реальной осуществимостью и ограниченными ресурсами. Завершается книга манифестом прикладного конструктивизма.
Авторы: Николай Непейвода
Издательство: LAP Lambert Academic Publishing
Год: 2011
Местонахождение: OZON.ru
ISBN: 9783844351811


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


Новости

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

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