Новые поступления (книга в стадии обработки) Кибернетический сборник [Текст] : сб. переводов : [пер. с англ.] / под ред. О. Б. Лупанова. - Москва : Мир, 1965 - . - (Новая серия). Вып. 21. - 1984. - 263, [1] с. - Библиогр. в конце ст. - (в пер.) : 2.50 р. Содержание: Храпченко, В. М. Нижние оценки сложности схем из функциональных элементов : обзор / В. М. Храпченко. - С .3-54 Препарата, Ф. Нахождение пересечения n полупространств за время 0 (n log n) / Ф. Препарата, Д. Маллер. - С .55-68 Вегенер, И. Булевы функции, чья монотонная сложность имеет величину порядка n2/log n / И. Вегенер. - С .69-84 Дельсарт, Ф. Нумераторы спектра для некоторых кодов над целочисленными алфавитами, исправляющих аддитивные ошибки / Ф. Дельсарт, Ф. Пире. - С .85-104 Франкл, П. О семействах Шпернера, удовлетворяющих дополнительному условию / П. Франкл. - С .105-116 Пауль, В. Оценка памяти для одной игры на графах / В. Пауль, Р. Э. Тарьян, Д. Р. Селони. - С .117-132 Пауль, В. О соотношении времени и памяти в игре в камни / В. Пауль, Р. Э. Тарьян. - С .133-138 Плейстид, Д. А. Доказательство теорем с помощью абстракций / Д. А. Плейстид. - С .139-212 Зикманн, Й. Универсальная унификация и классификация эквациональных теорий / Й. Зикманн, П. Сабо. - С .213-234 Воз, Л. Решение некоторых открытых проблем с помощью программы для автоматического доказательства теорем / Л. Воз. - С .235-263 Рубрики: Радиоэлектроника--Кибернетика Кл.слова (ненормированные): абстракции -- автоматическое доказательство теорем -- булевы функции -- эквациональные теории Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Лупанов, О. Б. \\ред.\\ |