Can I read Сложность вычислений и прикладная математическая логика on EtoBox?

Сложность вычислений и прикладная математическая логика by Адян С.И. (ред) is a nonfiction available to read on EtoBox.

What is Сложность вычислений и прикладная математическая логика about?

Сборник содержит работы по ряду актуальных направлений математической логики, теории алгоритмов и их приложений. В этих работах исследуются логики доказуемости, уравнения в термах с подстановками, сложность алгоритмов распознавания вхождения одного слова в другое, доказывается разрешимость одного фрагмента элементарной теории свободной группы, изучается взаимосвязь между сложностью булевых функций и свойствами комбинаторных объектов. Знакомство с изложенными в настоящем сборнике результатами будет полезно как для логиков, так и длш специалистов в смежных областях. Сборник ВК-134 издается как информационные материалы Научного совета АН СССР по комплексной проблеме «Кибернетика».

Who reads Сложность вычислений и прикладная математическая логика?

Author

Адян С.И. (ред)

Publisher

АН СССР

Published

1988

Language

RU

Category

nonfiction

Subjects

Mathematics, Logic, Stem