ML за искусни програмери
Автор:
Лоренц Ц. Полсон
Издавач:
Ад Вербум |
Јазик:
Македонски |
Година:
2010
Оригинален наслов:
ML for the working programmer |
Бр. на страни:
418 |
Димензии:
165х240
|
Корица:
/
/Ги претставува начините за користење на листи, дрва, функции од повисок ред и бесконечни податочни структури. Вклучени се многу сликовити и практични примери опфаќајќи сортирање, операции со матрица, аритметика на полиноми итн. Опишани се ефикасните функционални имплементации на низи, редови, приоритетни редови, итн. Во пообемните примери вклучени се општиот одгоре-надолу парсер, редукциите на TM-пресметката и докажувачот на теореми. Во една од главите опфатено е формалното резонирање на функционалните програми.
Оценки
Сѐ уште нема оценки.