С. И. КОВАЛЕНКО
РЕШЕНИЕ ЗАДАЧ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
КОВАЛЕНКО С.И. РЕШЕНИЕ ЗАДАЧ МАТЕМАТИЧЕСКОЙ ЛОГИКИ -- М.: Изд-во Физико-математической литературы, 2004. -- 80 с. -- ISBN 5-94052-069-5.
Обоснована и на примерах показана возможность решения широкого круга задач алгебры логики и алгебры множеств с использованием выражений обычной классической алгебры с учетом многозначности и вероятностного характера переменных в решаемых задачах. Определены в общем виде агебраические выражения, устанавливающие вероятную зависимость множества следствий от возможных комбинаций множества условий, а также зависимость мощности искомых множеств с заданными свойствами от мощностей и количества исходных множеств и их пересечений. Приведены примеры использования алгебраических выражений при разработке программного обеспечения, для представления знаний и правил логического вывода в экспереметных системах, решения вероятностных сетевых и логических задач, задач синтеза комбинированных схем, а также при решении задач алгебры множеств. Предложена методика автоматизированного определения коэффициентов алгебраических выражений, устанавливающих упомянутые зависимости.
Для научно-технических работников и преподавателей, использщующих в своей деятельности основы математической логики.
Усл. печ. л. 5. Уч.-изд. л. 5,5. Тираж 1000 экз. ББК 22.18 УДК 62.50. Авторский индекс К 56.
Эту книгу вы можете приобрести в Издательстве Физико-математической
литературы,
а также заказать наложенным платежом.
