Перлини проектування алгоритмів 8762

 У цій книзі Річард Берд представляє принципово новий підхід до проектування алгоритмів, а саме проектування допомогою формального виводу. 

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

Видання призначене для програмістів, які захоплюються функціональним програмуванням, студентів, аспірантів і викладачів, які цікавляться принципами проектування алгоритмів, а також всіх, хто бажає придбати і розвинути навички міркувань эквациональном стилі стосовно програмами алгоритмами.