| Найдено документов - 2 | Найти похожие: "Заглавие" = 'Функциональное и логическое программирование' | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 32.973.0я73 испр. - Е 421
Ездаков, А. Л.
Функциональное и логическое программирование : учебное пособие для вузов / А. Л. Ездаков. — Москва : БИНОМ. Лаборатория знаний, 2016. — 119 с. : ил. — Прил.: с. 103. - Лит.: с. 119. — ISBN 978-5-9963-0575-9.
Функциональное и логическое программирование : учебное пособие для вузов / А. Л. Ездаков. — Москва : БИНОМ. Лаборатория знаний, 2016. — 119 с. : ил. — Прил.: с. 103. - Лит.: с. 119. — ISBN 978-5-9963-0575-9.
Экземпляры: Всего: 3, из них: аб.-3 в наличии 3
Дисциплина из КО: Низкоуровневое программирование, Функциональное программирование
Подробнее
Авторы: Ездаков А. Л.
Отраслевые рубрики: вычислительная техника, программирование, теория программирования
Ключевые слова: исчисление высказываний, исчисление предикатов, ЛИСП (LISP), логическое программирование, метод резолюции, опровержение, стратегии управления, Турбо Пролог, формальные системы, функциональное программирование, языки программирования
Индексы ББК: 32.973.0я73, 32.973я73
Представления: Формат MARC21
2. Книга
Полочный шифр: 32.973.0я73 испр. - С 323
Сергиевский, Г. М.
Функциональное и логическое программирование : учебное пособие для студентов вузов / Г. М. Сергиевский, Н. Г. Волчёнков. — Москва : Академия, 2010. — 320 с. : ил. — (Высшее профессиональное образование: Информатика и вычислительная техника). — Список лит.: с. 313. — ISBN 9785769564338.
Функциональное и логическое программирование : учебное пособие для студентов вузов / Г. М. Сергиевский, Н. Г. Волчёнков. — Москва : Академия, 2010. — 320 с. : ил. — (Высшее профессиональное образование: Информатика и вычислительная техника). — Список лит.: с. 313. — ISBN 9785769564338.
Экземпляры: Всего: 25, из них: аб.-24 в наличии 23, ч/з-1 в наличии 0
Дисциплина из КО: Низкоуровневое программирование, Функциональное программирование
Подробнее
Авторы: Сергиевский Г. М., Волчёнков Н. Г.
Отраслевые рубрики: вычислительная техника, программирование, теория программирования
Ключевые слова: Haskell, доказательство свойств программ, индукционная гипотеза, искусственный интеллект, карринг, комбинаторная логика, конструирование функций, Лисп, логические программы, логическое программирование, лямбда-исчисление, операции, предикаты, Пролог, синтаксический анализ, структуры данных, трансформации программ, функции, функциональное программирование, частичные вычисления, эвристический поиск
Индексы ББК: 32.973.0я73, 32.973я73
Представления: Формат MARC21