Дискретка. Пройденный темы (Темы)

05.09.07.

Система исчисления обеспечивает

Система исчисления делится: позиционная ( ) и непозиционная

Длина числа

Перевод чисел из одной системы исчисления в другую

Основы булевой алгебры

Функции от одного аргумента

Функции от двух аргументов

Основные соотношения булевой алгебры

Соотношения для инверсии

12.09.07.

Аналитические формы записи булевых функций

Основная теорема булевых функций

Практика

19.09.07.

Функция сложения по mod2 и её свойства

Теорема Жегалкина

Классы замечательных функций

Теорема Поста-Яблонского

Рассмотрим функцию от двух аргументов

Синтез логических схем в основном базисе: Минимизация булевых функций

Систематические методы

Метод Карт Вейча. Алгоритм метода

Карта Вейча для функций от трёх аргументов

Карта Вейча для булевых функций от четырёх аргументов

Карта Вейча для пяти аргументов

Метод Квайна минимизации булевых функций. Алгоритм метода

Минимизации булевых функций по методу Мас-Класки

26.09.07.

Метод импликантных матриц (таблиц)

Функция может иметь несколько тупиковых форм

Минимальные конъюнктивные нормальные формы (МКНФ)

Алгоритм метода

Минимизация частичных (не полностью) определенных булевых функций

Синтез логических m, n – полюсников

10.10.07.

Синтез логических многополюсников

Абсолютно минимальные формы булевых функций

Синтез схем в базисе функции Шефера (И-НЕ)

24.10.07.

Несистематические методы минимизации булевых функций

Синтез схем в базисе функции Шефера (И-НЕ)

Синтез схем в базисе функции Пирса (стрелка Пирса, ИЛИ-НЕ)

Функция Шефера и Пирса связаны соотношением де Моргана

Основные понятия теории конечных автоматов

31.10.07.

Способы задания конечных автоматов

Задание конечных автоматов с помощью графов

Матричный способ задания конечных автоматов

Синтез конечных автоматов

Элементарные автоматы обладают следующими свойствами

Элементарные автоматы с одним входом

Функция переходов D-триггера

T-триггер

Элементарные автоматы с двумя входами

R-S триггер

Функция переходов R-S триггера

Триггер типа J-K

Функция переходов J-K триггера

Семинар

17.11.07.

Синтез элементарных автоматов

Синтез синхронного R-S триггера на базе асинхронного R-S триггера и на элементах И-НЕ

Синтез конечных автоматов: абстрактный и структурный

Алгоритм структурного синтеза

Проблема риска и гонок сигналов в конечных автоматах

Метод устранения гонок

Противогоночное кодирование

Теорема

Алгоритм противогоночного кодирование

Основы теории множеств Н. Бурбаки

Операции над множествами

Свойства операций

Прямая (декартово) произведение множеств

12.12.07.

Бинарные отношения

Задание бинарных отношений

Бинарное отношение можно задавать с помощью графов

Основные теории графов

Задачи решаемые на графах

Пример сети

19.12.07.

Вычисление на сети критического пути

Алгоритм Форда-Фалкерсона

Решение задач типа дерево

Вероятность возникновения неисправности равновероятна

Таблица неисправностей

Стоимость обхода дерева