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

   Вопросы кибернетики : сборник статей / Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика". - М., 1978. - ISSN 0134-6388.
   Вып. 134 : Сложность вычислений и прикладная математическая логика / ред. Адян С. И. - 1988. - 178 с. - Библиогр. в конце статей.

Аннотация

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

УДК

681.5 Автоматика. Теория, методы расчета и аппаратура систем автоматического управления и регулирования. Техническая кибернетика. Техника автоматизации

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

• Кибернетика - Сборники
• Математическая логика

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

1 экз.

Заказать в читальный зал

Заявка на закупку

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313

Похожие издания

   Вопросы кибернетики : Сборник научных трудов / Академия наук Узбекской ССР, Редакционно-издательский совет. - Ташкент, 1977.
   Вып. 134 : Автоматизированные системы управления технологическими процессами. - 1987. - 128 с. - Библиогр. в конце ст.

Кол-во в фондах 1 экз.

подробнее