Дискретная математика: практическая дискретная математика и математическая логика: учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки дипломированных специалистов 210440 - Телекоммуникации

Титульный лист Выходные данные Содержание Предисловие Часть I. ПРАКТИЧЕСКИЕ ЗАНЯТИЯ Раздел А. Дискретная математика 1. Выполнение операций над множествами 2. Решение теоретико-множественных задач с использованием законов алгебры Кантора 3. Решение комбинаторных задач 4. Решение задач на графах 5. Задание переключательных функций 6. Определение свойств бинарных переключательных функций 7. Решение задач на применение законов алгебры переключательных функций и формул равносильных преобразований 8. Преобразование форм представления переключательных функций 9. Минимизация переключательных функций методом Квайна – Мак-Класки 10. Минимизация переключательных функций по картам Карно 11. Минимизация переключательных функций методом Л.Ф. Викентьева 12. Минимизация переключательных функций в базисе «Сумма по модулю 2, И, НЕ» и методом неопределенных коэффициентов 13. Системная минимизация переключательных функций 14. Абстрактный синтез комбинационных автоматов 15. Структурный синтез комбинационных автоматов 16. Абстрактный синтез последовательностных автоматов при детерминированной входной последовательности 17. Абстрактный синтез последовательностных автоматов при недетерминированной входной последовательности 18. Диагностический анализ автоматов — построение контрольных тестов 19. Диагностический анализ автоматов — построение диагностических тестов 20. Кодирование по Хэммингу 21. Кодирование с использованием математического аппарата умножения и деления полиномов Раздел Б. Математическая логика и теория алгоритмов 22. Анализ понятий 23. Анализ суждений 24. Анализ умозаключений 25. Формализация высказываний 26. Доказательство общезначимости формул 27. Доказательство правильности логических выводов 28. Получение формул логики предикатов 29. Преобразование формул логики предикатов 30. Доказательство методом резолюций в логике предикатов 31. Выполнение доказательств и выводов в логических исчислениях 32. Задание формальных языков и грамматик 33. Построение схем алгоритмов 34. Представление схемы алгоритма эквивалентным автоматом на «жесткой» логике 35. Представление схемы алгоритма эквивалентным автоматом на «гибкой» логике 36. Представление схемы алгоритма микропрограммой с двумя типами микрокоманд 37. Арифметизация булевых и псевдобулевых функций Часть II. ОТВЕТЫ И СОВЕТЫ Приложение. Освоение систем компьютерной математики Лабораторная работа 1. Исследование комбинаторных функций пакета Mathematica 5.1 Лабораторная работа 2. Исследование систем компьютерной математики для работы с графами Лабораторная работа 3. Моделирование автомата — распознавателя последовательности с помощью системы Elektronics Workbench Лабораторная работа 4. Моделирование автомата — формирователя последовательности с помощью системы Elektronics Workbench Лабораторная работа 5. Логическое программирование на языке «Пролог-Д» Лабораторная работа 6. Решение задач нечеткой логики в среде MatLab Рекомендуемая литература