Рік випуску: 2013Автор: Річард БердПереклад: В. Брагілевський, А. ПеленіцинРедактор: Д. МовчанНаявність ілюстрацій: ч/б ілюстраціїЖанр: ПідручникВидавництво: ДМК ПресСерія/Цикл:N9 74 -867-0, 978-0-521-51338-8Формат: PDFЯкість: Скановані сторінкиКількість сторінок: 330Сканував: я

Опис: У цій книзі автор представляє принципово новий підхід до проектування алгоритмів, а саме проектування за допомогою формального виведення. Основний зміст книги поділено на 30 коротких розділів, званих перлинами, у кожному з яких вирішується конкретне програмістське завдання. Ці завдання, деякі з яких абсолютно нові, походять з таких різноманітних джерел, як ігри та головоломки, що захоплюють комбінаторні побудови та більш традиційні алгоритми стиснення даних та зіставлення рядків. Кожна перлина починається з постановки завдання, що формулюється функціональною мовою програмування Haskell, надзвичайно потужною і в той же час лаконічною, що дозволяє легко і просто виражати алгоритмічні ідеї. Нововведення книги полягає в тому, що кожне рішення формально обчислюється з вихідної постановки задачі за допомогою звернення до законів функціонального програмування. Видання призначене для програмістів, які захоплюються функціональним програмуванням, студентів, аспірантів та викладачів, які цікавляться принципами проектування алгоритмів, а також усіх, хто бажає набути та розвинути навички міркувань в екваційному стилі стосовно програм та алгоритмів.

Доп. інформація: Автор, користуючись формальними міркуваннями, знаходить ефективні з алгоритмічної точки зору розв'язання різних завдань, виражаючи їх мовою Haskell. Книгу можна порекомендувати всім, хто цікавиться функціональним програмуванням, хоча вона навряд чи буде доступною для початківців. Потрібна певна зрілість у сприйнятті математичних формалізмів.