Новые поступления (книга в стадии обработки) Юрченко, Валентин Владимирович. Функциональные сети [Текст] : научное издание / В. В. Юрченко ; . - Москва : Наука, 1992. - 184 с. : ил. - Библиогр. - ISBN 5-02-006944-2 : 22.1 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): функциональные сети -- функциональное программирование Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) 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 р.
Рубрики: математика--вычислительная математика Кл.слова (ненормированные): функциональное программирование -- FL -- языки программирования Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Logical Foundations of Functional Programming [Текст] : научное издание. - Reading a. o. : Addison-Wesley, 1990. - 491 p. - Bibliogr. - ISBN 0-201-17234-8 : 5000.00 р.
Рубрики: математика--исследование операций Кл.слова (ненормированные): математическое программирование -- функциональное программирование Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Бен-Ари, М. Языки программирования: Практический сравнительный анализ [Текст] = Understanding Programming Languages : учеб. по яз. программир. / М. Бен-Ари ; . - Москва : Мир, 2000. - 366, [2] с. - ISBN 5-03-003314-9. - ISBN 0-471-95846-8 : 40.00 р.
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- объектно-ориентированное программирование (ООП) -- логическое программирование -- функциональное программирование -- 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 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): функциональное программирование -- искусственный интеллект -- системное программирование -- ЛИСП -- языки программирования Аннотация: Изложены основы функционального программирования и методы его применения при решении сложных задач на стыке искусственного интеллекта и системного программирования. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Сузи, Роман Арвиевич. Язык программирования Python [Текст] : учеб. пособие / Р. А. Сузи. - Москва : Интернет-Ун-т Информ. Технологий : БИНОМ. Лаб. знаний, 2006. - 326, [2] с. - (Основы информационных технологий). - [Язык Python и его применение] . - Библиогр.: с. 325. - ISBN 5-9556-0058-2 (ИНТУИТ) (в пер.). - ISBN 5-94774-442-2 (БИНОМ . ЛЗ) : 216.00 р.
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- python -- базы данных -- язык сценариев -- функциональное программирование -- модули Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Сергиевский, Г. М. Функциональное и логическое программирование [Текст] : учеб. пособие / Г. М. Сергиевский, Н. Г. Волченков. - М. : ИЦ "Академия", 2010. - 320 с. : ил. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 313-314. - ISBN 978-5-7695-6433-8 : 490.60 р. Гриф: допущено Умо вузов по университет. политехн. образованию в качестве учеб. пособия для студ. вузов, обуч. по напр. "Информатика и вычислительная техника"
Рубрики: Вычислительная техника--Программирование Кл.слова (ненормированные): ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛИСП -- ПРОЛОГ -- ЯЗЫК ПРОГРАММИРОВАНИЯ ПРОЛОГ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Волченков, Н. Г. |
Новые поступления (книга в стадии обработки) Программирование [Электронный ресурс] : учебник в электронном формате : в 2 томах / под ред. Н. И. Пака. - Электрон. текстовые дан. - Москва : Издательский центр "Академия". - (Высшее профессиональное образование. Информатика) (Бакалавриат). - ISBN [Б. и.].Т. 2. - Москва : Издательский центр "Академия", 2013. - 1 эл. опт. диск (CD-ROM). - ISBN 978-5-7695-9595-0 : 8160.16 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): программирование -- функциональное программирование -- объектно-ориентированное программирование (ООП) -- параллельное программирование -- языки программирования -- ЛИСП -- метаязык -- синтаксис Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Пак, Н. И. \\ред.\\ |
Новые поступления (книга в стадии обработки) Тюгашев, Андрей Александрович. Языки программирования [Текст] : учебное пособие для бакалавров и специалистов / А. А. Тюгашев. - Москва ; Санкт-Петербург [и др.] : Питер, 2015. - 333, [3] с. : ил. - (Учебное пособие) (Стандарт третьего поколения). - Библиогр.: с. 274-275 (24 назв.). - ISBN 978-5-496-01006-1 (в пер.) : 1012.80 р. Допущено УМО вузов по образованию в обл. информац. безопасности Ин-та криптографии, связи и информатики Акад. ФСБ России в качестве учеб. пособия для студентов вузов, обучающихся по специальности 10.05.03 (090303) "Информационная безопасность автоматизированных систем"
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- C++ -- Си -- объектно-ориентированное программирование (ООП) -- функциональное программирование -- ЛИСП -- логическое программирование -- Пролог -- визуальное программирование Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Соловьев, А. Е. Базы знаний [Текст] : учеб. пособие / А. Е. Соловьев ; Пермский политехн. ин-т. - Пермь : ППИ, 1988. - 68 с. : ил. ; 20 см. - Библиогр.: с. 61-65. - 0.15 р. Гриф: утв. ред.-изд. советом ин-та в качестве учеб. пособия
Рубрики: Вычислительная техника--Базы данных Кл.слова (ненормированные): базы данных -- функциональное программирование -- декларативные языки -- база знаний -- экспертные системы -- рефлексия Аннотация: Дан обзор работ, посвященных теоретическим аспектам баз знаний. Особое внимание уделено рассмотрению истоков создаваемой теории и тенденций, характерных для развития этой новой научной дисциплины. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Хювенен, Э. Мир Лиспа [Текст] : в 2 т. / Э. Хювенен, Й. Сеппянен. - М. : Мир, 1990. Т. 1 : Введение в язык Лисп и функциональное программирование. - 1990. - 447 с. : ил. ; 20 см. - ISBN 5-03-001935-9 : 1.40 р. Прил.: с. 384-439
Рубрики: Вычислительная техника--Языки программирования Кл.слова (ненормированные): языки программирования -- ЛИСП -- искусственный интеллект -- списки -- символы -- базовые функции -- ввод-вывод информации -- функциональное программирование -- рекурсия -- макросы -- типы данных -- строки -- массивы (вычислительная техника) -- структуры данных Аннотация: Двухтомник финских специалистов, содержащий введение в язык Лисп, методы и системы программирования. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Сеппянен, Й. |
Новые поступления (книга в стадии обработки) Храмушин, В. Н. Трехмерная тензорная математика вычислительных экспериментов в гидромеханике [Текст] : научное издание / В. Н. Храмушин. - Владивосток : ДВО РАН , 2005. - 212 с. : рис. ; 24 см. - Библиогр.: с. 205-211 (107 назв.). - ISBN 5-7442-1402-X : 100.00 р.
Рубрики: Математика--Алгебра Кл.слова (ненормированные): ТЕНЗОРНЫЙ АНАЛИЗ -- ВЫЧИСЛИТЕЛЬНЫЙ ЭКСПЕРИМЕНТ -- МЕХАНИКА -- ГИДРОМЕХАНИКА -- НЕПРОТИВОРЕЧИВОЕ ПРОЕКТИРОВАНИЕ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ТРИЛЕКТИКА -- ТЕНЗОРНАЯ МАТЕМАТИКА Аннотация: Небольшой исторический экскурс, приведенный в первой части книги, адресован читателям, познающим развитие естественных наук во взаимосвязи со становлением прикладной математики. Логические заключения второй части книги заинтересуют разработчиков аппаратных и языковых средств специализированной вычислительной техники. Вычислительные эксперименты гидромеханики представлены в третьей части книги, в которой строгость математических законов по возможности смягчается метафизическими ассоциациями из междисциплинарных естественнонаучных дисциплин. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Схиртладзе, А. Г. Управление станками и станочными комплексами [Текст] : учебник / А. Г. Схиртладзе, М. С. Уколов, Г. Г. Сазонов. - Старый Оскол : ТНТ, 2015. - 420 с. : ил. ; 21 см. - Библиогр.: с. 417-419 (44 назв.). - ISBN 978-5-94178-331-1 : 589.86 р. Гриф: допущено УМО вузов по образованию в обл. автоматизир. машиностроения (УМО АМ) в качестве учеб. пособия для студ. вузов, обучающихся по направлению "Конструкторско-технологическое обеспечение машиностроительных производств"
Рубрики: Станки и инструменты--Станки с ЧПУ Станки и инструменты--Станочные комплексы Кл.слова (ненормированные): УПРАВЛЕНИЕ СТАНКАМИ -- ПРОГРАММНОЕ УПРАВЛЕНИЕ -- ЦИКЛОВОЕ ПРОГРАММНОЕ УПРАВЛЕНИЕ -- СИСТЕМЫ УПРАВЛЕНИЯ -- АВТОМАТИЧЕСКОЕ УПРАВЛЕНИЕ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ТЕХНОЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЧИСЛОВОЕ ПРОГРАММНОЕ УПРАВЛЕНИЕ -- МИКРОПРОЦЕССОРНЫЕ УСТРОЙСТВА -- АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ -- МНОГОУРОВНЕВЫЕ СИСТЕМЫ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- АВТОМАТИЗИРОВАННЫЕ СТАНОЧНЫЕ КОМПЛЕКСЫ -- СИСТЕМЫ ПРОГРАММНОГО УПРАВЛЕНИЯ Аннотация: В учебнике рассмотрены основные вопросы управления станками и станочными комплексами в условиях автоматизированного производства, принципы и структура при создании систем циклового программного управления, методы и средства для технологического и функционального программирования станков с ЧПУ и станочных комплексов, способы эффективной эксплуатации автоматизированных технологических комплексов и систем управления. Дан функциональный анализ станков и станочных комплексов как объектов управления. Предназначен для студентов вузов, обучающихся по направлению "Конструкторско-технологическое обеспечение машиностроительных производств", а также может быть полезен преподавателям и инженерно-техническим работникам промышленных предприятий. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Уколов, М. С. Сазонов, Г. Г. |
Новые поступления (книга в стадии обработки) Винокуров, Н. А. Практика и теория программирования [Электронный ресурс] : в 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
Рубрики: Вычислительная техника--Программирование Кл.слова (ненормированные): ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ЯЗЫК CИ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ПРОДУКЦИОННОЕ ПРОГРАММИРОВАНИЕ -- АЛГОРИТМЫ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ВИРТУАЛИЗАЦИЯ Аннотация: Представляет собой курс лекций, читавшихся авторами на протяжении нескольких лет студентам первого курса Московского физико-технического института, а также семинарских занятий, основанных на этих лекциях. Курс содержит специально подобранный материал по абстрактным исполнителям, алгоритмам и языку программирования Си и может служить хорошим стартом в науку программирования. Первая книга включает в себя введение в теорию вычислимости и ряд независимых лекционных материалов о важных концепциях современного программирования: функциональное и продукционное программирование, сложность вычислений, грамматики и формальные языки, виртуализация исполнителей. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Ворожцов, А. В. |
Новые поступления (книга в стадии обработки) Модели и методы искусственного интеллекта [Текст] : учеб. пособие для студ. спец. "Информационные системы и технологии". "Прикладная информатика в экономике", направлений "Информационные системы и технологии", "Информационные технологии", "Информатика и вычислительная техника", "Программная инженерия" / О. Н. Долинина [и др.] ; под ред. О. Н. Долининой ; Саратовский гос. техн. ун-т. - Саратов : СГТУ, 2015. - 248 с. : ил. ; 21 см. - Библиогр.: с. 242-243 (35 назв.). - ISBN 978-5-7433-2831-4 : 76.71 р.
Рубрики: Вычислительная техника--Искусственный интеллект Кл.слова (ненормированные): ИМПЕРАТИВНЫЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ДЕКЛАРАТИВНЫЕ ЯЗЫКИ -- ОСНОВЫ ЛОГИКИ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЯЗЫК PROLOG -- PROLOG -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛИСП -- LISP Аннотация: Приведены основные методы и способы разработки систем искусственного интеллекта: основы нечеткой логики, логического и функционального программирования. Приведены примеры создания типовых интеллектуальных систем: экспертной системы и системы общения на естественном языке. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Долинина, О. Н. Ермаков, А. В. Файфель, Б. Л. Шварц, А. Ю. Долинина, О. Н. |
Новые поступления (книга в стадии обработки) Кибернетический сборник [Текст] : сб. переводов : [пер. с англ.] / ред.: О. Б. Лупанов, О. М. Касим-Заде. - Москва : Мир, 1965 - . - (Новая серия). Вып. 26. - 1989. - 208 с. - ). - Библиогр. в конце ст. - ISBN 5-03-000998-1 : 2.50 р. Содержание: Тейрлинк, Л. Нетривиальные t-схемы без кратных блоков существуют для всех t / Л. Тейрлинк Стокмейер, Л. Классификация вычислительной сложности проблем / Л. Стокмейер Кармаркар, Н. Новый алгоритм полиномиальной трудоемкости для задач линейного программирования / Н. Кармаркар Делест, М. -П. Алгебраические языки и перечисление полимино / М. -П. Делест, Ж. Вьенно Вьенно, Ж. Перечислительная комбинаторика и алгебраические языки / Ж. Вьенно Бисон, М. Дж. Доказательство программ и программирование доказательств / М. Дж. Бисон Рубрики: Радиоэлектроника--Кибернетика Кл.слова (ненормированные): алгебраические языки -- вычислительная сложность проблем -- задачи линейного программирования -- нетривиальные t-схемы -- перечисление полимино -- перечислительная комбинаторика -- полиномиальная трудоемкость -- проектирование БИС -- функциональное программирование Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Лупанов, О. Б. \\ред.\\ Касим-Заде, О. М. \\ред.\\ |
Новые поступления (книга в стадии обработки) Хювенен, Э. Мир Лиспа [Текст] : в 2-х томах : пер. с финск. / Э. Хювенен, И. Сеппянен ; пер. А. А. Рейтсакас ; ред. В. Л. Стефанюк. - Москва : Мир, 1990. Т. 1 : Введение в язык Лисп и функциональное программирование. - 1990. - 447 с. : рис., табл. - Предм. указ.: с. 434-439. - 1.40 р.
Рубрики: Вычислительная техника--Языки программирования Кл.слова (ненормированные): базовые функции -- вычисления -- замыкания -- искусственный интеллект -- макросы -- массивы -- определение функций -- отображающие функционалы -- последовательности -- применяющие функционалы -- простая рекурсия -- рекурсия -- свойства символа -- символы -- символьная обработка -- списки -- строки -- структуры -- функции -- функциональное программирование -- числа -- язык Лисп Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Сеппянен, И. Рейтсакас, А. А. \\пер.\\ Стефанюк, В. Л. \\ред.\\ |