Электронный каталог Фундаментальной библиотеки ННГУ им. Н.И. Лобачевского

Петренко Александр Анатольевич (Пермский Национальный Исследовательский Политехнический Университет).
Логическое программирование : Учебник / Пермский Национальный Исследовательский Политехнический Университет; Национальный исследовательский университет "Высшая школа экономики". - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2025. - 221 с. - (Высшее образование). - Профессиональное образование. - ISBN 978-5-16-018782-2. - ISBN 978-5-16-111682-1 (электр. издание).

УДК: 510.755(075.8)

Аннотация: В учебнике рассмотрены вопросы которые касаются языков логического программирования: особенности применения синтаксис функции. Приведено большое количество содержательных примеров решения задач демонстрирующих возможности языков логического программирования. Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения. Для студентов высших учебных заведений обучающихся по направлениям подготовки «Информационные технологии автоматизированных систем» «Программная инженерия» «Прикладная информатика а также лиц самостоятельно изучающих логическое программирование.

Гагарина Лариса Геннадьевна (Московский институт электронной техники).
Введение в теорию алгоритмических языков и компиляторов : Учебное пособие / Московский институт электронной техники; Московский институт электронной техники. - 2. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2025. - 207 с. - (Высшее образование). - ВО - Бакалавриат. - ISBN 978-5-16-017756-4. - ISBN 978-5-16-110525-2 (электр. издание).

УДК: 004.2(075.8)

Аннотация: В учебном пособии приведен систематизированный курс освоения теории формальных языков и грамматик — как регулярных так и контекстно-свободных. Рассмотрены современные задачи лексического синтаксического и семантического анализа известные принципы их использования для решения практических задач создания программного обеспечения. Строгий стиль изложения сопровождается многочисленными примерами а также задачами для самостоятельного решения в составе практических заданий необходимых для глубокого усвоения материала. Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения. Для студентов аспирантов научных сотрудников преподавателей высших учебных заведений а также для тех кто интересуется математическими основами программирования.

Модели и методы системного анализа в исследовании операций : Учебник / Воронежский государственный университет; Воронежский государственный университет. - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2025. - 347 с. - (Высшее образование). - Профессиональное образование. - ISBN 978-5-16-018709-9. - ISBN 978-5-16-111627-2 (электр. издание).

УДК: 519.8(075.8)

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

Брусов Петр Никитович (Финансовый университет при Правительстве Российской Федерации).
Финансовая математика : Учебное пособие для магистров; Учебное пособие / Финансовый университет при Правительстве Российской Федерации. - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2025. - 481 с. - (Высшее образование: Магистратура). - ВО - Магистратура. - ISBN 978-5-16-005134-5. - ISBN 978-5-16-100440-1 (электр. издание).

УДК: 336(075.8)

Аннотация: Учебное пособие написано в соответствии с программой курса «Финансовая математика» для магистрантов. Предназначено для студентов (магистрантов специалистов) всех финансовых и экономических специальностей включая финансы и кредит бухгалтерский учет аудит налоги и налогообложение страхование международные экономические отношения и др. а также для финансовых аналитиков и слушателей программ MBA. Будет полезно специалистам всех финансовых и экономических специальностей а также всем желающим освоить количественные методы в финансах и экономике.

Шишкин Алексей Геннадиевич (Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики).
Методы цифровой обработки и распознавания речи : Монография / Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики. - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2024. - 347 с. - (Научная мысль). - Дополнительное профессиональное образование. - ISBN 978-5-16-018017-5. - ISBN 978-5-16-111023-2 (электр. издание).

УДК: 004.934(075.4)

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

Цывильский Василий Львович (Институт искусства реставрации).
Теоретическая механика : Учебник / Институт искусства реставрации. - 5. - Москва : ООО "КУРС", 2024. - 368 с. - (Высшее образование). - ВО - Бакалавриат. - ISBN 978-5-906923-71-4. - ISBN 978-5-16-104227-4. - ISBN 978-5-16-013690-5.

УДК: 531

Аннотация: Книга содержит краткое изложение теории и методику решения задач основного курса теоретической механики в соответствии с программами подготовки бакалавров по техническим направлениям в высших учебных заведениях. Рассмотрены основы механики материальной точки и механической системы (разделы «Статика» «Кинематика» «Динамика») Изложение теории сопровождается пояснениями и примерами. Приводится подробное решение типовых задач с рекомендациями методического характера. Упражнения для самостоятельной работы содержат вопросы по контролю усвоения курса.

Цветков Виктор Яковлевич (МИРЭА - Российский технологический университет).
Основы теории сложности : Монография / МИРЭА - Российский технологический университет. - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2024. - 145 с. - (Научная мысль). - Дополнительное профессиональное образование. - ISBN 978-5-16-019346-5. - ISBN 978-5-16-112015-6 (электр. издание).

УДК: 007(075.4)

Аннотация: Монография раскрывает содержание сложности. Описаны методы оценки сложности. Дана систематика видов сложности. Подробно раскрыто содержание когнитивной сложности. Описана эмерджентность как характеристика сложности. Предназначена для специалистов в области информатики искусственного интеллекта и философии информации.

Царьков Игорь Николаевич.
Математические модели управления проектами : Учебник / Национальный исследовательский университет "Высшая школа экономики". - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2024. - 514 с. - (Высшее образование: Магистратура). - ВО - Магистратура. - ISBN 978-5-16-012831-3. - ISBN 978-5-16-106364-4.

УДК: 005:519.8(075.8)

Аннотация: Математические модели являются частью научного фундамента относительно новой области знаний — управления проектами. Они обеспечивают менеджеров проекта практическими инструментами позволяющими разрабатывать и оптимизировать расписания проекта а также настраивать систему его управления таким образом чтобы повысить эффективность управления.

Ходаков Виктор Егорович.
Дискретная математика : Учебное пособие. - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2024. - 542 с. - (Высшее образование). - ВО - Бакалавриат. - ISBN 978-5-16-019532-2. - ISBN 978-5-16-105954-8.

УДК: 519.854(075.8)

Аннотация: В учебном пособии изложены основы дискретной математики; рассмотрены основные понятия и научные результаты теории множеств математической логики отношений формальных систем алгоритмов алгебр комбинаторики графов фрактальных множеств; даны все определения необходимые для выполнения заданий. Теоретический материал проиллюстрирован большим количеством примеров из разных областей знаний. Включает основные понятия и теоретические результаты методы и алгоритмы решения прикладных зачач а также исторические сведения об ученых внесших вклад в историю развития дискретной математики.

Татарникова Татьяна Михайловна (Санкт-Петербургский государственный университет аэрокосмического приборостроения).
Интеллектуальный анализ данных : Учебное пособие / Санкт-Петербургский государственный университет аэрокосмического приборостроения. - Вологда : Инфра-Инженерия, 2024. - 172 с. - Профессиональное образование. - ISBN 978-5-9729-1772-3.

УДК: 004

Аннотация: Показаны технологии интеллектуального анализа данных. Особое внимание уделено задачам кластеризации и классификации. Приводится характеристика методов алгоритмов и этапы решения этих задач с закреплением полученных знаний в виде выполнения лабораторных работ. Для студентов обучающихся по направлениям подготовки укрупненной группы «Информатика и вычислительная техника» а также смежным направлениям подготовки и специальностям: «Прикладная математика и информатика» «Системный анализ и управление» «Прикладная математика». Может быть полезно аспирантам и научным работникам которые в своей деятельности используют модели и методы искусственного интеллекта.

Соснин Эдуард Анатольевич (Национальный исследовательский Томский государственный университет).
Осмысленная научная деятельность: диссертанту - о жизни знаний, защищаемых в форме положений : Монография / Национальный исследовательский Томский государственный университет. - 1. - Москва : Издательский Центр РИОР, 2024. - 148 с. - (Научная мысль). - ДПО - повышение квалификации. - ISBN 978-5-369-01430-1. - ISBN 978-5-16-102901-5 (электр. издание). - ISBN 978-5-16-010841-4 (ISBN соиздателя).

УДК: 004;007;123.1;124;159.9;316.4;577.22(072)

Аннотация: Как появляются научные знания? Как разоблачают шарлатанов? Всякая ли теория научная? Чем новации отличаются от инноваций? Какопределить «возраст» направления НИР? Авторы выделили ситуации где не соблюдается критерий истинности знания причём эти нарушения неизбежны социокультурно обусловлены но преодолимы метасистемными переходами. В этом контексте рассмотрены ошибки диссертантов при составлении научных положений и их анализе. На десятках примеров раскрыты принципы корректного формулирования защищаемых положений и их оценок. Для магистрантов аспирантов соискателей учёной степени в области естественных наук членов диссертационных советов.

Соколов Григорий Андреевич (Российский экономический университет им. Г.В. Плеханова, Пятигорский ф-л).
Линейные целочисленные задачи оптимизации : Учебное пособие / Российский экономический университет им. Г.В. Плеханова, Пятигорский ф-л. - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2024. - 132 с. - (Высшее образование). - ВО - Бакалавриат. - ISBN 978-5-16-019450-9. - ISBN 978-5-16-103227-5.

УДК: 519.8(075.8)

Аннотация: Учебное пособие предназначено для студентов к семестровому курсу дискретной (целочисленной) оптимизации. Пособие содержит десять лекций к каждой лекции предлагается ряд задач для самостоятельного решения. Книга охватывает значительный материал: от известной задачи о рюкзаке до приближенных методов решения включая теорию псевдобулевых функций теорию расписаний теорию оптимизации на графах и т.д. Пособие написано простым языком доступным студентам второго курса.

Рыков Владимир Васильевич (Российский государственный университет нефти и газа (НИУ) им. И.М. Губкина).
Основы теории массового обслуживания (Основной курс:марковские модели, методы марковизации) : Учебное пособие / Российский государственный университет нефти и газа (НИУ) им. И.М. Губкина. - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2024. - 223 с. - (Высшее образование). - ВО - Бакалавриат. - ISBN 978-5-16-010945-9. - ISBN 978-5-16-102970-1 (электр. издание).

УДК: 519.872(075.8)

Аннотация: Предлагаемое учебное пособие предназначено для бакалавров и магистров по направлениям подготовки высшего образования 01.03.02 (01.04.02) «Прикладная математика и информатика» 02.03.02 (02.04.02) «Фундаментальная информатика и информационные технологии» 02.03.01 (02.04.01) «Математика и компьютерные науки» а также может быть использовано при подготовке специалистов по другим направлениям где изучаются дисциплины с подобным или близким содержанием таких как например 27.03.04 «Управление в технических системах» 15.03.04 «Автоматизация технологических процессов и производств» 01.03.04 «Прикладная математика» 09.03.03 «Прикладная информатика» и др. От читателя предполагается знакомство с курсами теории вероятностей и теории случайных процессов в объеме изучаемом студентами вузов с повышенной математической подготовкой.

Методы восстановления непараметрической регрессии в условиях несбалансированных данных : Монография / Кузбасский государственный технический университет имени Т. Ф. Горбачева. - Вологда : Инфра-Инженерия, 2024. - 192 с. - Профессиональное образование. - ISBN 978-5-9729-1856-0.

УДК: 004

Аннотация: Рассматривается регрессионный подход к решению предметно-прикладных задач на примере одной области данных. Читатели смогут повторить все операции над собственными датасетами так как монография содержит в себе детальные расчеты и приложения в которых представлен весь комплекс вычисленных промежуточных значений требуемых для достижения поставленной цели. Для специалистов в области искусственного интеллекта. Может быть полезно студентам обучающимся по направлению подготовки «Искусственный интеллект».

Поляков Олег Маратович (Санкт-Петербургский государственный университет аэрокосмического приборостроения).
R-лингвистика : Монография / Санкт-Петербургский государственный университет аэрокосмического приборостроения. - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2024. - 212 с. - (Научная мысль). - Дополнительное профессиональное образование. - ISBN 978-5-16-019637-4. - ISBN 978-5-16-112200-6 (электр. издание).

УДК: 004.8(075.4)

Аннотация: Монография содержит аксиоматические теоретические основы работы интеллекта в том числе искусственного. Доступ к пониманию работы интеллекта возможен либо через анализ поведения либо через язык. Здесь предпринята попытка математически объединить оба подхода и на этой основе объяснить некоторые феномены мышления и языка отталкиваясь от специального вида модели мира лежащей в основе поведения познающего сознания (искусственного или естественного). Это позволяет также показать как возникают задачи традиционно считающиеся задачами искусственного интеллекта определить их свойства и способы решения. Для студентов аспирантов и преподавателей технических вузов и факультетов а также широкого круга читателей интересующихся вопросами искусственного интеллекта.

Петрушенко Леонид Аврамиевич (ЗАКРЫТ Московский институт управления).
Мифология, философия и немножко теории систем : Монография / ЗАКРЫТ Московский институт управления; Российский университет дружбы народов; Государственный университет управления; Санкт-Петербургский государственный университет аэрокосмического приборостроения; Санкт-петербургский государственный электротехнический университет "ЛЭТИ" им. В.И. Ульянова (Ленина). - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2024. - 118 с. - (Научная мысль). - Дополнительное профессиональное образование. - ISBN 978-5-16-011318-0. - ISBN 978-5-16-103494-1.

УДК: 1+7.046.1

Аннотация: Философские этюды представленные в сборнике рассматривают смежные с социологией теоретические вопросы других наук а также ее наиболее общие философские представления. Работа посвященная мифологии философии и теории систем раскрывает миф как вид особого общественного сознания имеющий самое прямое отношение к политике праву морали науке искусству религии и философии а также общественной психологии и идеологии. Автор рассматривает историю развития идей системности организованности и самодвижения (активности) от древневосточной античной классической немецкой философии до наших дней. Острота мысли научное предвидение и актуальность собранных в сборник философских этюдов имеют особенную ценность сегодня пройдя двадцатилетнюю проверку временем.

Парфенов Денис Васильевич (МИРЭА - Российский технологический университет).
Язык Си: кратко и ясно : Учебное пособие; Учебное пособие / МИРЭА - Российский технологический университет. - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2024. - 320 с. - (Высшее образование). - Профессиональное образование. - ISBN 978-5-16-019382-3. - ISBN 978-5-16-110920-5.

УДК: 519.682.2(075.8)

Аннотация: В учебном пособии представлена новейшая версия языка программирования Си ставшего международным стандартом. Совмещены подходы учебного пособия и справочника что облегчает студентам изучение материала. Особое внимание уделено стилю программирования его эффективности и выразительности.

Пантелеев Андрей Владимирович (Московский авиационный институт (национальный исследовательский университет)).
Метаэвристические алгоритмы поиска оптимального программного управления : Монография / Московский авиационный институт (национальный исследовательский университет); ИП Агапова Инара Валерьевна; Московский авиационный институт, ф-л "Восход", в г. Байконур. - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2024. - 396 с. - (Научная мысль). - Дополнительное профессиональное образование. - ISBN 978-5-16-019642-8. - ISBN 978-5-16-104298-4.

УДК: 517.977(075.4)

Аннотация: В книге описано применение современных методов поиска условного глобального экстремума: эволюционных методов; методов «роевого» интеллекта; методов имитирующих физические процессы; мультистартовых методов в задачах нахождения оптимального программного управления нелинейными детерминированными динамическими системами. В каждом разделе приведены постановка задачи стратегия поиска детальный алгоритм решения результаты решения модельных примеров и прикладных задач.

Пагано Микеле.
Модели телетрафика : Учебное пособие / Российский государственный университет нефти и газа (НИУ) им. И.М. Губкина. - 1. - Москва : ООО "Научно-издательский центр ИНФРА-М", 2024. - 178 с. - (Высшее образование). - ВО - Бакалавриат. - ISBN 978-5-16-019526-1. - ISBN 978-5-16-106633-1.

УДК: 621.391(075.8)

Аннотация: Основная цель предлагаемого курса состоит в том чтобы дать обзор существующих математических моделей трафика в телекоммуникационных системах показать источники их происхождения и возможное применение. Материал курса опирается на традиционные курсы высшей математики а также курсы теории вероятностей и теории случайных процессов в объеме предлагаемом в технических университетах.

Осипова Виктория Аркадьевна.
Основы дискретной математики : Учебное пособие / Московский авиационный институт (национальный исследовательский университет). - 2. - Москва : Издательство "ФОРУМ", 2024. - 157 с. - (Высшее образование). - ВО - Бакалавриат. - ISBN 978-5-00091-787-9. - ISBN 978-5-16-111660-9. - ISBN 978-5-16-018758-7.

УДК: 519.1(075.8)

Аннотация: Излагаются основы современной дискретной математики. Рассматриваются вопросы связанные с комбинаторикой математической логикой теорией графов. Приводятся практические задачи и даются алгоритмы их решения.