Получать уведомления на электронную почту, если появились:
Книги авторов
Подписаны
Книги издательства 9
Книги серии 2
Закрыть
Чтобы подписаться сообщите адрес электронной почты
Введите корректный адрес электронной почты
Подписаться 11 Вы подписаны 11

Функциональное и логическое программирование

№ 10158929
Получать уведомления на электронную почту, если появились:
Книги авторов
Подписаны
Книги издательства 9
Книги серии 2
Закрыть
Чтобы подписаться сообщите адрес электронной почты
Введите корректный адрес электронной почты
Подписаться 11 Вы подписаны 11
45,40 руб.–10%
Вы экономите 5,04 руб.
Ваша скидка 10%
50,44 руб.
Уже в корзине
Под заказ. Поставка 21 декабря

Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и автоматического синтеза программ, доказательства свойств программ, частичных вычислений и др. Описаны области, в которых применение данных подходов имеет преимущества по сравнению с операторным программированием. Практические аспекты функционального программирования изучаются на примере языков Haskell - лучшей современной реализации функциональной парадигмы. В теоретическом обосновании приведены наиболее важные (для данных целей) результаты лямбда-исчисления и комбинаторной логики.
Представлена наиболее "продвинутая" практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программирования. Основное внимание уделено таким областям применения Пролога, как программирование баз данных, синтаксический анализ, реализация переборного и эвристического поиска, задачи искусственного интеллекта, в том числе обработки нечетких данных, программирование в ограничениях (Constraint Lodic Programming). Подробно описаны теоретические основы логического программирования (метод резолюций, теорема Робинсона и др.).

Для студентов учреждений высшего профессионального образования.

Серия Высшее профессиональное образование
Издательство Academia
Год издания 2010
Страниц 320
Переплет Твердый переплет
Формат 60х90/16 (145х215 мм, стандартный)
ISBN 978-5-7695-6433-8
Вес 400 г
Изготовитель ООО "Издательский центр "Академия". 129085, РФ, г. Москва, пр-т Мира, д. 101В, стр. 1
Импортер ООО «НТЦ АПИ», г. Минск, ул. Уманская, 54, пом. 1, каб. 34

Наверх

Вход

В течение нескольких секунд вам придёт SMS с одноразовым кодом для входа. Если ничего не пришло — отправьте код ещё раз.
Получите доступ к персональным скидкам и акциям, ускорьте оформление заказов.
Войдите с помощью своего профиля

Регистрация

Введите номер вашего мобильного телефона:
Войдите с помощью электронной почты или номера телефона
Войдите с помощью своего профиля

Восстановление пароля

Укажите адрес электронной почты, который вы использовали при регистрации
Нужна помощь? Звоните 695-25-25 (МТС, velcom, life:) или напишите нам

Восстановление пароля

Инструкции по восстановлению пароля высланы на 
Нужна помощь? Звоните 695-25-25 (МТС, velcom, life:) или напишите нам
Приходите в будние дни с 10 до 20, в субботу с 10 до 17. Воскресенье — выходной
695-25-25 МТС, velcom, life:)

Магазин OZ

Магазины OZ

Минск
Ещё 
В будние дни с 10 до 20
В субботу с 10 до 17
Воскресенье — выходной
695-25-25 МТС, velcom, life:)