СУЭБ ИВТ СО РАН

А.М.Федотов

Словарные статьи в коллекции: (public_cat = Thesaurus of Information Technology: Dictionary Articles )

Декларативное программирование

Декларативный стиль программирования (декларативное программирование) представляет собой совокупность утверждений, описывающих фрагмент предметной области или сложившуюся ситуацию; описывается результат (его свойства), а не методы его достижения.

Программируя в декларативном стиле, программист должен описать, что нужно решать.

В основе декларативных языков лежит формализованная человеческая логика. Человек лишь описывает решаемую задачу, а поиском решения занимается императивная система программирования. В итоге получаем значительно большую скорость разработки приложений, значительно меньший размер исходного кода, легкость записи знаний на декларативных языках, более понятные, по сравнению с императивными языками, программы.

Ключевые термины, связанные с термином : "Декларативное программирование":

1. APL (язык программирования) [ru]
2. LISP [ru]
3. TeX [ru]
4. База знаний [ru]
5. Логическое программирование [ru]
6. Лямбда-исчисление [ru]
7. парадигмы программирования [ru]
8. Редукционные вычислительные системы [ru]
9. Функциональное программирование [ru]

Литература

Основная

1. Балдин Е.М. Компьютерная типография LaTeX // БХВ-Петербург - 2012
2. Львовский С.М. Набор и верстка в системе LaTeX. - М.: Московский центр непрерывного математического образования, 2003. - 448 с
3. Несколько слов о ТеХ'е

Дополнительная

1. Jon Warbrick Essential LaTeX
2. LaTeX Help
3. Tobias Oetiker Не очень краткое введение в LaTeX2e
4. Джон Харрисон (John Harrison) Введение в функциональное программирование // [Электронный ресурс] http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh/
5. Документация к LaTeX2e. Руководство для пользователей
6. Краткая инструкция по использованию пакета LateX
7. Пальмер С.З., Фелсинг Дж.М. Практическое руководство по функционально-ориентированной разработке ПО // М.: "Вильямс", 2002. - 304 с. ISBN 5-8459-0365-3.
8. Харрисон Дж., Введение в функциональное программирование / [Электронный ресурс]. - http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh/. - 1997.

Факультативная

1. Donald Ervin Knuth, The TeXbook / Addison-Wesley Publishing Company. - 1991.
2. Feuersanger, Christian. Manual for Package pgfplots - 2D/3D Plots in LATEX.| Version 1.7 (2012/26/10). - p.414| Version 1.15 (2017/O6/05). - p.566
3. Iverson Kenneth Eugene, Exploring Math // Jsoftware Inc., 1996-2002.
4. Jon Warbrick, Essential LaTeX // -1988.
5. Kenneth Eugene Iverson, A Programming Language / John Wiley & Sons, Inc., New York • London • Sydney. - 1962. - P. 302.
6. The TikZ and PGF Packages |(Manual for version 3.0.1a; 2015.08.29) // - 2013, p.1161.| (Manual for version 2.10; 2010.10.25) // - 2010, p.726
7. Балдин Е. М., Компьютерная типография LaTeX / Компьютерные технологий. - БХВ-Петербург - 2008. - 2012. - С. 304.
8. Кирютенко, Ю.А. TikZ & PGF. |Создание графики в LaTeX-2e документах // Ростов- на-Дону, 2014, 277 c.|Некоторые библиотеки и утилиты // Ростов-на- Дону, 2015, 205 c.
9. Краткая инструкция по использованию пакета LateX
10. Львовский С. М., Набор и вёрстка в системе LaTeX / 3-е издание, исправленное и дополненное. - Москва: Московский центр непрерывного математического образования. - 2003. - С. 448.
11. Набор математических формул в LaTeX2ε // -2002.
12. Оетикер Тобиас, Не очень краткое введение в LaTeX2e // Cambridge, MA 02139, USA. - 2011.

Ссылка на персон:

1. Кнут Дональд
2. Маккарти Джон

Контекстный поиск: Задайте образец для поиска:
    

© 2013-2024, Евразийский национальный университет им. Л.Н.Гумилева, Астана © 2007-2024, Новосибирский государственный университет, Новосибирск © 1998-2024, Институт вычислительных технологий СО РАН, Новосибирск © 1998-2024, Федотов А.М.

ФИТ НГУ       НГУ ЕНУ им.Гумилева ИВТ СО РАН