Нефедов В.Н.
Решение типовых задач по теории графов и сетей : учебное пособие / В.Н. Нефедов ; МАИ (нац. исслед. ун-т). - Москва : МАИ, 2024. - 87 с. : ил. - (Учебное пособие). - Библиогр.: с.86 (3 назв.). - ISBN 978-5-4316-1146-9.

Шифры: 519(075) - Н 58

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

Экземпляры: Всего: 370, из них: абмл-357, абнл-5, к/х7-2, чзнл-3, чзуч-2, ЭБС-1

Новиков П.В.
Логическое программирование на Visual Prolog 5.2 : учебное пособие к лабораторным работам / П.В. Новиков ; под ред. О.М. Брехова; МАИ (нац. исслед. ун-т). - Москва : МАИ, 2023. - 79 с. : ил. - (Учебное пособие). - Библиогр.: с.78 (12 назв.). - ISBN 978-5-4316-1085-1.

Шифры: 004.4(075) - Н 731

Аннотация: В учебном пособии рассмотрены синтаксические конструкции языка Visual Prolog 5.2 и приёмы логического программирования на этом языке программирования. Даны теоретические разъяснения особенностей логического программирования, приведены примеры логических программ, представлены разнообразные варианты задач и упражнений на составление ПРОЛОГ-программ различной трудности. Пособие предназначено для студентов направлений «Информатика и вычислительная техника» и «Программная инженерия», а также для всех изучающих программирование. Знакомство с основными принципами логического программирования расширяет кругозор и существенно повышает квалификацию программиста.

Экземпляры: Всего: 79, из них: абмл-30, абнл-5, абст-33, к/х7-2, чзнл-3, чзуч-5, ЭБС-1

Малинина Н.Л.
Комбинаторный анализ : учебное пособие / Н.Л. Малинина, О.Л. Демидова. - Москва : МАИ, 2021. - 95 с. : ил. - (Учебное пособие). - Библиогр.: с.95 (19 назв.). - ISBN 978-5-4316-0772-1.

Шифры: 51(075) - М 19

Аннотация: Вниманию читателя предлагается учебное пособие, которое знакомит со следующими науками: теория множеств, комбинаторика, топология, теория графов, теория алгоритмов. Эти науки позволяют понять многие аспекты и проблемы, связанные с исследованием и проектированием сложных систем и процессов их функционирования. Учебное пособие разработано для студентов, которые обучаются по специальности 200402 «Управление организационно-техническими системами). Главная цель — дать фундаментальные основы для последующего изучения системного анализа и других наук, связанных с оптимизацией сложных систем и процессов функционирования.

Экземпляры: Всего: 79, из них: абмл-63, абнл-5, к/х7-2, чзнл-3, чзуч-5, ЭБС-1

Колмогоров А.Н.
Математическая логика : Дополнительные главы: учебное пособие для матем. спец. вузов / А.Н. Колмогоров, А.Г. Драгалин ; МГУ им. М.В. Ломоносова. - Изд. стер. - Москва : URSS, 2020. - 236, [1] с. : ил. - (Классический университетский учебник). - Библиогр.: с.227-228 (19 назв.). - ISBN 978-5-354-01645-7.

Шифры: 51(075) - К 608

Аннотация: Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В. Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Экземпляры: Всего: 30, из них: абнл-3, абст-21, чзнл-3, чзуч-3

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для вузов по специальностям 090100 -" Информационная безопасность" / М.М. Глухов, О.А. Козлитин, В.А. Шапошников, А.Б. Шишков. - Санкт-Петербург [ и др.] : Лань, 2019. - 111 с. - (Учебники для вузов. Специальная литература). - Библиогр.:с.109-110(19 назв.). - ISBN 978-5-8114-0853-5.

Шифры: 51(075) - З-153

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

Экземпляры: Всего: 2, из них: чзнл-2

Элементарная топология : [учебное издание для вузов] / О.Я. Виро, О.А. Иванов, Н.Ю. Нецветаев, В.М. Харламов. - Изд. 3-е, доп. - Москва : МЦНМО, 2018. - 358 с. : ил. - Библиогр.: с.353 (7 назв.). - ISBN 978-5-4439-2680-3.

Шифры: 515(075) - Э 456

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

Экземпляры: Всего: 10, из них: абнл-4, чзнл-3, чзуч-3

Макконнелл Дж.Д.
Анализ алгоритмов. Активный обучающий подход : учебное пособие по направлению "Информатика и вычислительная техника" / Дж.Д. Макконнелл ; перевод с английского С.А. Кулешова; под ред. С.К. Ландо. - 3-е доп. изд. - Москва : Техносфера, 2018. - 415 с. : ил. - (Мир программирования ; VIII.09). - Библиогр.: с. 408-412. - Указ. - ISBN 978-5-94836-216-8. - ISBN 978-0-7637-0782-8 (англ.).

Шифры: 51(075) - М 158

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

Экземпляры: Всего: 3, из них: абнл-2, чзнл-1

Алескеров Ф.Т.
Бинарные отношения, графы и коллективные решения : учебное пособие для студентов по направлениям "Экономика", "Менеджмент", "Бизнес-информатика", Гос. и муниципал. управление" и спец. "Логистика" / Ф.Т. Алескеров, Э.Л. Хабина, Д.А. Шварц. - Изд.2-е, перераб. и доп. - Москва : ФИЗМАТЛИТ, 2017. - 341 с. : ил. - (Анализ и поддержка решений). - Библиогр.: с.332-337 (133 назв.). - ISBN 978-5-9221-1363-2.

Шифры: 33(075) - А 486

Аннотация: В учебном пособии излагаются современные математические подходы к описанию дискретных математических объектов, к построению и изучению прикладных дискретных математических моделей, адекватных реалиям и потребностям социально-экономической и общественно-политической жизни современного общества. Рекомендовано Учебно-методическим объединением по образованию в области экономики, менеджмента, логистики и бизнес-информатики в качестве учебного пособия для студентов, обучающихся по направлениям «Экономика», «Менеджмент», «Бизнес-информатика», «Государственное и муниципальное управление» и специальности «Логистика».

Экземпляры: Всего: 2, из них: абнл-1, чзнл-1

Лекции по теории графов : учебное пособие для студентов по спец. "Математика" и "Прикладная математика" / В.А. Емеличев, О.И. Мельников, В.И. Сарванов, Р.И. Тышкевич. - изд. 4-е. - Москва : ЛЕНАНД, 2015. - 382 с. : ил. - Библиогр.: с.375-376 (32 назв.). - ISBN 978-5-9710-1435-5.

Шифры: 519(075) - Л 436

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

Экземпляры: Всего: 2, из них: чзнл-2

Панюкова Т.А.
Комбинаторика и теория графов : учебное пособие для студентов по направл. 010300 "Фундаментальная информатика и информ. технологии", 010400 "Прикл. математика и информатика" / Т.А. Панюкова. - изд.3-е,испр. - Москва : ЛЕНАНД, 2014. - 206 с. : ил. - Библоигр.: с.206 (19 назв.). - ISBN 978-5-9710-0924-5.

Шифры: 519(075) - П 168

Аннотация: Настоящее пособие написано на основе курса лекций "Комбинаторика и теория графов", читаемого автором студентам специальностей "Прикладная информатика в экономике" и "Математические методы в экономике" Южно-Уральского государственного университета. Одна из главных задач курса - обучение студентов методам мышления, характерным для дискретной математики, основным понятиям комбинаторики и теории графов, а также развитие навыков алгоритмического мышления. Пособие охватывает такие разделы дискретной математики, как основы теории множеств, комбинаторика и теория графов. В конце каждой главы приведены классические и прикладные задачи различного уровня сложности, в том числе связанные с разработкой алгоритмов и программ.

Экземпляры: Всего: 1, из них: чзнл-1

Алексеев Ю.К.
Введение в теорию катастроф : учебное пособие для вузов по направл. "Физика", "Прикладная математика" и спец. "Физика" / Ю.К. Алексеев, А.П. Сухоруков ; предисл. Г.Г.Малинецкого. - Изд. стер. - Москва : ЛИБРОКОМ, 2014. - 170 с. : ил. - (Синергетика: от прошлого к будущему. №47). - Библиогр.: с.170 (8 назв.). - ISBN 978-5-397-04072-3.

Шифры: 530.1(075) - А 471

Экземпляры: Всего: 3, из них: абнл-1, чзнл-2

Нефедов В.Н.
Алгебра множеств, бинарные отношения в примерах и задачах : учебное пособие / В.Н. Нефедов ; МАИ (Нац. исслед. ун-т). - Москва : МАИ, 2014. - 87 с. : ил. - (Учебное пособие). - Библиогр.: с.86 (3 назв.). - ISBN 978-5-4316-0218-4.

Шифры: 51(075) - Н 58

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

Экземпляры: Всего: 193, из них: абмл-177, абнл-5, к/х7-2, чзнл-3, чзуч-5, ЭБС-1

Лекции по теории графов : учебное пособие для вузов по спец. "Математика" и "Прикл. математика" / В.А. Емеличев, О.И. Мельников, В.И. Сарванов, Р.И. Тышкевич. - Изд. 3-е. - Москва : URSS, ЛИБРОКОМ, 2013. - 383 с. : ил. - Библиогр.: с.375-376 (32 назв.). - ISBN 978-5-397-03289-6.

Шифры: 519(075) - Л 436

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

Экземпляры: Всего: 1, из них: абнл-1

Макконнелл Дж.Д.
Анализ алгоритмов. Активный обучающий подход : учебное пособие по направлению подготовки специалистов "Информатика и вычислительная техника" / Дж.Д. Макконнелл ; перевод с английского С.А. Кулешова; под ред. С.К. Ландо. - 3-е доп. изд. - Москва : Техносфера, 2013. - 415 с. : ил. - (Мир программирования. VIII. 09). - Библиогр.: с. 408-412. - Предм. указ.: с. 413-415. - ISBN 978-5-94836-216-8.

Шифры: 51(075) - М 158

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

Экземпляры: Всего: 6, из них: абнл-3, абст-1, чзнл-2

Глухов М.М.
Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие для вузов по направл. (спец.) 090301 - Компьютерная безопасность и 090303 - Информацион. безопасность автоматизирован. систем. / М.М. Глухов, А.Б. Шишков. - СПб.;Москва;Краснодар : Лань, 2012. - 405 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с.398-401 (76 назв.). - ISBN 978-5-8114-1344-7.

Шифры: 51(075) - Г 554

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

Экземпляры: Всего: 6, из них: абнл-3, чзнл-3

Корпусов М.О.
Нелинейный функциональный анализ и математическое моделирование в физике. Геометрические и топологические свойства линейных пространств : учебное пособие для вузов по спец. "Математическая физика" / М.О. Корпусов, А.Г. Свешников. - Москва : КРАСАНД, 2011. - 412 с. : ил. - Библиогр.: с.407-408 (36 назв.). - ISBN 978-5-396-00362-0.

Шифры: 517(075) - К 688

Экземпляры: Всего: 1, из них: чзнл-1

Пантелеев А.В.
Метаэвристические алгоритмы поиска глобального экстремума : [учебное пособие] / А.В. Пантелеев ; МАИ (Гос. техн. ун-т). - Москва : МАИ-ПРИНТ, 2009. - 159 с. : ил. - (Научная библиотека). - Библиогр.: с.156-159 (65 назв.). - ISBN 978-5-7035-2115-1.

Шифры: 517(075) - П 166

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

Экземпляры: Всего: 228, из них: абнл-5, абст-102, об/ф-114, чзнл-3, чзуч-3, ЭБС-1

Гуц А.К.
Математическая логика и теория алгоритмов / А.К. Гуц. - Изд. 2-е., доп. - М. : Либроком, 2009. - 117 с. - Библиогр.: с. 114-117 (59 назв.). - ISBN 978-5-397-00056-7.

Шифры: 51(075) - Г 977

Экземпляры: Всего: 1, из них: чзнл-1

Лихтарников Л.М.
Математическая логика : Курс лекций. Задачник - практикум и решения. Учеб. пособие / Л.М. Лихтарников, Т.Г. Сукачева. - Изд.4-е.,стер. - СПб.;М.;Краснодар : Лань, 2009. - 276 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с.273 (12 назв.). - ISBN 978-5-8114-0082-9.

Шифры: 51(075) - Л 656

Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.

Экземпляры: Всего: 9, из них: абнл-6, чзнл-3

Александров П.С. (1896-1982).
Введение в теорию множеств и общую топологию : учебное пособие / П.С. Александров. - Москва : ФИЗМАТЛИТ, 2009. - 352 с. - (Классика и современность. Математика). - Библиогр.:с.346 -347. - ISBN 978-5-9221-1087-7.

Шифры: 51(075) - А 465

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

Экземпляры: Всего: 1, из них: чзнл-1