Редактирование: Основы Кибернетики, Определения

Материал из eSyr's wiki.

Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.

== Представление функций с помощью дизъюнктивных нормальных форм и связанные с ним задачи ==

=== Единичный куб и функции алгебры логики (ФАЛ). Дизъюнктивные (конъюнктивные) нормальные формы, связанные с ними представления и разложения ФАЛ ([1: гл.1, §2]) ===

==== Функция алгебры логики ====
'''Функция алгебры логики''' — функция, переводящая вектор из n-элементов множества B = {0, 1} в элемент множества B. То есть, для каждого набора нулей и единиц у функции определено значение, равное нулю или единице.

==== Буква x&sigma; ====
Есть алфавит ''X''(n) = {''x''1, &hellip; ''x''n}. '''Буква ''x''i&sigma;''' есть ''x''i, если &sigma; = 1, и ''x̅''i, если &sigma; = 0.

==== Конъюнкция ранга r ====
'''Конъюнкция ранга r''' ''K'' = ''x''i1&sigma;1&hellip;''x''ir&sigma;r, 0 &le; r &le; n; ''K'' = 0 при ''r'' = 0.

==== Элементарная конъюнкция ====
'''Элементарная конъюнкция''' — конъюнкция, у которой все переменные в буквах различны: ''x''ik&sigma;l &ne; ''x''ik&sigma;l при k &ne; l

==== Импликанта ====
Элементарная конъюнкция ''К'' называется '''импликантой''' ''f'', если ''K'' ∨ ''f'' = ''f''.

==== Простая импликанта ====
Импликанта ''К'' функции ''f'' называется '''простой импликантой''', если при вычёркивании любой буквы ''K'' получается элементарная конъюнкция, которая не является импликантой ''f''.

=== Сокращенная дизъюнктивная нормальная форма (ДНФ) и способы ее построения ([1: гл. 1, §3]) ===

==== Сокращённая ДНФ ====
'''Сокращённая ДНФ''' — дизъюнкция всех простых импликант ''f''

=== Тупиковые и минимальные ДНФ, ядро и ДНФ Квайна. Критерий вхождения простых импликант в тупиковые ДНФ, его локальность ([1: гл. 1, §4]) ===

=== Особенности ДНФ для ФАЛ из некоторых классов (линейных, монотонных и др.). Теорема Ю.&nbsp;И. Журавлева о ДНФ сумма минимальных ([1: гл. 1, §5])  ===

=== Функция покрытия, таблица Квайна и построение всех тупиковых ДНФ. Градиентный алгоритм и оценка длины градиентного покрытия ([1: гл. 1, §6]) ===

=== Задача минимизации ДНФ. Поведение функций Шеннона и оценки типичных значений для ранга и длины ДНФ ([1: гл. 1, §7]) ===

=== Алгоритмические трудности минимизации ДНФ и оценки максимальных значений некоторых  связанных с ней параметров ([1: гл. 1, §§2, 3, 7]) ===

=== Задача контроля схем и тесты для таблиц. Построение всех тупиковых тестов, оценки длины диагностического теста ([1: гл. 1, §8]) ===

Пожалуйста, обратите внимание, что все ваши добавления могут быть отредактированы или удалены другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. eSyr's_wiki:Авторское право).
НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Описание изменений:

Отменить | Справка по редактированию (в новом окне)

Шаблоны, использованные на этой странице:

Шаблон:Курс Основы Кибернетики

Получено с http://esyr.us/wiki/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%9A%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8%2C_%D0%9E%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F

@@ Строка 13: / Строка 13: @@
 ==== Элементарная конъюнкция ====
-'''Элементарная конъюнкция''' — конъюнкция, у которой все переменные в буквах различны: ''x''<sub>i<sub>k</sub></sub><sup>&sigma;<sub>k</sub></sup> &ne; ''x''<sub>i<sub>l</sub></sub><sup>&sigma;<sub>l</sub></sup> при k &ne; l
+'''Элементарная конъюнкция''' — конъюнкция, у которой все переменные в буквах различны: ''x''<sub>i<sub>k</sub></sub><sup>&sigma;<sub>l</sub></sup> &ne; ''x''<sub>i<sub>k</sub></sub><sup>&sigma;<sub>l</sub></sup> при k &ne; l
 ==== Импликанта ====

Редактирование: Основы Кибернетики, Определения

Материал из eSyr's wiki.

Просмотры

Личные инструменты

Навигация

инструменты

Разделы

Спецкурсы

9 семестр

7 семестр

5 семестр

3 семестр

Поиск

Инструменты