Новиков П.В.
Логическое программирование на 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. - 415 с. : ил. - (Мир программирования ; VIII.09). - Библиогр.: с. 408-412; Указ. - ISBN 978-5-94836-216-8. - ISBN 978-0-7637-0782-8 (англ.).

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

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

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

Пантелеев А.В.
Метаэвристические алгоритмы поиска глобального экстремума : [учебное пособие] / А.В. Пантелеев; МАИ (Гос. техн. ун-т). - Москва : МАИ-ПРИНТ, 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

Потапова З.Е.
Основы теории алгоритмов : учебное пособие / З.Е. Потапова; МАИ (гос. техн. ун-т). - Москва : МАИ-ПРИНТ, 2008. - 67 с. : ил. - Библиогр.: с.66(15 назв.). - ISBN 978-5-7035-2030-7.

Шифры: 518(075) - П 64

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

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

Шапорев С.Д.
Математическая логика. Курс лекций и практических занятий : учеб. пособие для вузов по спец. 220200 - Автоматизир. системы обработки информации и управления, 071900 - Информ. системы в технике и технологиях / С.Д. Шапорев. - СПб. : БХВ-Петербург , 2007. - 410 с. : ил. - Библиогр.: с. 405 (26 назв.). - ISBN 978-5-94157-702-6.

Шифры: 51(075) - Ш 241

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

Лавров И.А.
Математическая логика : учеб. пособие для вузов по техн. и естественно-научным спец. / И.А. Лавров; под ред. Л.Л.Максимовой. - М. : ИЦ"Академия", 2006. - 240 с. : ил. - (Прикладная математика и информатика. Университетский учебник). - Библиогр.: с.230 (14 назв.). - ISBN 5-7695-2735-8.

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

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

Колмогоров А.Н.
Математическая логика : Учеб.пособие для студентов мат. спец. вузов / А.Н. Колмогоров, А.Г. Драгалин. - Изд.2-е,стереотип. - М. : Едиториал УРСС, 2005. - 240 с. : ил. - (Классический университетский учебник . К 250-летию Московского университета). - Библиогр.:с. 228 (19 назв.). - ISBN 5-354-01003-9.

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

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

Фалевич Б.Я.
Теория алгоритмов : Учеб.пособие для вузов по напр."Информатика и вычислит.техника" / Б.Я. Фалевич. - Москва : Машиностроение, 2004. - 160 с. : ил. - Библиогр.:с.160(16 назв.). - ISBN 5-217-03249-9.

Шифры: 518(075) - Ф 19

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

Колмогоров А.Н.
Математическая логика : Учеб.пособие для вузов математ.спец. / А.Н. Колмогоров, А.Г. Драгалин; Моск.гос.ун-т им.М.В.Ломоносова. - М. : УРСС, 2004. - 240 с. : ил. - (Классический университетский учебник). - Библиогр.:с.228(19 назв.). - ISBN 5-354-00389-Х.

Шифры: 517 - К 608

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

Гашков С.Б.
Арифметика.Алгоритмы.Сложность вычислений : Учеб.пособие для вузов / С.Б. Гашков, В.Н. Чубариков. - 2-е изд. ; перераб. - М. : Высшая школа, 2000. - 320 с. : ил. - (Высшая математика). - ISBN 5-06-003613-8.

Шифры: 511(075) - Г 248

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

Кормен Т.
Алгоритмы: построение и анализ / Т. Кормен, Ч. Лейзерсон, Р. Ривест. - М. : МЦНМО, 1999. - 955 с. : ил. - (Классика computer science). - ISBN 5-900916-37-5.

Шифры: 518(075) - К 669

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

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

Непейвода Н.Н.
Прикладная логика : Учеб.пособие для вузов по спец."Математика","Прикладная математика","Лингвистика","Философия","Психология" / Н.Н. Непейвода; М-во общ.и проф.образования РФ;Удмурт.гос.ун-т. - Ижевск : Удмуртский университет, 1997. - 385 с. : ил. - Библиогр.:с.375-376(19 назв.). - ISBN 5-7029-00740-х.

Шифры: 517(075) - Н 531

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

Лавров И.А.
Задачи по теории множеств, математической логике и теории алгоритмов : Учеб. пособие / И.А. Лавров, Л.Л. Максимова. - 3-е изд. - М. : Физматлит, 1995. - 255 с. : ил. - Библиогр.: с. 248-249 (43 назв.). - ISBN 5-02-014844-Х.

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

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