Этот курс и более
11 156 других учебников
и курсов будут доступны
при покупке личной
подписки
ДИСКРЕТНАЯ МАТЕМАТИКА И МАТЕМАТИЧЕСКАЯ ЛОГИКА
Используют:
0
вузов
0
преподавателей
0
студентов
Избранное
СПО
3 зачетных единицы
108 академ/часов
6 часов в неделю
Доступно к покупке
Оплаченный доступ к контенту предоставляется только на платформе, а также онлайн и офлайн в мобильном приложении
Оплаченный доступ к контенту
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
Скачивание контента в
PDF недоступно
PDF недоступно
Скачивание контента в PDF недоступно
- О курсе
- Авторы
- Программа курса
- Методика
О курсе
В настоящем учебном пособии излагаются основы теории множеств, теории графов, алгебры логики, исчисления высказываний, исчисления предикатов. Теоретический материал представлен доступно и лаконично, также в книге содержится большое количество практических примеров и задач, что облегчает усвоение понятий и методов дискретной математики и математической логики. Соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Для студентов, обучающихся по естественнонаучным направлениям, преподавателей и всех интересующихся.
Базовый учебник
Серия
Профессиональное образование
Тематика/подтематика
Математика и статистика / Дискретная математика и математическая логикаДисциплины
Дискретная математика ,
Математика. Дискретная математика ,
Введение в дискретную математику ,
Основы дискретной математики
Направления подготовки/Специальности/Профессии
09.02.01 Компьютерные системы и комплексы,
09.02.05 Прикладная информатика (по отраслям),
10.02.03 Информационная безопасность автоматизированных систем,
09.02.04 Информационные системы (по отраслям),
09.02.03 Программирование в компьютерных системах,
09.02.02 Компьютерные сети,
09.02.07 Информационные системы и программирование,
09.02.06 Сетевое и системное администрирование,
10.02.05 Обеспечение информационной безопасности автоматизированных систем,
09.02.01.П Компьютерные системы и комплексы (профессионалитет),
09.02.07.П Информационные системы и программирование (профессионалитет),
09.02.06.П Сетевое и системное администрирование (профессионалитет),
10.02.05.П Обеспечение информационной безопасности автоматизированных систем (профессионалитет)
09.02.05 Прикладная информатика (по отраслям),
10.02.03 Информационная безопасность автоматизированных систем,
09.02.04 Информационные системы (по отраслям),
09.02.03 Программирование в компьютерных системах,
09.02.02 Компьютерные сети,
09.02.07 Информационные системы и программирование,
09.02.06 Сетевое и системное администрирование,
10.02.05 Обеспечение информационной безопасности автоматизированных систем,
09.02.01.П Компьютерные системы и комплексы (профессионалитет),
09.02.07.П Информационные системы и программирование (профессионалитет),
09.02.06.П Сетевое и системное администрирование (профессионалитет),
10.02.05.П Обеспечение информационной безопасности автоматизированных систем (профессионалитет)
Свернуть
Еще 9
Авторы
Лекции
Палий Ирина Абрамовна
почетный работник высшего профессионального образования РФ, доцент
Программа курса
Свернуть все темы
Развернуть все темы
Вводная глава. Метод математической индукции. Введение в комбинаторику
Время прохождения 324 минуты
- В1. Метод математической индукции (87мин.)
- В2. Введение в комбинаторику (175мин.)
- Тест: Вводная глава. Метод математической индукции. Введение в комбинаторику (62мин.)
Свернуть
Развернуть тему
Раздел I. ВВЕДЕНИЕ В ТЕОРИЮ МНОЖЕСТВ
Время прохождения 1702 минуты
- Глава 1. Основные понятия и определения теории множеств (157мин.)
- Глава 2. Основные операции над множествами (175мин.)
- Глава 3. Формула включения и исключения. Решение систем с неизвестными множествами (105мин.)
- Глава 4. Бинарные отношения. Основные определения (175мин.)
- Глава 5. Ядро бинарного отношения. Матрицы конечных бинарных отношений. Отношения эквивалентности (122мин.)
- Глава 6. Функции (122мин.)
- Глава 7. Теорема о гомоморфизме. Отношения порядка (157мин.)
- Глава 8. Решетки и матроиды (122мин.)
- Глава 9. Алгоритм построения базы матроида. Жадный алгоритм (87мин.)
Свернуть
Развернуть тему
Раздел II. ОСНОВЫ АЛГЕБРЫ ЛОГИКИ
Время прохождения 978 минут
- Глава 10. Основные определения (140мин.)
- Глава 11. Нормальные формы логических функций (157мин.)
- Глава 12. Закон двойственности в алгебре логики (105мин.)
- Глава 13. Минимизация логических функций (192мин.)
- Глава 14. Арифметические полиномы (122мин.)
- Глава 15. Монотонные функции (105мин.)
- Глава 16. Функционально замкнутые классы и теорема Поста (122мин.)
Свернуть
Развернуть тему
Раздел III. ВВЕДЕНИЕ В ТЕОРИЮ ГРАФОВ
Время прохождения 2231 минута
- Глава 17. Основные определения (175мин.)
- Глава 18. Операции над графами. Графы и матрицы (157мин.)
- Глава 19. Деревья (157мин.)
- Глава 20. Минимальные остовные деревья. Алгоритм Дейкстры отыскания кратчайших путей в графах (175мин.)
- Глава 21. Алгоритм Беллмана решения задачи о кратчайшем пути. Алгоритм Флойда отыскания кратчайших путей между всеми парами вершин графа (210мин.)
- Глава 22. Гамильтоновы циклы (227мин.)
- Глава 23. Задачи размещения. Поиск центров и медиан в графе (384мин.)
- Глава 24. Связность графов (175мин.)
- Глава 25. Фундаментальные циклы и разрезы (140мин.)
- Глава 26. Независимые и покрывающие множества вершин и ребер (140мин.)
-
- 26.1. Покрывающие множества вершин и ребер (17мин.)
- 26.2. Независимые множества вершин и ребер (17мин.)
- 26.3. Связь между числами вершинного и реберного покрытий и числами вершинной и реберной независимости (35мин.)
- 26.4. Доминирующие множества вершин (17мин.)
- 26.5. Задача о наименьшем покрытии (17мин.)
- 26.6. Как отыскать все максимальные независимые множества вершин данного графа (алгоритм Брона - Кербоша) (52мин.)
- Глава 27. Эйлеровы графы. Плоские графы (157мин.)
-
- 27.1. Эйлеровы графы (17мин.)
- 27.2. Критерий эйлеровости графа (35мин.)
- 27.3. Алгоритм Флери построения эйлерова цикла в эйлеровом графе (17мин.)
- 27.4. Ориентированные эйлеровы графы (17мин.)
- 27.5. Определение планарного (плоского) графа (17мин.)
- 27.6. Эйлерова характеристика плоских графов (52мин.)
- 27.7. Критерий планарности графов (35мин.)
Свернуть
Развернуть тему
Раздел IV. ОСНОВЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ
Время прохождения 734 минуты
- Глава 28. Основные определения (105мин.)
- Глава 29. Теоремы о логических следствиях (122мин.)
- Глава 30. Методы доказательства логических следствий (192мин.)
- Глава 31. Теория доказательств в исчислении высказываний (140мин.)
- Глава 32. Правила введения и удаления логических связок. Непротиворечивость и полнота исчисления высказываний (140мин.)
Свернуть
Развернуть тему
Раздел V. ОСНОВЫ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ
Время прохождения 838 минут
- Глава 33. Основные определения (157мин.)
- Глава 34. Общезначимость в исчислении предикатов (140мин.)
- Глава 35. Общезначимость и логические следствия (175мин.)
- Глава 36. Нормальные формы формул логики предикатов (245мин.)
- Глава 37. Теория доказательств в исчислении предикатов (87мин.)
Свернуть
Развернуть тему
Новинки издательства по дисциплине "Дискретная математика" и смежным дисциплинам
Время прохождения 52 минуты
Свернуть
Развернуть тему
Методика
Материалы курса
Лекции22
Видео1
Тесты6
Задания8
Поделиться курсом
Подписка от 349 ₽/мес.
Курсы по теме:
Используют:
0
вузов
0
преподавателей
0
студентов
Научная школа:
Финансовый университет при Правительстве РФ (г. Москва)
Используют:
0
вузов
0
преподавателей
0
студентов
Мы используем cookie :)
ООО «Электронное издательство Юрайт» использует файлы cookie с целью персонализации сервисов и повышения удобства пользования веб-сайтом. «Cookie» представляют собой небольшие файлы, содержащие информацию о предыдущих посещениях веб-сайта. Если вы не хотите использовать файлы «cookie», измените настройки браузера.
Попробуйте личную
подписку от 349 ₽/мес
Полный доступ к порталу Юрайт со всеми учебниками, курсами и сервисами на 1, 6 и 12 месяцев
Более 10 000 учебников
Более 5000 курсов
Тесты и задания платформы
Образовательная платформа для университетов и колледжей. Предлагаем цифровой учебный контент и сервисы для эффективного образования.
Ссылки
ООО «Электронное издательство Юрайт»
Свидетельство о регистрации СМИ 2020
Свидетельство о регистрации СМИ 2020
Ваш IP-адрес: 3.142.172.250
Начать экзамен
У вас на прохождение экзамена:
Остановить или пройти экзамен повторно невозможно.
Начать экзамен
У вас осталось на прохождение экзамена:
Остановить или пройти экзамен повторно невозможно.
Создание новой папки
Выбранная книга издается в нескольких томах (частях), рекомендуем добавить в корзину следующие книги:
Название | Цена | Заказать |