В ы с ш е е п р о ф е с с и о н а л ь н о е о б р а з о в а н и е информатика и программироВание осноВы информатики
ПРОГРАММНЫЕ СТАТИСТИЧЕСКИЕ КОМПЛЕКСЫ
жүктеу/скачать 4,7 Mb. Pdf көрінісі
|
- Бұл бет үшін навигация:
- ФУНКЦИОНАЛЬНОЕ И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
| ПРОГРАММНЫЕ СТАТИСТИЧЕСКИЕ КОМПЛЕКСЫ
Объем 240 c. В учебном пособии изложен теоретический и практический материал для проведения занятий по дисциплине «Программные статистические комплексы. Теория и практика». Данное пособие способствует наилучшему освоению студентами практики исполь зования новых методов обработки данных, а также решению за дач с использованием универсального пакета STATISTICA 6.0. Для студентов учреждений высшего профессионального обра зования. Г. М. СЕРГИЕВСКИЙ, Н. Г. ВОЛЧЕНКОВ ФУНКЦИОНАЛЬНОЕ И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ Объем 320 c. В учебном пособии рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхо да, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и автоматического синтеза программ, доказательства свойств программ, частичных вычислений и др. Описаны области, в кото рых применение данных подходов имеет преимущества по срав нению с операторным программированием. Практические аспек ты функционального программирования изучаются на примере языка Haskell — лучшей современной реализации функциональ ной парадигмы. В теоретическом обосновании приведены наи более важные (для данных целей) результаты лямбда исчисления и комбинаторной логики. Представлена наиболее «продвинутая» практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программи рования. Основное внимание уделено таким областям примене ния Пролога, как программирование баз данных, синтаксичес кий анализ, реализация переборного и эвристического поиска, задачи искусственного интеллекта, в том числе обработки нечет ких данных, программирование в ограничениях (Constraint Logic Programming). Подробно описаны теоретические основы логичес кого программирования (метод резолюций, теорема Робинсона и др.). Для студентов учреждений высшего профессионального обра зования. С. В. СИНИЦЫН, А. В. БАТАЕВ, Н. Ю. НАЛЮТИН жүктеу/скачать 4,7 Mb. Достарыңызбен бөлісу:
|