Заяць В. М. Логічне і функційне програмування : навч. посіб. / В. М. Заяць, М. М. Заяць; Львів. держ. ін-т новіт. технологій та упр. ім. В.Чорновола. - Л. : Бескид Біт, 2006. - 352 c. - укp.Висвітлено основи логічного та функціонального програмування, найефективніші методи й алгоритми побудови програм мовою логіки і в термінах функціоналів. Охарактеризовано принципи реалізації найчастіше вживаних логічних і функційних прикладних програм. Проаналізовано синтаксичні особливості мови Пролог, особливості роботи у Турбо-Пролозі. Описано механізм повернення та відсічки у логічному програмуванні. Запропоновано класифікацію функцій вищих порядків. Розглянуто сучасні технології функціонального програмування, засоби їх реалізації. Наведено метод параметрів нагромадження, охарактеризовано мову програмування AUTO-LISP. Освещены основы логического и функционального программирования, наиболее эффективные методы и алгоритмы построения программ на языке логики и в терминах функционалов. Охарактеризованы принципы реализации наиболее распространенных логических и функциональных прикладных программ. Проанализированы синтаксические особенности языка Пролог, особенности работы в Турбо-Прологе. Описан механизм возвращения и отсечки в логическом программировании. Предложена классификация функций высших порядков. Рассмотрены современные технологии функционального программирования, средства их реализации. Приведены метод параметров нагромождения, охарактеризован язык программирования AUTO-LISP. Індекс рубрикатора НБУВ: З970.5-018 я73 + З973-018.022.08 я73
Рубрики:
Шифр НБУВ: ВА722015 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|