Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=функциональное программирование<.>)

Общее количество найденных документов : 8
Показаны документы с 1 по 8

IPRBooks-71596

71596

Козырева, Г. Ф.
Функциональное и логическое программирование [Электронный ресурс] : учебно-методическое пособие / Козырева Г. Ф. - Саратов : Ай Пи Эр Медиа, 2018. - 120 с. - ISBN 978-5-4486-0122-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.42

ББК 32.97

Кл.слова (ненормированные):
visual prolog -- логическое программирование -- реализация рекурсии -- среда drracket -- среда пролог -- формализованное описание -- функциональное программирование -- язык racket -- язык программирования
Аннотация: Рассматривается краткий теоретический материал, типовые задачи и контрольные задания по курсу «Функциональное и логическое программирование». Пособие может быть использовано при организации самостоятельной работы студентов по выполнению заданий в среде Visual Prolog и среде DrRacket. Учебно-методическое пособие предназначено для студентов, обучающихся по направлениям «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование». Может быть полезно учителям средних образовательных учреждений при проведении элективных курсов данного направления, а также всем, кто интересуется вопросами функционального и логического программирования. Учебно-методическое пособие соответствует ФГОС ВО для бакалавров по дисциплинам «Функциональное и логическое программирование», «Интеллектуальные информационные системы» направлений обучения «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-61489

61489

Практикум по дисциплине Логическое и функциональное программирование [Электронный ресурс] / сост. А. С. Доткулова. - Москва : Московский технический университет связи и информатики, 2016. - 16 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

Кл.слова (ненормированные):
логическое программирование -- функциональное программирование -- эвм
Аннотация: При использовании ЭВМ для решения задач можно выделить два взаимосвязанных способа представления знания: 1) процедурное представление, т.е. определение алгоритма обработки данных; 2) декларативное представление, т.е. определение отдельных понятий, их состояния в конкретные моменты времени и связей между ними.

(для доступа требуется авторизация)

Доп.точки доступа:
Доткулова, А. С. \сост.\
Свободных экз. нет
Найти похожие

IPRBooks-61490

61490

Учебно-методическое пособие по дисциплине Логическое и функциональное программирование [Электронный ресурс] / сост.: М. В. Яшина, В. В. Барков. - Москва : Московский технический университет связи и информатики, 2016. - 23 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

Кл.слова (ненормированные):
логическое программирование -- функциональное программирование -- эвм
Аннотация: Дисциплина «Логическое и функциональное программирование» занимает одно из центральных мест в цикле общепрофессиональных дисциплин, определяющих уровень подготовки студентов по направлению 230100 – Информатика и вычислительная техника.

(для доступа требуется авторизация)

Доп.точки доступа:
Яшина, М. В. \сост.\; Барков, В. В. \сост.\
Свободных экз. нет
Найти похожие

IPRBooks-55464

55464

Галкина, М. Ю.
Функциональное и логическое программирование [Электронный ресурс] : практикум / Галкина М. Ю. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2008. - 107 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

681.3

ББК 32.97

Кл.слова (ненормированные):
логическое программирование -- турбо-пролог -- функциональное программирование -- язык лисп -- язык программирования -- язык пролог
Аннотация: Практикум предназначен для студентов четвертого курса факультета ИВТ, изучающих курс «Функциональное и логическое программирование». Практикум содержит курс лекций, индивидуальное домашнее задание. Для специальности 230105 – «Программное обеспечение вычислительной техники и автоматизированных систем».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-89460

89460

Седов, Е. С.
Основы работы в системе компьютерной алгебры Mathematica [Электронный ресурс] : учебное пособие / Седов Е. С. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 401 с. - ISBN 978-5-4497-0346-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.4

ББК 32.97

Кл.слова (ненормированные):
автоматизация вычисления -- график функции -- двумерная графика -- компьютерная алгебра -- математический анализ -- процедурное программирование -- символьное вычисление -- система mathematica -- система уравнений -- функциональное программирование
Аннотация: В учебном пособии рассмотрены вопросы использования пакета Mathematica для осуществления символьных вычислений, численных расчётов различной сложности и визуализации результатов. Также уделено внимание использованию пакета Mathematica в качестве языка программирования высокого уровня для упрощения и автоматизации вычислений. Система компьютерной алгебры Mathematica — одно из наиболее распространённых в мире программных средств для осуществления численных и символьных компьютерных вычислений, которое, кроме того, обладает широкими возможностями для визуализации результатов. Mathematica позволяет осуществлять широкий спектр символьных преобразований, в том числе и операции математического анализа: дифференцирование, интегрирование, разложение в ряд и др. Помимо аналитических расчётов программа обеспечивает возможность применения разнообразных численных методов. Mathematica обладает развитой двух- и трёхмерной графикой, позволяющей как нельзя более наглядно для пользователя представить результаты расчётов. По сущности своей Mathematica представляет собой язык программирования высокого уровня, который позволяет реализовать различные стили программирования. В своей совокупности перечисленные возможности превращают в удобный и мощный инструмент физических и математических исследований. В настоящем учебном пособии мы в равной мере уделим внимание всем означенным выше возможностям Mathematica: дадим общую характеристику пакета, в теории и примерах рассмотрим основные встроенные функции, научимся создавать собственные функции и процедуры.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-97589

97589

Сузи, Р. А.
Язык программирования Python [Электронный ресурс] : учебное пособие / Сузи Р. А. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 350 с. - ISBN 978-5-4497-0705-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.97

Кл.слова (ненормированные):
база данных -- интерпретатор python -- многопоточное вычисление -- объектно-ориентированное программирование -- разработка web-приложения -- сетевое приложение -- событийно-управляемая программа -- функциональное программирование -- язык python -- язык программирования
Аннотация: В учебном пособии изучается язык программирования Python, его основные библиотеки и некоторые приложения. Издание посвящено одному из бурно развивающихся и популярных в настоящее время сценарных языков программирования — Python. Язык Python позволяет быстро создавать как прототипы программных систем, так и сами программные системы, помогает в интеграции программного обеспечения для решения производственных задач. Python имеет богатую стандартную библиотеку и большое количество модулей расширения практически для всех нужд отрасли информационных технологий. Благодаря ясному синтаксису изучение языка не составляет большой проблемы. Написанные на нем программы получаются структурированными по форме, и в них легко проследить логику работы. На примере языка Python рассматриваются такие важные понятия как: объектно-ориентированное программирование, функциональное программирование, событийно-управляемые программы (GUI-приложения), форматы представления данных (Unicode, XML и т.п.). Возможность диалогового режима работы интерпретатора Python позволяет существенно сократить время изучения самого языка и перейти к решению задач в соответствующих предметных областях. Python свободно доступен для многих платформ, а написанные на нем программы обычно переносимы между платформами без изменений. Это обстоятельство позволяет применять для изучения языка любую имеющуюся аппаратную платформу.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-88014

88014

Кауфман, В. Ш.
Языки программирования. Концепции и принципы [Электронный ресурс] : учебное пособие / Кауфман В. Ш. - Саратов : Профобразование, 2019. - 464 с. - ISBN 978-5-4488-0137-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

Кл.слова (ненормированные):
асинхронный процесс -- доказательное программирование -- параллельное программирование -- реляционное программирование -- функциональное программирование -- язык
Аннотация: Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках программирования. Представлены разные стили программирования (операционный, ситуационный, функциональный, реляционный, параллельный, объектно-ориентированный). Базовые концепции и принципы рассмотрены с пяти различных позиций (технологической, авторской, математической, семиотической и реализаторской) и проиллюстрированы примерами из таких языков, как Паскаль, Симула-67, Смолток, Рефал, Ада, Модула-2, Оберон, Оккам-2, Турбо Паскаль, С++ и др. Сложность выделена как основополагающая проблема программирования, а абстракция-конкретизация и прогнозирование-контроль – как основные ортогональные методы борьбы со сложностью. На этой общей базе в книге впервые представлена цельная система концепций и принципов, создающая четкие ориентиры в области языков программирования. На основе этой системы сформулированы оригинальные положения, указывающие перспективы развития в этой области (модули исключительных ситуаций, модули управления представлением, входовые типы и др.). Многие из них в последние годы стали реальностью. Новые подходы применены при изложении известных фактов (пошаговая модификация нормальных алгоритмов Маркова сначала до Рефала, а затем до реляционных языков, сопоставление принципов «сундука» и «чемоданчика» при создании Ады, Модулы-2 и Оберона, развитие концепции наследуемости от модульности до объектной ориентации, систематическое сопоставление концепции параллелизма в Аде и Оккаме-2, и др.). Для всех, серьезно интересующихся программированием, в том числе научных работников, программистов, преподавателей и студентов.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-89511

89511

Конева, С. И.
Функциональное программирование. Ч.1 [Электронный ресурс] : учебное пособие / Конева С. И. - Ростов-на-Дону : Северо-Кавказский филиал Московского технического университета связи и информатики, 2018. - 53 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.973

Кл.слова (ненормированные):
вычисления -- записи выражений -- функциональное программирование -- язык haskell
Аннотация: Учебное пособие представляет основы функционального программирования, включает в себя набор определений (деклараций) функций. Функции определяются через другие функции или рекурсивно — через самих себя. В процессе выполнения программы функции получают параметры, вычисляют и возвращают результат, в случае необходимости вычисляя значения других функций. Помимо своей хорошей приспособленности к параллельным вычислениям функциональное программирование обладает следующими свойствами: программы на этих языках записываются коротко, часто короче, чем в императивном языке; отдельные части программ могут исполняться независимо друг от друга. Пособие предназначено для проведения занятий со студентами специальностей 09.03.01.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 26.06.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)