Теория по ДИСКРЕТКЕ (Все определения (важные))
Описание файла
Файл "Теория по ДИСКРЕТКЕ" внутри архива находится в папке "Все определения (важные)". Документ из архива "Все определения (важные)", который расположен в категории "". Всё это находится в предмете "дискретная математика" из 5 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "дискретная математика" в общих файлах.
Онлайн просмотр документа "Теория по ДИСКРЕТКЕ"
Текст из документа "Теория по ДИСКРЕТКЕ"
Минтермом или конституентой единицы называется элементарное произведение, в котором каждый аргумент функции входит один раз в прямой или инверсной форме.
Макстермом или конституентой нуля называется элементарная сумма аргументов функций, в которую входят все аргументы этой функции один раз.
Булева функция называется монотонной, если при возрастании значений набора аргументов значения функций на этих наборах, по крайней мере не убывают.
Булева функция называется линейной, если она может быть представлена полиномом Жегалкина I степени.
Булева функция называется самодвойственной, если на каждой паре противоположных наборов аргументов она сама принимает противоположные значения.
Система булевых функций называется функционально полной, если любая булева функция, как бы сложна она не была, может быть представлена с помощью функций, входящих в эту систему.
К полным системам булевых функций относится система, состоящая всего лишь из одной системы: эта функция Пирса (ИЛИ-НЕ) и функция Шефера (И-НЕ).
Минимизировать булеву функцию это значит найти такую её запись, в которой вхождение аргументов в эту запись минимально.
Сокращенной ДНФ функции называется дизъюнкция всех её простых импликант.
Булева сумма элементарных произведений называется дизъюнктивной нормальной формой (ДНФ).
Булево произведение элементарных сумм называется конъюнктивной нормальной формой (КНФ).
Импликантой булевой функции называется такая булева функция, которая принимает значение 1 на тех же наборах, что и сама функция.
Под логическим многополюсником понимается логическая схема, где m – входов и n – выходов.
Конечным автоматом называется дискретный преобразователь информации с конечным входным алфавитом , с конечным выходным , с конечным числом состояний , работа которого описывается двумя характеристическими функциями (функция выходов), (функция переходов).
Чтобы определить конечный автомат нужно задать функцию входов и выходов и задать конечное состояние автомата.
Если функция входов и выходов задается вероятностью уравнений, то и автомат вероятностей, в противном случае автомат называется детермированным.
Работа автомата определяется в дискретные моменты времени, которые называются тактами, а сам конечный автомат синхронным.
Конечные автоматы можно задавать с помощью таблиц входов и выходов методом теории графов с помощью матриц.
Автомат Мили – J и S уравнения:
Автомат Мура:
Тупиковое состояние конечного автомата это такое состояние, которое не имеет ни одной исходящей дуги, а только заходящие.
Триггер – есть запоминающее устройство, способное хранить 1 бит информации.
Под графом понимается пара , где - непустое множество вершин, а – непустое множество ребер, соединяющие некоторые из вершин .