Подробное описание документа

Коваленко С. И.
   Решение задач математической логики с использованием элементарной алгебры / Коваленко С. И. - М. : Физматлит, 2004. - 79 с. - Библиогр.: c. 58. - ISBN 5-94052-069-5.

Аннотация

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

УДК

510.6+512.563.6

Предметные рубрики

• Математическая логика
• Алгебра логики

Общее кол-во в фондах

7 экз.

1. Абонемент старших курсов, ГУК, ауд. 213
2. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
3. Преподавательский абонемент ауд.313, ГУК, ауд. 313
4. Читальный зал ауд.305л, УЛК, ауд. 305л
5. Читальный зал ауд.313, ГУК, ауд. 313