Предисловие

Введение

Глава 1. Алгебра логики

• 1.1 Функции алгебры логики (71мин.)
• 1.2. Правила алгебры логики (42мин.)
• 1.3. Диаграммы Венна. Временные диаграммы (28мин.)
• 1.4. Аналитическая запись функций алгебры логики (28мин.)
• 1.5. Представление функций алгебры логики в различных базисах (14мин.)
• 1.6. Реализация функций алгебры логики (28мин.)
• 1.7. Минимизация функций алгебры логики (14мин.)
• 1.8. Геометрическая интерпретация области определения функций алгебры логики (71мин.)
• 1.9. Методы нахождения МДНФ (198мин.)
• 1.10. Абсолютно-минимальные представления (14мин.)
• 1.11. Неполные функции (42мин.)
• 1.12. Особенности минимизации неполных функций (14мин.)
• 1.13. Преобразования и минимизация в базисах Вебба и Шеффера (113мин.)
• Тест:  Алгебра логики (36мин.)

Глава 2. Синтез логических схем

• 2.1. Общие замечания (14мин.)
• 2.2. Синтез функциональных схем (127мин.)
• 2.3. Синтез некоторых конкретных устройств (198мин.)
• Тест:  Синтез логических схем (16мин.)

Глава 3. Технические средства реализации логических функций

• 3.1. Схемы на ферритах (57мин.)
• 3.2. Схемы на диодах (71мин.)
• 3.3. Транзисторная и микроэлектронная реализация логических функций (28мин.)
• 3.4. Биполярные микросхемы (71мин.)
• 3.5. МДП-микросхемы (57мин.)
• 3.6. Релейно-контактные схемы (42мин.)
• Тест:  Технические средства реализации логических функций (34мин.)

Глава 4. Анализ и синтез релейно-контактных схем

• 4.1. Булева алгебра - инструмент описания и синтеза релейно-контактных схем (28мин.)
• 4.2. Основные методы и подходы к синтезу СЛУ. Временные диаграммы. Релейно-контактная реализация триггеров (127мин.)
• 4.3. Задержки в схемах. Таймеры на базе реле (71мин.)
• 4.4. Примеры синтеза релейно-контактных схем с таймерами (170мин.)
• 4.5. Счетчики в системах управления (42мин.)
• 4.6. Примеры синтеза релейно-контактных схем со счетчиками (42мин.)
• Тест:  Анализ и синтез релейно-контактных схем (10мин.)

Глава 5. Конечные автоматы

• 5.1. Основные определения (14мин.)
• 5.2. Абстрактный автомат (28мин.)
• 5.3. Представление конечных автоматов (57мин.)
• 5.4. Эквивалентные автоматы (42мин.)
• 5.5. Эквивалентные преобразования автоматов (71мин.)
• 5.6. Минимизация конечных автоматов (42мин.)
• 5.7. Минимизация неполных автоматов с использованием простых классов совместимости (85мин.)
• 5.8. Структурный автомат (28мин.)
• 5.9. Синтез конечных автоматов (127мин.)
• 5.10. Состязания и гонки в автомате (14мин.)
• 5.11. Схемные способы ликвидации гонок (28мин.)
• 5.12. Противогоночное кодирование состояний (42мин.)
• 5.13. Кодирование автомата и сложность комбинационной схемы (28мин.)
• 5.14. Особенности использования автоматных моделей в системах управления (71мин.)
• 5.15. Секвенциальное описание конечного автомата (127мин.)
• 5.16. Минимизация секвенциального описания (85мин.)
• 5.17. Композиция автоматов (99мин.)
• Тест:  Конечные автоматы (28мин.)

Глава 6. Временные и рекуррентные булевы функции

• 6.1. Временные булевы функции (57мин.)
• 6.2. Связь между ВБФ и конечным автоматом (42мин.)
• 6.3. Рекуррентные булевы функции первого рода (42мин.)
• 6.4. Рекуррентные булевы функции второго рода (57мин.)
• Тест:  Временные и рекуррентные булевы функции (14мин.)

Глава 7. Основы теории сетей Петри

• 7.1. Сети Петри - инструмент моделирования, анализа и синтеза систем (28мин.)
• 7.2. Определение сетей Петри (14мин.)
• 7.3. Графическое представление сетей Петри (28мин.)
• 7.4. Маркировка сетей Петри (14мин.)
• 7.5. Сети Петри для моделирования (42мин.)
• 7.6. Моделирование аппаратного обеспечения сетями Петри (57мин.)
• 7.7. Моделирование сетями Петри программного обеспечения (42мин.)
• 7.8. Примеры типовых задач, решаемых с помощью сетей Петри (57мин.)
• 7.9. Свойства сетей Петри (57мин.)
• 7.10. Задачи анализа сетей Петри (14мин.)
• 7.11. Методы анализа сетей Петри (142мин.)
• 7.12. Сложные (иерархические) сети Петри (71мин.)
• 7.13. Автоматные сети с параллелизмом (АП-сети) (42мин.)
• Тест:  Основы теории сетей Петри (28мин.)

Глава 8. Методика проектирования автоматизированных систем

• 8.1. Временные логические переменные и операторные формулы (57мин.)
• 8.2. Преобразование операторных формул (28мин.)
• 8.3. Релейно-контактная и программная (на языке релейно-контактных схем) реализация операторных формул (57мин.)
• 8.4. Граф операций (14мин.)
• 8.5. Устройство логического управления (28мин.)
• 8.6. Процесс построения графа операций (28мин.)
• 8.7. Представление графа операций операторными формулами (28мин.)
• 8.8. Обеспечение заданного функционирования РТК (99мин.)
• Тест:  Методика проектирования автоматизированных систем (16мин.)

Литература

Новые издания по дисциплине "Дискретная математика" и смежным дисциплинам

Завершение курса

• Тест:  Итоговое тестирование (60мин.)