+7 (495) 781-19-12 интернет-магазин
Новый покупатель?
Зарегистрируйтесь здесь
Зарегистрированы?
Войти
Ваша корзина пуста
Оплата и доставка Скидки Есть вопрос?
    Расширенный поиск
К Вашим услугам
Издательский дом «Библио-Глобус»
Это связано с процессом поиска изданий, наличием в настоящий момент договорных отношений с поставщиком заказываемой книги и изменением сроков допечатки тиражей. В связи с возможным отсутствием книг у поставщика, мы не гарантируем выполнение заказа со статусом книг «Под заказ». В случае обработки заказа на крупную партию товара, возможно увеличение срока выполнения заказа в связи с поиском необходимого количества заказанной продукции у поставщиков.
Это связано с процессом поиска изданий, наличием в настоящий момент договорных отношений с поставщиком заказываемой книги и изменением сроков допечатки тиражей. В связи с возможным отсутствием книг у поставщика, мы не гарантируем выполнение заказа со статусом книг «Под заказ». В случае обработки заказа на крупную партию товара, возможно увеличение срока выполнения заказа в связи с поиском необходимого количества заказанной продукции у поставщиков.

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

Учебное пособие

Сергиевский Г. М.

Артикул: 9597172 Серия:

Высшее профессиональное образование. Информатика и вычислительная техника

Дата издания: 2010

ISBN: 9785769564338 Издатель/Изготовитель:

Академия

Переплёт: Твердый переплет Размер: 22 X 14,5 см. Вес: 390 г. Количество страниц: 320

Описание: В учебном пособии рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и автоматического синтеза программ, доказательства свойств программ, частичных вычислений и др. Описаны области, в которых применение данных подходов имеет преимущества по сравнению с операторным программированием. Практические аспекты функционального программирования изучаются на примере языка Haskell – лучшей современной реализации функциональной парадигмы. В теоретическом обосновании приведены наиболее важные (для данных целей) результаты лямбда-исчисления и комбинаторной логики. Представлена наиболее «продвинутая» практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программирования. Основное внимание уделено таким областям применения Пролога, как программирование баз данных, синтаксический анализ, реализация переборного и эвристического поиска, задачи искусственного интеллекта, в том числе обработки нечетких данных, программирование в ограничениях (Constraint Logic Programming). Подробно описаны теоретические основы логического программирования (метод резолюций, теорема Робинсона и др.). Для студентов учреждений высшего профессионального образования.
Цена: 1 009,00 руб.
Под заказ
С этим товаром покупают:
В наличии
100% предоплата
Предзаказ
Программирование на языке Python

Седжвик Р.

Количество страниц: 736
1 649,00 руб.
 
В наличии
100% предоплата
Предзаказ
Компьютерный букварь для ржавых чайников

Левина Л. Т.

Количество страниц: 172
339,00 руб.
 
В наличии
100% предоплата
Предзаказ
Планшеты и смартфоны на Android : Простой и понятный самоучитель

Леонов В.

Количество страниц: 349
139,00 руб.
 
Наш адрес: Россия, 101990, г. Москва, ул. Мясницкая, д. 6/3, стр. 1, Торговый Дом «БИБЛИО-ГЛОБУС».
Телефон: (495) 781-19-12 e-mail: web.logist@bgshop.ru
Время работы службы выдачи заказов: пн. – пт. 10:00 – 22:00, сб. – вс. 10:00 – 21:00.
Информационное наполнение © 1999 – 2015 ООО Торговый Дом «БИБЛИО-ГЛОБУС». Все права защищены.
Разработка и поддержка © 1999 – 2015 ООО Торговый Дом «БИБЛИО-ГЛОБУС». Все права защищены.