|
|
|
|
| |
Коваленко С.И.
|
|
Решение задач математической логики с использованием элементарной алгебры
Автор: Коваленко С.И. Жанр: Разное Издательство: АНО «Физматлит» Год: 2004 Страниц: 80 Дата загрузки: 14 марта 20092007-09-17
|
|
Обоснована и на примерах показана возможность решения широкого круга задач алгебры логики и алгебры множеств с использованием выражений обычной классической алгебры с учетом многозначности и вероятностного характера переменных в решаемых задачах. Определены в общем виде алгебраические выражения, устанавливающие вероятностную зависимость множества следствий от возможных комбинаций множества условий, а также зависимость мощности искомых множеств с заданными свойствами от мощностей и количества исходных множеств и их пересечений. Приведены примеры использования алгебраических выражений при разработке программного обеспечения, для представления знаний и правил логического вывода в экспертных системах, решения вероятностных сетевых и логических задач, задач синтеза комбинационных схем, а также при решении задач алгебры множеств. Предложена методика автоматизированного определения коэффициентов алгебраических выражений, устанавливающих упомянутые зависимости. Для научно — технических работников и преподавателей, использующих в своей деятельности основы математической логики.
|
| |
|
|
|
|
|
