Научная Библиотека Пермского Государственного Университета

Главная

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

Базы данных

Основная библиотечная БД - результаты поиска

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

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

Найдено в других БД:

Труды учёных ПГНИУ (1)

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

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

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

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

   681
   Г 701

    Городняя, Лидия Васильевна.
    Основы функционального программирования : курс лекций: учебное пособие для вузов / Л. В. Городняя. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2004. - 208 с. - (Основы информационных технологий). - Библиогр.: с. 269-271. - ISBN 5-9556-0008-6 : 150.00 р., 150.00 р.

50.05
УДК	004.42(075.8)

Рубрики: Вычислительная техника--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Программирование -- Функциональное программирование -- Лисп CLISP -- Искусственный интеллект -- Ассемблер

Экземпляры всего: 5
Х (1), ЧЗЕ (1), АБУ (3)
Свободны: Х (1), ЧЗЕ (1), АБУ (3)
Найти похожие

   681
   Я 411


    Языки программирования [Электронный ресурс] : [Введение в программирование. Основы программирования. Основы функционального программирования ...] / Интернет-Университет информационных технологий (М.). - Электрон. дан. и прогр. (26,0 Мб). - М. : Новый диск, 2006. - 1 эл. опт. диск (CD-ROM) : цв. - (Второе высшее образование дома) (Твой путь к знаниям). - Систем. требования: Pentium III ; 128 MБ ОЗУ ; Windows 98/ME/NT/2000/XP/2003 ; 300 МБ НА HDD ; разрешение экрана 800*600 ; устройство для чтения компакт-дисков. - Загл. с этикетки диска. - 300 р.

50.05.09
УДК	004.43(075.8)

Рубрики: Языки программирования--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- JAVA -- C -- C++ -- C# -- PROLOG -- PASCAL -- UML -- PYTHON -- PHP

Доп.точки доступа:
Интернет-Университет информационных технологий (М.)
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   681
   Е 421

    Ездаков, Андрей Леонидович.
    Функциональное и логическое программирование : учебное пособие / А. Л. Ездаков. - 2-е изд. - Москва : Бином. Лаборатория знаний, 2011. - 118, [1] с. : ил. ; 22 см. - Библиогр. в конце кн. - ISBN 978-5-9963-0575-9 : 154.80 р.
    Содержание:
Функциональное программирование
Логическое программирование
Реализация принципов логического программирования с использованием языка Turbo-Prolog
Приложение 1. Пример преобразования ППФ в форму предложений
Приложение 2. Краткое руководство по языку Turbo-Prolog версии 2.0
Приложение 3. Подготовка инструментальных средств для выполнения лабораторных работ
Приложение 4. Лабораторные работы

ГРНТИ	50.05.09
УДК	004.43(075.8)

Рубрики: Логическое программирование (компьют.)--Функциональное программирование (компьют.)--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- Lisp -- TURBO PROLOG -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   517
   М 340


    Математическая логика в программировании : сборник статей : пер. с англ. / под ред. М. В. Захарьящева, Ю. И. Янова. - Москва : Мир, 1991. - 408 с. - (Математическое обеспечение ЭВМ). - ISBN 5-03-001635-X : 7.91 р., 7.91 р.

ГРНТИ	27.03
УДК	510.6

Рубрики: Математическая логика--Сборники
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛЯМБДА- ИСЧИСЛЕНИЯ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

Доп.точки доступа:
Захарьящев, М. В. \ред.\; Янов, Ю. И. \ред.\
Экземпляры всего: 3
Х (1), АБН (2)
Свободны: Х (1), АБН (2)
Найти похожие

   51
   М 340

    Математика и междисциплинарные исследования - 2017 [Электронный ресурс] : материалы Всероссийской научно-практической конференции молодых ученых с международным участием (г. Пермь, 15-20 мая 2017 г.) : [в 2 т.] / М-во образования и науки РФ, Перм. гос. нац. исслед. ун-т ; [редкол.: А. П. Шкарапута (гл. ред.) и др.]. - Электрон. текстовые дан. - Пермь : ПГНИУ, 2017 -
. - Режим доступа: https://elis.psu.ru/node/436955 (Полный текст). - Загл. с домашней страницы Интернета. - ISBN 978-5-7944-2921-3.
   Т. 1. - 2017. - 1 on-line. - Рез. англ. - Библиогр. в конце ст. - ISBN 978-5-7944-2922-0 : 0.00

ГРНТИ	27.01.13
УДК	51:001(082)

Рубрики: Математика--Междисциплинарные исследования--Съезды и конференции
Кл.слова (ненормированные):
ИНФОРМАЦИОННЫЕ СИСТЕМЫ -- DATA MINING -- PROCESS MINING -- ТЕОРЕТИЧЕСКАЯ МЕХАНИКА -- ЛОБАЧЕВСКОГО ГЕОМЕТРИЯ -- ИНТЕЛЛЕКТУАЛЬНЫЕ МУЛЬТИМЕДИЙНЫЕ АССИСТЕНТЫ -- ПСИХОЛОГИЧЕСКАЯ ВОЙНА В ИНТЕРНЕТЕ -- ИНФОРМАЦИОННЫЕ СИСТЕМЫ В ОБРАЗОВАНИИ -- ВИЗУАЛИЗАЦИЯ НА МОБИЛЬНЫХ УСТРОЙСТВАХ -- АВТОМАТИЧЕСКОЕ РЕФЕРИРОВАНИЕ -- СИМПЛЕКС -- ФУНКЦИИ С НУЛЕВЫМИ ИНТЕГРАЛАМИ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ИДЕНТИФИКАЦИЯ ПОЛЬЗОВАТЕЛЕЙ -- АНАЛИЗ ПОТОКА ДАННЫХ -- СТАТИСТИЧЕСКИЙ АНАЛИЗ КОДА -- МУЛЬТИФРАКТАЛЬНЫЙ АНАЛИЗ -- БИОЛОГИЧЕСКАЯ ОЧИСТКА СТОЧНЫХ ВОД -- РАСПОЗНАВАНИЕ СИМВОЛОВ -- УПРАВЛЕНИЕ ЗАПАСАМИ (МОДЕЛИ) -- ДИСТАНЦИОННЫЕ ОБРАЗОВАТЕЛЬНЫЕ ТЕХНОЛОГИИ -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В МЕДИЦИНЕ

Перейти: Полный текст

Доп.точки доступа:
Шкарапута, Александр Петрович \ред.\; Министерство образования и науки Российской ФедерацииПермский государственный национальный исследовательский университет
Свободных экз. нет
Найти похожие

55464

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

УДК

681.3

ББК 32.97

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

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

61489

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

УДК

ББК 32.97

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

Перейти: Перейти к просмотру издания

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

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

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

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

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