Можно наметить возможный порядок чтения изложенного материала. Совсем небольшие усилия потребует автономное прочтение разделов 2-4, 6. Это материал дает представление о гибкости и выразительных возможностях языка комбинаторной логики.
К этому предварительному базису можно добавить разделы 5, 9,
7-8, где рассматриваются нумералы, рекурсия, разложения в базисах.
Затем можно прочитать разделы 10, 15-18, которые вводят в круг
идей программирования посредством комбинаторов с динамической
системой инструкций.
Добавлять другие разделы можно по своему вкусу. В частности, более детальное знакомство с категориальной абстрактной машиной в разделах 19-22 потребует обратиться к источникам, рекомендованным в библиографии. Разделы 11-14 ориентированы на
тех читателей, которые хотят начать самостоятельное чтение оригинальных исследований в области computer science. Освоив основные идеи теории вычислений, можно приступить к чтению статей
по данному вопросу. С другой стороны, раздел 23 может заинтересовать тех, кто пожелает более глубоко вникнуть в существо построения “встроенных приложений”, которые требуют модификации
среды вычислений. В этом случае исследователь сталкивается с переменными понятиями или, по другой терминологии, с переменными
концептами.
Опубликовал Kest
April 02 2014 23:15:26 ·
0 Комментариев ·
3557 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
