Эта книга написана в помощь тем программистам, которые хотят
привести свои знания в систему и переосмыслить тот круг идей, с
которым приходится сталкиваться на практике. Книга призвана ока-
зать помощь в чтении и изучении оригинальных исследовательских
работ в области системного и теоретического программирования,
а также в случае необходимости произвести аккуратную математи-
ческую проработку вновь создаваемых механизмов программиро-
вания. Подробные объяснения и большое число разобранных при-
меров и задач помогут войти в курс дела без чрезмерных усилий
в подборе библиографии и начать собственную исследовательскую
работу в этой интересной и перспективной области. Этому способ-
ствует значительная независимость в изучении отдельных разделов,
что обусловлено спецификой самой математической дисциплины --
комбинаторной логики. Для более математически искушенного чита-
теля интерес могут представлять прикладные аспекты теории.
Опубликовал Kest
April 02 2014 23:06:54 ·
0 Комментариев ·
3325 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
