Коваленко С.И.

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

Коваленко С.И., 2004

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

Коваленко С.И.

Книги

Художественная литература

Фантастика

Детектив

Детская литература

Юмор. Комиксы.

Кулинария

Эротика и секс (18+)

Семья