Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

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

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

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

В текущей базе данных найдено документов :17

В других БД по вашему запросу найдено:

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

ЭБС "ЛАНЬ" (2)

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

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

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

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

Юрченко, Валентин Владимирович.
Функциональные сети [Текст] : научное издание / В. В. Юрченко ; . - Москва : Наука, 1992. - 184 с. : ил. - Библиогр. - ISBN 5-02-006944-2 : 22.1 р.

УДК

519.68

Рубрики: вычислительная техника--программирование

Кл.слова (ненормированные):
функциональные сети -- функциональное программирование
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Research Topics in Functional Programming [Текст] : научное издание. - Reading a. o. : Addison-Wesley, 1990. - 373 p. - (University of Texas at Austin Year of Programming Ser.). - Bibliogr. - ISBN 0-201-17236-4 : 6000.00 р.

УДК

519.85

Рубрики: математика--вычислительная математика

Кл.слова (ненормированные):
функциональное программирование -- FL -- языки программирования
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Logical Foundations of Functional Programming [Текст] : научное издание. - Reading a. o. : Addison-Wesley, 1990. - 491 p. - Bibliogr. - ISBN 0-201-17234-8 : 5000.00 р.

УДК

519.85

Рубрики: математика--исследование операций

Кл.слова (ненормированные):
математическое программирование -- функциональное программирование
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Бен-Ари, М.
Языки программирования: Практический сравнительный анализ [Текст] = Understanding Programming Languages : учеб. по яз. программир. / М. Бен-Ари ; . - Москва : Мир, 2000. - 366, [2] с. - ISBN 5-03-003314-9. - ISBN 0-471-95846-8 : 40.00 р.

УДК

004.43(075.8)

Рубрики: вычислительная техника--языки программирования

Кл.слова (ненормированные):
языки программирования -- объектно-ориентированное программирование (ООП) -- логическое программирование -- функциональное программирование -- C++ -- Ada 95 -- Java -- Prolog -- PL/1 -- ML
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Городняя, Лидия Васильевна.
Основы функционального программирования [Текст] : курс лекций : учеб. пособие для студентов вузов, обучающихся по специальности 351400 "Прикладная информатика" / Л. В. Городняя. - Москва : Интернет-Ун-т Информ. Технологий, www.intuit.ru [изд.], 2004. - 272, [8] с. : ил. - (Основы информационных технологий). - Библиогр.: с. 269-271 (30 назв.). - с. 278 (13 назв.). - ISBN 5-9556-0008-6 (в пер.) : 208.45 р.

УДК

004.42(075.8)

Рубрики: вычислительная техника--программирование

Кл.слова (ненормированные):
функциональное программирование -- искусственный интеллект -- системное программирование -- ЛИСП -- языки программирования
Аннотация: Изложены основы функционального программирования и методы его применения при решении сложных задач на стыке искусственного интеллекта и системного программирования.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Саратовский государственный технический университет им. Гагарина Ю. А.

Найти похожие

Сузи, Роман Арвиевич.
Язык программирования Python [Текст] : учеб. пособие / Р. А. Сузи. - Москва : Интернет-Ун-т Информ. Технологий : БИНОМ. Лаб. знаний, 2006. - 326, [2] с. - (Основы информационных технологий). - [Язык Python и его применение] . - Библиогр.: с. 325. - ISBN 5-9556-0058-2 (ИНТУИТ) (в пер.). - ISBN 5-94774-442-2 (БИНОМ . ЛЗ) : 216.00 р.

УДК

004.438(075)

Рубрики: вычислительная техника--языки программирования

Кл.слова (ненормированные):
языки программирования -- python -- базы данных -- язык сценариев -- функциональное программирование -- модули
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Сергиевский, Г. М.
Функциональное и логическое программирование [Текст] : учеб. пособие / Г. М. Сергиевский, Н. Г. Волченков. - М. : ИЦ "Академия", 2010. - 320 с. : ил. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 313-314. - ISBN 978-5-7695-6433-8 : 490.60 р.
Гриф: допущено Умо вузов по университет. политехн. образованию в качестве учеб. пособия для студ. вузов, обуч. по напр. "Информатика и вычислительная техника"

ГРНТИ	50.05.01.33
УДК	004.42(075.8)

ББК 32.973-018.2

Рубрики: Вычислительная техника--Программирование

Кл.слова (ненормированные):
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛИСП -- ПРОЛОГ -- ЯЗЫК ПРОГРАММИРОВАНИЯ ПРОЛОГ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Волченков, Н. Г.
Найти похожие

Программирование [Электронный ресурс] : учебник в электронном формате : в 2 томах / под ред. Н. И. Пака. - Электрон. текстовые дан. - Москва : Издательский центр "Академия". - (Высшее профессиональное образование. Информатика) (Бакалавриат). - ISBN [Б. и.].Т. 2. - Москва : Издательский центр "Академия", 2013. - 1 эл. опт. диск (CD-ROM). - ISBN 978-5-7695-9595-0 : 8160.16 р.

УДК

004.42(075.8)(0.034.4)

Рубрики: вычислительная техника--программирование

Кл.слова (ненормированные):
программирование -- функциональное программирование -- объектно-ориентированное программирование (ООП) -- параллельное программирование -- языки программирования -- ЛИСП -- метаязык -- синтаксис
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:
Пак, Н. И. \\ред.\\
Найти похожие

Тюгашев, Андрей Александрович.
Языки программирования [Текст] : учебное пособие для бакалавров и специалистов / А. А. Тюгашев. - Москва ; Санкт-Петербург [и др.] : Питер, 2015. - 333, [3] с. : ил. - (Учебное пособие) (Стандарт третьего поколения). - Библиогр.: с. 274-275 (24 назв.). - ISBN 978-5-496-01006-1 (в пер.) : 1012.80 р.
Допущено УМО вузов по образованию в обл. информац. безопасности Ин-та криптографии, связи и информатики Акад. ФСБ России в качестве учеб. пособия для студентов вузов, обучающихся по специальности 10.05.03 (090303) "Информационная безопасность автоматизированных систем"

УДК

004.43(075.8)

Рубрики: вычислительная техника--языки программирования

Кл.слова (ненормированные):
языки программирования -- C++ -- Си -- объектно-ориентированное программирование (ООП) -- функциональное программирование -- ЛИСП -- логическое программирование -- Пролог -- визуальное программирование
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

10.

Соловьев, А. Е.
Базы знаний [Текст] : учеб. пособие / А. Е. Соловьев ; Пермский политехн. ин-т. - Пермь : ППИ, 1988. - 68 с. : ил. ; 20 см. - Библиогр.: с. 61-65. - 0.15 р.
Гриф: утв. ред.-изд. советом ин-та в качестве учеб. пособия

ГРНТИ	50.41.21.01.33
УДК	681.3.016(075)

Рубрики: Вычислительная техника--Базы данных

Кл.слова (ненормированные):
базы данных -- функциональное программирование -- декларативные языки -- база знаний -- экспертные системы -- рефлексия
Аннотация: Дан обзор работ, посвященных теоретическим аспектам баз знаний. Особое внимание уделено рассмотрению истоков создаваемой теории и тенденций, характерных для развития этой новой научной дисциплины.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Найти похожие

11.

   Хювенен, Э.
    Мир Лиспа [Текст] : в 2 т. / Э. Хювенен, Й. Сеппянен. - М. : Мир, 1990.
   Т. 1 : Введение в язык Лисп и функциональное программирование. - 1990. - 447 с. : ил. ; 20 см. - ISBN 5-03-001935-9 : 1.40 р.
Прил.: с. 384-439

ГРНТИ	50.05.09
УДК	681.3.06:519.6

ББК 32.973

Рубрики: Вычислительная техника--Языки программирования

Кл.слова (ненормированные):
языки программирования -- ЛИСП -- искусственный интеллект -- списки -- символы -- базовые функции -- ввод-вывод информации -- функциональное программирование -- рекурсия -- макросы -- типы данных -- строки -- массивы (вычислительная техника) -- структуры данных
Аннотация: Двухтомник финских специалистов, содержащий введение в язык Лисп, методы и системы программирования.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Сеппянен, Й.
Найти похожие

12.

Храмушин, В. Н.
Трехмерная тензорная математика вычислительных экспериментов в гидромеханике [Текст] : научное издание / В. Н. Храмушин. - Владивосток : ДВО РАН , 2005. - 212 с. : рис. ; 24 см. - Библиогр.: с. 205-211 (107 назв.). - ISBN 5-7442-1402-X : 100.00 р.

ГРНТИ	27.17.29
УДК	512.64

ББК 22.151.5

Рубрики: Математика--Алгебра

Кл.слова (ненормированные):
ТЕНЗОРНЫЙ АНАЛИЗ -- ВЫЧИСЛИТЕЛЬНЫЙ ЭКСПЕРИМЕНТ -- МЕХАНИКА -- ГИДРОМЕХАНИКА -- НЕПРОТИВОРЕЧИВОЕ ПРОЕКТИРОВАНИЕ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ТРИЛЕКТИКА -- ТЕНЗОРНАЯ МАТЕМАТИКА
Аннотация: Небольшой исторический экскурс, приведенный в первой части книги, адресован читателям, познающим развитие естественных наук во взаимосвязи со становлением прикладной математики. Логические заключения второй части книги заинтересуют разработчиков аппаратных и языковых средств специализированной вычислительной техники. Вычислительные эксперименты гидромеханики представлены в третьей части книги, в которой строгость математических законов по возможности смягчается метафизическими ассоциациями из междисциплинарных естественнонаучных дисциплин.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

13.

Схиртладзе, А. Г.
Управление станками и станочными комплексами [Текст] : учебник / А. Г. Схиртладзе, М. С. Уколов, Г. Г. Сазонов. - Старый Оскол : ТНТ, 2015. - 420 с. : ил. ; 21 см. - Библиогр.: с. 417-419 (44 назв.). - ISBN 978-5-94178-331-1 : 589.86 р.
Гриф: допущено УМО вузов по образованию в обл. автоматизир. машиностроения (УМО АМ) в качестве учеб. пособия для студ. вузов, обучающихся по направлению "Конструкторско-технологическое обеспечение машиностроительных производств"

ГРНТИ	55.29.01.33
УДК	621.9-52+621.941.26(075.8)

ББК 34.4

Рубрики: Станки и инструменты--Станки с ЧПУ

Станки и инструменты--Станочные комплексы

Кл.слова (ненормированные):
УПРАВЛЕНИЕ СТАНКАМИ -- ПРОГРАММНОЕ УПРАВЛЕНИЕ -- ЦИКЛОВОЕ ПРОГРАММНОЕ УПРАВЛЕНИЕ -- СИСТЕМЫ УПРАВЛЕНИЯ -- АВТОМАТИЧЕСКОЕ УПРАВЛЕНИЕ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ТЕХНОЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЧИСЛОВОЕ ПРОГРАММНОЕ УПРАВЛЕНИЕ -- МИКРОПРОЦЕССОРНЫЕ УСТРОЙСТВА -- АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ -- МНОГОУРОВНЕВЫЕ СИСТЕМЫ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- АВТОМАТИЗИРОВАННЫЕ СТАНОЧНЫЕ КОМПЛЕКСЫ -- СИСТЕМЫ ПРОГРАММНОГО УПРАВЛЕНИЯ
Аннотация: В учебнике рассмотрены основные вопросы управления станками и станочными комплексами в условиях автоматизированного производства, принципы и структура при создании систем циклового программного управления, методы и средства для технологического и функционального программирования станков с ЧПУ и станочных комплексов, способы эффективной эксплуатации автоматизированных технологических комплексов и систем управления. Дан функциональный анализ станков и станочных комплексов как объектов управления. Предназначен для студентов вузов, обучающихся по направлению "Конструкторско-технологическое обеспечение машиностроительных производств", а также может быть полезен преподавателям и инженерно-техническим работникам промышленных предприятий.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Уколов, М. С.
Сазонов, Г. Г.
Найти похожие

14.

   Винокуров, Н. А.
    Практика и теория программирования [Электронный ресурс] : в 2 кн. : учеб. пособие / Н. А. Винокуров, А. В. Ворожцов ; Московский физико-тех. ин-т (гос. ун-т). - М. : Физматкнига, 2008 - . - (Информатика). - ISBN 978-5-89155-180-0.
   Кн. 1, Ч. 1, 2. - 2008. - on-line. - ). - ISBN 978-5-89155-181-7 : 380.00, 3300.00 р.
Гриф: рек. УМО вузов РФ по образованию в обл. приклад. математики и физики М-ва образования и науки РФ в качестве учеб. пособия для студ. вузов, обучающихся по направлению подгот. "Прикладные математика и физика". Режим доступа : https://sstu.bibliotech.ru/Reader/Book/3436. Количество одновременных доступов 4

ГРНТИ	50.05.01.33
УДК	004.4(075.8)

ББК 32.97

Рубрики: Вычислительная техника--Программирование

Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ЯЗЫК CИ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ПРОДУКЦИОННОЕ ПРОГРАММИРОВАНИЕ -- АЛГОРИТМЫ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ВИРТУАЛИЗАЦИЯ
Аннотация: Представляет собой курс лекций, читавшихся авторами на протяжении нескольких лет студентам первого курса Московского физико-технического института, а также семинарских занятий, основанных на этих лекциях. Курс содержит специально подобранный материал по абстрактным исполнителям, алгоритмам и языку программирования Си и может служить хорошим стартом в науку программирования. Первая книга включает в себя введение в теорию вычислимости и ряд независимых лекционных материалов о важных концепциях современного программирования: функциональное и продукционное программирование, сложность вычислений, грамматики и формальные языки, виртуализация исполнителей.
Перейти к внешнему ресурсу книга доступна в ЭБС "БиблиоТех"
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Ворожцов, А. В.
Найти похожие

15.

Модели и методы искусственного интеллекта [Текст] : учеб. пособие для студ. спец. "Информационные системы и технологии". "Прикладная информатика в экономике", направлений "Информационные системы и технологии", "Информационные технологии", "Информатика и вычислительная техника", "Программная инженерия" / О. Н. Долинина [и др.] ; под ред. О. Н. Долининой ; Саратовский гос. техн. ун-т. - Саратов : СГТУ, 2015. - 248 с. : ил. ; 21 см. - Библиогр.: с. 242-243 (35 назв.). - ISBN 978-5-7433-2831-4 : 76.71 р.

ГРНТИ	28.23.01.33
УДК	004.8(075.8)

ББК 32.813

Рубрики: Вычислительная техника--Искусственный интеллект

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

Доп. точки доступа:
Долинина, О. Н.
Ермаков, А. В.
Файфель, Б. Л.
Шварц, А. Ю.
Долинина, О. Н.
Найти похожие

16.

    Кибернетический сборник [Текст] : сб. переводов : [пер. с англ.] / ред.: О. Б. Лупанов, О. М. Касим-Заде. - Москва : Мир, 1965 - . - (Новая серия).
   Вып. 26. - 1989. - 208 с. - ). - Библиогр. в конце ст. - ISBN 5-03-000998-1 : 2.50 р.
    Содержание:
Тейрлинк, Л. Нетривиальные t-схемы без кратных блоков существуют для всех t / Л. Тейрлинк
Стокмейер, Л. Классификация вычислительной сложности проблем / Л. Стокмейер
Кармаркар, Н. Новый алгоритм полиномиальной трудоемкости для задач линейного программирования / Н. Кармаркар
Делест, М. -П. Алгебраические языки и перечисление полимино / М. -П. Делест, Ж. Вьенно
Вьенно, Ж. Перечислительная комбинаторика и алгебраические языки / Ж. Вьенно
Бисон, М. Дж. Доказательство программ и программирование доказательств / М. Дж. Бисон

ББК 32.81

Рубрики: Радиоэлектроника--Кибернетика

Кл.слова (ненормированные):
алгебраические языки -- вычислительная сложность проблем -- задачи линейного программирования -- нетривиальные t-схемы -- перечисление полимино -- перечислительная комбинаторика -- полиномиальная трудоемкость -- проектирование БИС -- функциональное программирование
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Лупанов, О. Б. \\ред.\\
Касим-Заде, О. М. \\ред.\\
Найти похожие

17.

   Хювенен, Э.
    Мир Лиспа [Текст] : в 2-х томах : пер. с финск. / Э. Хювенен, И. Сеппянен ; пер. А. А. Рейтсакас ; ред. В. Л. Стефанюк. - Москва : Мир, 1990.
   Т. 1 : Введение в язык Лисп и функциональное программирование. - 1990. - 447 с. : рис., табл. - Предм. указ.: с. 434-439. - 1.40 р.

ГРНТИ

ББК 32.973-01

Рубрики: Вычислительная техника--Языки программирования

Кл.слова (ненормированные):
базовые функции -- вычисления -- замыкания -- искусственный интеллект -- макросы -- массивы -- определение функций -- отображающие функционалы -- последовательности -- применяющие функционалы -- простая рекурсия -- рекурсия -- свойства символа -- символы -- символьная обработка -- списки -- строки -- структуры -- функции -- функциональное программирование -- числа -- язык Лисп
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Сеппянен, И.
Рейтсакас, А. А. \\пер.\\
Стефанюк, В. Л. \\ред.\\
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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