А67 Анисимов, А. Е. Сборник заданий по основаниям программирования: Учеб. пособие [Текст] / А. Е. Анисимов. - М. : Интернет-Университет Информационных технологий: БИНОМ. Лаборатория знаний, 2006. - 348 с. : ил. - (Основы информационных технологий). - 330.00 р.
Кл.слова (ненормированные): Электроника -- функциональное программирование -- программное обеспечение -- вычислительные методы -- учебное пособие -- программирование Экземпляры всего: 5 2к (5) Свободны: 2к (5) |
Х99 Хювенен, Э. Мир Липса: В 2 т.: Пер. с фин. [Текст] / Э. Хювенен, Й. Сеппянен. - М. : Мир, 1990 - . Т.1 : Введение в язык Липс и функциональное программирование. - 447 с. - 1.40 р.
Кл.слова (ненормированные): Техника -- вычислительная техника -- Электроника -- языки программирования -- функциональное программирование Доп.точки доступа: Сеппянен Й. \соавт.\ Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
Х99 Хювенен, Э. Мир Липса: В 2 т.: Пер. с фин. [Текст] / Э. Хювенен, Й. Сеппянен. - М. : Мир, 1990 - . Т.2 : Методы и системы программирования. - 319 с. - 1.10 р.
Кл.слова (ненормированные): Техника -- функциональное программирование -- языки программирования -- Электроника -- системы программирования -- методы программирования -- вычислительная техника Доп.точки доступа: Сеппянен Й. \соавт.\ Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
С 32 Сергиевский, Г. М. Функциональное и логическое программирование [Текст] : учебное пособие для студентов вузов, обучающихся по направлению "Информатика и вычислительная техника" / Г.М. Сергиевский, Н.Г. Волченков. - М. : Академия, 2010. - 320 с. - (Высшее профессиональное образование). - ISBN 978-5-7695-6433-8 : Б.ц. р. Кл.слова (ненормированные): УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ИНТЕРНЕТ-РЕСУРСЫ -- ИСТОРИЯ РАЗВИТИЯ ПРОГРАММИРОВАНИЯ -- ТИПЫ ФУНКЦИЙ -- КАРРИРОВАНИЕ -- ЛЯМБДА-ВЫРАЖЕНИЕ -- СТРУКТУРЫ ДАННЫХ -- БАЗИСНЫЕ ОПЕРАЦИИ -- ПРЕДИКТЫ -- ПРОЛОГ Аннотация: Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и автоматического синтеза программ, доказательства свойств программ, частичных вычислений и др. Описаны области, в которых применение данных подходов имеет преимущества по сравнению с операторным программированием. Практические аспекты функционального программирования изучаются на примере языков Haskell — лучшей современной реализации функциональной парадигмы. В теоретическом обосновании приведены наиболее важные (для данных целей) результаты лямбда-исчисления и комбинаторной логики. Представлена наиболее «продвинутая» практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программирования. Основное внимание уделено таким областям применения Пролога, как программирование баз данных, синтаксический анализ, реализация переборного и эвристического поиска, задачи искусственного интеллекта, в том числе обработки нечетких данных, программирование в ограничениях (Constraint Lodic Programming). Подробно описаны теоретические основы логического программирования (метод резолюций, теорема Робинсона и др.). Для студентов учреждений высшего профессионального образования. Доп.точки доступа: Волченков, Н.Г. Экземпляры всего: 16 2к (16) Свободны: 2к (16) |