Книги
  • @
  • «»{}∼
Решение задач математической логики с использованием элементарной алгебры

Решение задач математической логики с использованием элементарной алгебры

2198168
Добавить в корзину
Рекомендуем также
Описание
Обоснована и на примерах показана возможность решения широкого круга задач алгебры логики и алгебры множеств с использованием выражений обычной классической алгебры с учетом многозначности и вероятностного характера переменных в решаемых задачах. Определены в общем виде алгебраические выражения, устанавливающие вероятностную зависимость множества следствий от возможных комбинаций множества условий, а также зависимость мощности искомых множеств с заданными свойствами от мощностей и количества исходных множеств и их пересечений.
Приведены примеры использования алгебраических выражений при разработке программного обеспечения, для представления знаний и правил логического вывода в экспертных системах, решения вероятностных сетевых и логических задач, задач синтеза комбинационных схем, а также при решении задач алгебры множеств.
Предложена методика автоматизированного определения коэффициентов алгебраических выражений, устанавливающих упомянутые зависимости.

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