Новиков П.В.
Логическое программирование на 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. - 160 с. : ил. - (Высшее образование). - Библиогр.: с.160 (10 назв.). - ISBN 978-5-8114-5904-9.

Шифры: 51(075) - В 751

Аннотация: Пособие предназначено для работы студентов-бакалавров и специалистов инженерных специальностей с преподавателем на практических занятиях и самостоятельной работы, а также для магистров и аспирантов в качестве справочника. Содержание книги соответствует ФГОС и примерной программе учебных дисциплин «Математика» и «Высшая математика» для групп специальностей: «Электро- и теплоэнергетика», «Машиностроение», «Техника и технология наземного транспорта», «Авиационная и ракетно-космическая техника», «Техника и технология строительства» и др. Оно станет подспорьем для тех, кто желает освоить основы дисциплины самостоятельно.

Экземпляры: Всего: 1, из них: чзнл-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

Асанов М.О.
Дискретная математика: графы, матроиды, алгоритмы : учебное пособие / М.О. Асанов, В.А. Баранский, В.В. Расин. - Изд. 3-е, стер. - Санкт-Петербург [и др.] : Лань, 2020. - 362 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с.351-354 (68 назв.). - ISBN 978-5-8114-4998-9.

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

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

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

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

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

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

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

Макконнелл Дж.Д.
Анализ алгоритмов. Активный обучающий подход : учебное пособие по направлению "Информатика и вычислительная техника" / Дж.Д. Макконнелл ; перевод с английского С.А. Кулешова; под ред. С.К. Ландо. - 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

Осипова В.А.
Основы дискретной математики : учебное пособие для вузов по направлению 38.03.01 "Экономика" / В.А. Осипова. - 2-е изд., доп. - М. : ФОРУМ: ИНФРА-М, 2017. - 156 с. : ил. - (Высшее образование - бакалавриат). - Доступна электронная версия издания 2020 г. - URL: https://znanium.com/catalog/document?id=357752. - Режим доступа: по подписке, после регистрации в ЭБС "Знаниум" из сети МАИ. - Библиогр.: с. 156 (12 назв.). - ISBN 978-5-00091-404-5 (ФОРУМ). - ISBN 978-5-16-012860-3 (ИНФРА-М,print). - ISBN 978-5-16-105297-6 (ИНФРА-М, online).

Шифры: 51(075) - О-741

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

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

Порешин П.П.
Дискретная математика: множества, отношения, логика, автоматы : учебное пособие для вузов по направлению "Прикл. информатика (по областям)" / П.П. Порешин, Б.Н. Попов ; МАИ (Нац. исслед. ун-т). - Москва : МАИ-ПРИНТ, 2014. - 187 с. : ил. - Библиогр.: с.187 (17 назв.). - ISBN 978-5-7035-2325-4.

Шифры: 51(075) - П 591

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

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

Хаггарти Р.
Дискретная математика для программистов : учебное пособие для вузов по направлению "Прикладная математика" / Р. Хаггарти ; перевод с английского, под ред. С.А. Кулешова с доп. А.А. Ковалева, В.А. Головешкина, М.В. Ульянова. - Изд. 2-е, испр. - Москва : Техносфера, 2014. - 399 с. : ил. - (Мир программирования. VIII.02). - Библиогр.:с.395-396 (28 назв.). - Указ. - ISBN 978-5-94836-303-5.

Шифры: 51(075) - Х 133

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

Экземпляры: Всего: 6, из них: абнл-3, чзнл-2, чзуч-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. - 507 с. : ил. - Библиогр.: с.500-501 (42 назв.). - ISBN 978-5-9502-0446-3.

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

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

Мальцев И.А.
Дискретная математика : учебное пособие / И.А. Мальцев. - Изд. 2-е, испр. - СПб.;Москва;Краснодар : Лань, 2011. - 290 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с.278-279 (33 назв.). - ISBN 979-5-8114-1010-1.

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

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

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

Антонов В.И.
Математика : учеб. пособие / В.И. Антонов, Ф.И. Копелевич. - СПб.; М.; Краснодар : Лань, 2010. - 157 с. : ил. - (Интернет-тестирование базовых знаний). - Библиогр.: с. 154-155. - ISBN 978-5-8114-1080-4.

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

Аннотация: Учебное пособие содержит теоретические сведения и набор стандартных задач по математике, а также подробные решения демонстрационных вариантов тестовых заданий, представленных на сайте Росаккредагентства (www.fepo.ru). Тематическая структура пособия определяется дидактическими единицами государственных образовательных стандартов, которые в свою очередь разделяются на более узкие подразделы — так называемые аттестационные педагогические измерительные материалы (АПИМ). Такая структура во многом определяет специфику проведения и оценки результатов Федерального экзамена в сфере профессионального образования (ФЭПО) по дисциплинам основных образовательных программ. Пособие предназначено для подготовки студентов высших учебных заведений к интернет-тестированию по математике, которое проводится в рамках ежегодного мониторинга учреждений высшего профессионального образования для оценки качества проведения учебного процесса. Гриф: Рекомендовано ФГУ «Национальное аккредитационное агентство в сфере образования (Росаккредагентство)»

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

Босс В.
Лекции по математике : учеб. пособие. Т.7. Оптимизация / В. Босс. - изд. 3-е. - М. : ЛИБРОКОМ, 2010. - 213 с. : ил. - Библиогр.: с.209-210 (21 назв.). - ISBN 978-5-397-01407-6.

Шифры: 51(075) - Б 854

Экземпляры: Всего: 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

Мышкис А.Д.
Математика для технических вузов : специальные курсы / А.Д. Мышкис. - Изд. 3-е, стер. - СПб.;М.;Краснодар : Лань, 2009. - 632 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с.621-625 (140 назв.). - ISBN 978-5-8114-0395-0.

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

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

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