Библиотечная система
Библиотечная система. Международный университет природы, общества и человека "Дубна"
  Главная     Поиск       Новости     Консультация     Часы работы     О нас     О сайте     Блог Мишки Б.     Напишите нам  
Авторизация
№ карты:
Фамилия:
   Помощь
Помощь
Общая схема поиска литературы

Руководство по поиску в электронном каталоге

Правила использования информационных ресурсов
Электронный каталог
Расширенный поиск
Поиск по отраслевой классификации
Поиск по словарям
NEW!Новые поступления
Электронные версии
Журналы и газеты
 Подписка 2024
 Каталог периодики
 Заказ журналов
Рекомендуемая литература
Издания университета

Библиотека Чечельницкого А.М.
Библиотека Пономарёва В.С.
Редкий фонд
Выставки
Ресурсы интернета

Besucherzahler mail order brides
счетчик посещений

Библиографическое описание

32.973.0я73 испр.
С 323
Книга

Сергиевский Г. М. Функциональное и логическое программирование: учебное пособие для студентов вузов / Сергиевский Георгий Максимович, Волчёнков Николай Геннадьевич. - Москва: Академия, 2010. - 320 с.: ил. - (Высшее профессиональное образование: Информатика и вычислительная техника). - Список лит.: с. 313. - ISBN 9785769564338.

Гриф: УМО вузов РФ по университетскому политехническому образованию

Отраслевые рубрики: вычислительная техника, программирование, теория программирования

Ключевые слова: Haskell, доказательство свойств программ, индукционная гипотеза, искусственный интеллект, карринг, комбинаторная логика, конструирование функций, Лисп, логические программы, логическое программирование, лямбда-исчисление, операции, предикаты, Пролог, синтаксический анализ, структуры данных, трансформации программ, функции, функциональное программирование, частичные вычисления, эвристический поиск

Сигла храненияВсего экз.В наличииЗаказано
абонемент24220
чит. зал100


отобрать


Назад