| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 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