Козырева, Г. Ф. Функциональное и логическое программирование [Электронный ресурс] : учебно-методическое пособие / Козырева Г. Ф. - Саратов : Ай Пи Эр Медиа, 2018. - 120 с. - ISBN 978-5-4486-0122-4 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): visual prolog -- логическое программирование -- реализация рекурсии -- среда drracket -- среда пролог -- формализованное описание -- функциональное программирование -- язык racket -- язык программирования Аннотация: Рассматривается краткий теоретический материал, типовые задачи и контрольные задания по курсу «Функциональное и логическое программирование». Пособие может быть использовано при организации самостоятельной работы студентов по выполнению заданий в среде Visual Prolog и среде DrRacket. Учебно-методическое пособие предназначено для студентов, обучающихся по направлениям «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование». Может быть полезно учителям средних образовательных учреждений при проведении элективных курсов данного направления, а также всем, кто интересуется вопросами функционального и логического программирования. Учебно-методическое пособие соответствует ФГОС ВО для бакалавров по дисциплинам «Функциональное и логическое программирование», «Интеллектуальные информационные системы» направлений обучения «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование». Свободных экз. нет |
Практикум по дисциплине Логическое и функциональное программирование [Электронный ресурс] / сост. А. С. Доткулова. - Москва : Московский технический университет связи и информатики, 2016. - 16 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): логическое программирование -- функциональное программирование -- эвм Аннотация: При использовании ЭВМ для решения задач можно выделить два взаимосвязанных способа представления знания: 1) процедурное представление, т.е. определение алгоритма обработки данных; 2) декларативное представление, т.е. определение отдельных понятий, их состояния в конкретные моменты времени и связей между ними. Доп.точки доступа: Доткулова, А. С. \сост.\ Свободных экз. нет |
Учебно-методическое пособие по дисциплине Логическое и функциональное программирование [Электронный ресурс] / сост.: М. В. Яшина, В. В. Барков. - Москва : Московский технический университет связи и информатики, 2016. - 23 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): логическое программирование -- функциональное программирование -- эвм Аннотация: Дисциплина «Логическое и функциональное программирование» занимает одно из центральных мест в цикле общепрофессиональных дисциплин, определяющих уровень подготовки студентов по направлению 230100 – Информатика и вычислительная техника. Доп.точки доступа: Яшина, М. В. \сост.\; Барков, В. В. \сост.\ Свободных экз. нет |
Галкина, М. Ю. Функциональное и логическое программирование [Электронный ресурс] : практикум / Галкина М. Ю. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2008. - 107 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): логическое программирование -- турбо-пролог -- функциональное программирование -- язык лисп -- язык программирования -- язык пролог Аннотация: Практикум предназначен для студентов четвертого курса факультета ИВТ, изучающих курс «Функциональное и логическое программирование». Практикум содержит курс лекций, индивидуальное домашнее задание. Для специальности 230105 – «Программное обеспечение вычислительной техники и автоматизированных систем». Свободных экз. нет |
Седов, Е. С. Основы работы в системе компьютерной алгебры Mathematica [Электронный ресурс] : учебное пособие / Седов Е. С. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 401 с. - ISBN 978-5-4497-0346-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): автоматизация вычисления -- график функции -- двумерная графика -- компьютерная алгебра -- математический анализ -- процедурное программирование -- символьное вычисление -- система mathematica -- система уравнений -- функциональное программирование Аннотация: В учебном пособии рассмотрены вопросы использования пакета Mathematica для осуществления символьных вычислений, численных расчётов различной сложности и визуализации результатов. Также уделено внимание использованию пакета Mathematica в качестве языка программирования высокого уровня для упрощения и автоматизации вычислений. Система компьютерной алгебры Mathematica — одно из наиболее распространённых в мире программных средств для осуществления численных и символьных компьютерных вычислений, которое, кроме того, обладает широкими возможностями для визуализации результатов. Mathematica позволяет осуществлять широкий спектр символьных преобразований, в том числе и операции математического анализа: дифференцирование, интегрирование, разложение в ряд и др. Помимо аналитических расчётов программа обеспечивает возможность применения разнообразных численных методов. Mathematica обладает развитой двух- и трёхмерной графикой, позволяющей как нельзя более наглядно для пользователя представить результаты расчётов. По сущности своей Mathematica представляет собой язык программирования высокого уровня, который позволяет реализовать различные стили программирования. В своей совокупности перечисленные возможности превращают в удобный и мощный инструмент физических и математических исследований. В настоящем учебном пособии мы в равной мере уделим внимание всем означенным выше возможностям Mathematica: дадим общую характеристику пакета, в теории и примерах рассмотрим основные встроенные функции, научимся создавать собственные функции и процедуры. Свободных экз. нет |
Сузи, Р. А. Язык программирования Python [Электронный ресурс] : учебное пособие / Сузи Р. А. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 350 с. - ISBN 978-5-4497-0705-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): база данных -- интерпретатор python -- многопоточное вычисление -- объектно-ориентированное программирование -- разработка web-приложения -- сетевое приложение -- событийно-управляемая программа -- функциональное программирование -- язык python -- язык программирования Аннотация: В учебном пособии изучается язык программирования Python, его основные библиотеки и некоторые приложения. Издание посвящено одному из бурно развивающихся и популярных в настоящее время сценарных языков программирования — Python. Язык Python позволяет быстро создавать как прототипы программных систем, так и сами программные системы, помогает в интеграции программного обеспечения для решения производственных задач. Python имеет богатую стандартную библиотеку и большое количество модулей расширения практически для всех нужд отрасли информационных технологий. Благодаря ясному синтаксису изучение языка не составляет большой проблемы. Написанные на нем программы получаются структурированными по форме, и в них легко проследить логику работы. На примере языка Python рассматриваются такие важные понятия как: объектно-ориентированное программирование, функциональное программирование, событийно-управляемые программы (GUI-приложения), форматы представления данных (Unicode, XML и т.п.). Возможность диалогового режима работы интерпретатора Python позволяет существенно сократить время изучения самого языка и перейти к решению задач в соответствующих предметных областях. Python свободно доступен для многих платформ, а написанные на нем программы обычно переносимы между платформами без изменений. Это обстоятельство позволяет применять для изучения языка любую имеющуюся аппаратную платформу. Свободных экз. нет |
Кауфман, В. Ш. Языки программирования. Концепции и принципы [Электронный ресурс] : учебное пособие / Кауфман В. Ш. - Саратов : Профобразование, 2019. - 464 с. - ISBN 978-5-4488-0137-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): асинхронный процесс -- доказательное программирование -- параллельное программирование -- реляционное программирование -- функциональное программирование -- язык Аннотация: Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках программирования. Представлены разные стили программирования (операционный, ситуационный, функциональный, реляционный, параллельный, объектно-ориентированный). Базовые концепции и принципы рассмотрены с пяти различных позиций (технологической, авторской, математической, семиотической и реализаторской) и проиллюстрированы примерами из таких языков, как Паскаль, Симула-67, Смолток, Рефал, Ада, Модула-2, Оберон, Оккам-2, Турбо Паскаль, С++ и др. Сложность выделена как основополагающая проблема программирования, а абстракция-конкретизация и прогнозирование-контроль – как основные ортогональные методы борьбы со сложностью. На этой общей базе в книге впервые представлена цельная система концепций и принципов, создающая четкие ориентиры в области языков программирования. На основе этой системы сформулированы оригинальные положения, указывающие перспективы развития в этой области (модули исключительных ситуаций, модули управления представлением, входовые типы и др.). Многие из них в последние годы стали реальностью. Новые подходы применены при изложении известных фактов (пошаговая модификация нормальных алгоритмов Маркова сначала до Рефала, а затем до реляционных языков, сопоставление принципов «сундука» и «чемоданчика» при создании Ады, Модулы-2 и Оберона, развитие концепции наследуемости от модульности до объектной ориентации, систематическое сопоставление концепции параллелизма в Аде и Оккаме-2, и др.). Для всех, серьезно интересующихся программированием, в том числе научных работников, программистов, преподавателей и студентов. Свободных экз. нет |
Конева, С. И. Функциональное программирование. Ч.1 [Электронный ресурс] : учебное пособие / Конева С. И. - Ростов-на-Дону : Северо-Кавказский филиал Московского технического университета связи и информатики, 2018. - 53 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): вычисления -- записи выражений -- функциональное программирование -- язык haskell Аннотация: Учебное пособие представляет основы функционального программирования, включает в себя набор определений (деклараций) функций. Функции определяются через другие функции или рекурсивно — через самих себя. В процессе выполнения программы функции получают параметры, вычисляют и возвращают результат, в случае необходимости вычисляя значения других функций. Помимо своей хорошей приспособленности к параллельным вычислениям функциональное программирование обладает следующими свойствами: программы на этих языках записываются коротко, часто короче, чем в императивном языке; отдельные части программ могут исполняться независимо друг от друга. Пособие предназначено для проведения занятий со студентами специальностей 09.03.01. Свободных экз. нет |