Полное описание
>
510/П 901
Путилов, Артур Олегович. Дискретная математика: логика, теория множеств и комбинаторика : учебное пособие / А. О. Путилов, Э. Р. Зарипова ; Министерство науки и высшего образования Российской Федерации, Министерство внутренних дел Российской Федерации, Московский университет Министерства Внутренних Дел Российской Федерации имени В. Я. Кикотя. - Москва : Московский ун-т МВД России им. В. Я. Кикотя, 2022. - 108 с. : ил. - Библиогр.: с. 107-108 (16 назв.). - 137 экз. - ISBN 978-5-9694-1135-7 : 100 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510 | |
| 27.03.33 | 519.1 | |
| 27.45.15 |
Рубрики:
Математическая логика
Множеств теория
Комбинаторика (матем.)
Кл.слова (ненормированные): математическая логика -- полином жегалкина -- операции над множествами -- мощность множества -- мощность множества -- бином ньютона
Аннотация: В учебном пособии по дискретной математике представлен теоретический и практический материал по множествам и отношениям на множествах, математической логике, комбинаторике и производящим функциям. К каждому разделу приведены таблицы, графики, задачи и упражнения, примеры с разбором решения. Издание предназначено для курсантов и слушателей образовательных организаций МВД России в рамках изучения ими дисциплин "Высшая математика", "Прикладная математика" и "Дискретная математика", а также для всех, кто интересуется классическими и современными методами дискретной математики.
Доп. точки доступа:
Зарипова, Эльвира Ринатовна
Московский университет Министерства Внутренних Дел Российской Федерации имени В. Я. Кикотя
>
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)
Обложка
Зарипова, Эльвира Ринатовна. Дискретная математика : теория конечных графов : учебное пособие / Э. Р. Зарипова, Е. В. Маркова, 2020. - 169, [1] с. - Текст (визуальный) : непосредственный.Путилов, Артур Олегович. Дискретная математика: логика, теория множеств и комбинаторика : учебное пособие / А. О. Путилов, Э. Р. Зарипова, 2022. - 108 с. - Текст (визуальный) : непосредственный.Атласов, Игорь Викторович. Высшая математика : учебное пособие. Ч. 1, 2024. - 78 с. - Текст : непосредственный.Университет цифровой полиции: сборник олимпиадных заданий по профилю "Информационная безопасность" : учебно-методическое пособие / Н. В. Задохина, Е. С. Прохорова, Э. Р. Зарипова, И. Ю. Лошкарев, 2026. - 31 с. - Текст (визуальный) : непосредственный.
Вестник экономической безопасности : журнал / Московский университет Министерства Внутренних Дел Российской Федерации имени В. Я. Кикотя. - Журнал выходит с 2015г. - Текст : непосредственный.Елизарова В.В. Финансы : учебное пособие / В. В. Елизарова, И. В. Рубцов, 2017. - 117 с.Правовая охрана окружающей среды : курс лекций / С. А. Анохин [и др.], 2017. - 217 с. - Текст : непосредственный.Беляев М.В. Современные возможности транспортно-трасологических исследований : монография / М. В. Беляев, 2017. - 132 с. - Текст : непосредственный.Овчинский А.С. Информационное противостояние и общественная безопасность : курс лекций / А. С. Овчинский, К. К. Борзунов, С. О. Чеботарева, 2017. - 252 с. - Текст : непосредственный.Бобошко Н.М. Налоги и налогообложение : курс лекций / Н. М. Бобошко, 2017. - 222 с. - Текст : непосредственный.Шестопалова Е.В. Современное ручное стрелковое огнестрельное оружие и боеприпасы, состоящие по вооружении органов внутренних дел : учебное наглядное пособие (альбом схем) / Е. В. Шестопалова, Е. Ю. Дьякова, Д. С. Степанов, 2018. - 318 с.Быковская Ю.В. Выявление коррупционных преступлений в сфере закупок для государственных и муниципальных нужд : учебное пособие / Ю. В. Быковская, Е. А. Сафохина, 2018. - 102 с. - Текст : непосредственный.Асташкина А.В. Альбом схем по жилищному праву : учебное наглядное пособие / А. В. Асташкина, 2018. - 107 с.Бурыкин Д.В. Финансовый менеджмент : учебное пособие / Д. В. Бурыкин, 2018. - 128 с.Дмитриев А.В. Разновидности программного обеспечения электронных стрелковых тренажеров : учебное наглядное пособие / А. В. Дмитриев, С. В. Кудрявцев , 2018. - 50 с.Методические рекомендации по расследованию преступлений в сфере компьютерной информации : учебное пособие / И. Г. Чекунов [и др.], 2018. - 105 с. - Текст : непосредственный.Холодное и метательное оружие : словарь-справочник / К. В. Ярмак [и др.], 2017. - 391 с. - Текст : непосредственный.Аблеев С.Р. История и философия естествознания : учебное пособие для подготовки к кандидатскому экзамену по "Истории и философии науки" / С. Р. Аблеев, 2018. - 118 с. - Текст : непосредственный.Преступления в сфере экономической деятельности в терминах и определениях : словарь / Московский университет Министерства Внутренних Дел Российской Федерации имени В. Я. Кикотя, 2018. - 79 с.Обработка электронных документов в ОВД с помощью приложения MS Excel 2010 : учебно-методическое пособие / А. А. Страхов [и др.], 2018. - 74 с.Гандилов Т.М. Актуальные проблемы слияний и поглощений акционерных обществ в условиях реформирования современного гражданского законодательства России : монография / Т. М. Гандилов, А. В. Тумаков, 2018. - 110 с.Государственное строительство в России (история и современность) : монография / Н. Д. Эриашвили [и др.], 2018. - 219 с. - Текст : непосредственный.Захаров Д.Н. Системное администрирование операционных систем : учебно-практическое пособие / Д. Н. Захаров, А. В. Пузарин, 2018. - 395 с. - Текст : непосредственный.Сандрюкова Е.А. Экономико-математические методы и модели : учебное пособие / Е. А. Сандрюкова, Н. М. Дубинина, 2019. - 129 с. - Текст : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Назарок А.В. Исследование ортогональных латинских квадратов и других комбинаторных конструкций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Назарок, 1991. - 11 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Малых А.Е. Комбинаторный анализ в его развитии : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:07.00.10 / А. Е. Малых, 1992. - 31 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Павлов А.И. Арифметические задачи комбинаторики : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Павлов, 1994. - 15 с. - Текст : непосредственный.Колчин А.В. Суммы независимых случайных величин и некоторые комбинаторные задачи : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.05 / А. В. Колчин, 1994. - 12 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пулатов А.К. Комбинаторно-метрический подход к исследованию способов задания, деформируемости и Р-проектируемости выпуклого многогранника в R-з : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09 / А. К. Пулатов, 1993. - 25 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.Хомич В.И. Проблема отделимости в пропозициональных исчислениях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич, 1995. - 27 с. - Текст : непосредственный.Машурян А.С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян, 1995. - 14 с. - Текст : непосредственный.
Показать все результатыSchindler R.D. core model up to one strong cardinal : Diss. / R.D.Schindler, 1997. - 122 p. - Текст : непосредственный. Sommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Gibbons P.B. The use of hill-climbing to construct orthogonal Steiner trimple systems : отчет / P.B.Gibbons,R.Mathon, 1992. - 20 p. - Текст : непосредственный.Rutten J.J.M.M. On the foundations of final semantics:non-standard sets,metric spaces, partial orders / J.J.M.M.Rutten,D.Turi, 1992. - 53 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M.Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Хенл Дж.М. Введение в теорию множеств / Дж.М.Хенл;Пер. с англ. С.И.Травкина; Под ред.В.Б.Кузьмина, 1993. - 105 c. - Текст : непосредственный.Cole T. greedy network result on 5 euclidean plane points / T.Cole, 1993. - 5 p. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 c. - Текст : непосредственный.Beigel R. Approximable sets / R.Beigel,M.Kummer,F.Stephan, 1993. - 15 p. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Rijke M.de A Lindstrom theorem for modal logic / M.de Rijke, 1994. - 13 p. - Текст : непосредственный.Pruesse G. Efficient generation of linear extensions and other restricted permutations : Diss. / G.Pruesse, 1993. - 82 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.
Показать все результатыАхтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Раджаб Моханнад.Модель взаимодействующих сетей Петри : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Раджаб Моханнад, 1991. - 16 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Морозов А.С. Группы вычислительных автоморфизмов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов, 1990. - 15 с. - Текст : непосредственный.Коржик В.П. Графы токов и их применение для построения специальных вложений графов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. П. Коржик, 1990. - 15 с. - Текст : непосредственный.Вабищевич А.М. Отображение и реализация задач анализа топологии сетевых графов на супер-ЭВМ векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. М. Вабищевич, 1991. - 16 с. - Текст : непосредственный.Вайценавичюс Р.Ю. Главные нумерации вычислимых функционалов на допустимых множествах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс, 1991. - 11 с. - Текст : непосредственный.Кожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Назарок А.В. Исследование ортогональных латинских квадратов и других комбинаторных конструкций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Назарок, 1991. - 11 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Беляевский В.В. Специальные матрицы графов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. В. Беляевский, 1992. - 14 с. - Текст : непосредственный.Силла Абрахам.Изучение зависимости структуры графа от степенных инвариантов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Силла Абрахам, 1992. - 17 с. - Текст : непосредственный.Малых А.Е. Комбинаторный анализ в его развитии : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:07.00.10 / А. Е. Малых, 1992. - 31 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽