Уроки конструктивизма

Уроки конструктивизма
Доступно в форматах: EPUB | PDF | FB2
Страниц:
Язык: Русский
Книга излагает основные направления конструктивной математики (интуиционизм, советский конструктивизм, промежуточные концепции) с точки зрения современной теоретической информатики. При этом все концепции перерабатываются таким образом, чтобы они могли быть применены к нечисловым структурам данных (алгебраическим, топологическим) и применены к системам программирования высокого уровня. Основные используемые математические инструменты: логика, топология, алгебра, теория категорий. Показаны принципиально новые методы формализации и анализа понятий, разработанные в конструктивных направлениях. Разобраны уроки попыток прямого приложения конструктивизма к несовершенным программным системам. Дается также введение в недавно появившиеся разделы конструктивизма, работающие с реальной осуществимостью и ограниченными ресурсами. Завершается книга манифестом прикладного конструктивизма.

Отзывы


Те, кто смотрел эту страницу, также интересовались:

Как научиться рисовать по фотографии, Тони Пол
Как научиться рисовать по фотографии, Тони Пол
Слепая печать и "горячие" клавиши, Г. Э. Авшарян
Слепая печать и "горячие" клавиши, Г. Э. Авшарян
Две мышки. Сказка-обучалка
Две мышки. Сказка-обучалка

Часто задаваемые вопросы

1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF, а для смартфона - EPUB.

2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.

3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com