Новиков П.В.
Логическое программирование на 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

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

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

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

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

Гуц А.К.
Математическая логика и теория алгоритмов / А.К. Гуц. - Изд. 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

Шапорев С.Д.
Математическая логика. Курс лекций и практических занятий : учеб. пособие для вузов по спец. 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. - 240 с. : ил. - (Классический университетский учебник). - Библиогр.:с.228(19 назв.). - ISBN 5-354-00389-Х.

Шифры: 517 - К 608

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