Математическое введение в декларативное программирование

Автор(ы)

Зюзьков В.М

Год

2003

Язык

rus

Теги

Математика Программирование

Аннотация

Математическое введение в декларативное программирование Год : 2003 Автор : Зюзьков В.М. Жанр : Учебное пособие Издательство : Электронное издание Язык : Русский Формат : PDF Качество : Изначально компьютерное (eBook) Количество страниц : 83 Описание : Основной вклад в развитие программирования как дисциплины несомненно внесли математики. В недрах математической логики были найдены математически точные понятия алгоритма и вычислимой функции, развита семантика формальных языков и теорий, построены системы логического вывода – и все это, заметим, было сделано в 30–40-х годах, т. е. в «докомпьютерную эру». Программирование также имеет дело с формальными языками – языками программирования. Чтобы сделать эти языки удобными и естественными для человека полезно использовать опыт математической логики, в рамках которой создан формальный язык математики. Также материальная основа программирования – современный компьютер – есть воплощение модели, предложенной математиком фон Нейманом. Несомненно, из математиков получаются, как правило, неплохие программисты, поскольку математика подобно гимнастике вырабатывает способности, в данном случае к интеллектуальной деятельности. Тем не менее, достаточно мало математиков, которые занимаются практическим программированием. В настоящее время существуют несколько программных систем, например, Maple и Mathematica, которые можно рассматривать как великолепные компьютерные инструменты для научных исследований в области математики. Почему же математики не стремятся овладеть этими инструментами? Может быть, все дело в том, как математики изучают программирование? Примеры страниц Оглавление Какой программой открыть книгу? Программы для работы с электронными книгами (краткий справочник) Опубликовано группой