519.95
К 38


   
    Кибернетический сборник [Электронный ресурс] : сборник. Вып. 7 / ред.: А. А. Ляпунов, О. Б. Лупанов. - Электрон. текстовые дан. - М. : Мир, 1970. - 237 с. - (Новая серия). - Б. ц.
    Зміст:
Пирс, Дж. Н. Предельное распределение для минимального расстояния в случайном линейном коде / Дж. Н. Пирс. - С .3-15
Кл.слова: скачкообразное распределение, вероятностное пространство, бесконечная последовательность
Препарата, Ф. П. Класс оптимальных нелинейных кодов с исправлением двойных ошибок / Ф. П. Препарата. - С .16-40
Кл.слова: число кодовых слов, минимальное расстояние, специальное подмножество
Клейтмен, Д. О проблеме Дедекинда: число монотонных булевых функций / Д. Клейтмен. - С .41-50
Кл.слова: определение числа, дистрибутивная структура, биномиальный коэффициент
Спира, Ф. М. Время, требующееся для умножения в группе / Ф. М. Спира. - С .51-64
Кл.слова: сложение натуральных чисел, умножение натуральных чисел, нижняя оценка
Штрассен, В. Алгоритм Гаусса не оптимален / В. Штрассен. - С .65-68
Кл.слова: вычисление элементов, квадратные матрицы, арифметические операции
Роббинс, Г. Некоторые аспекты последовательностного построения экспериментов / Г. Роббинс. - С .69-78
Кл.слова: статистическая теория, случайные величины, анализ экспериментов
Роббинс, Г. Построение последовательностных экспериментов с конечной памятью / Г. Роббинс. - С .79-82
Кл.слова: способы действий, конечное число, выигрыш
Манна, З. Правильность программ / З. Манна. - С .83-91
Кл.слова: выполнимость формул, предикаты первой ступени, лемма
Пейджер, Д. О проблеме нахождения минимальных программ для таблиц / Д. Пейджер. - С .92-96
Кл.слова: множества, сложность программ, время вычисления
Реджеёвски, Р. Р. Об арифметических выражениях и деревьях / Р. Р. Реджеёвски. - С .97-105
Кл.слова: порядок вычисления, теория графов, алгоритм решения
Грюнбаум, Б. Плоские карты с заданными степенями вершин и граней / Б. Грюнбаум. - С .106-115
Кл.слова: графы, теорема Эберхарда, теорема Штейница
Боланд, Дж. Ч. Вложение графов в ориентируемые поверхности / Дж. Ч. Боланд. - С .116-130
Кл.слова: проективная плоскость, ориентированное многообразие, теорема Маклейна
Маклейн, С. Комбинаторное условие для плоских графов / С. Маклейн. - С .131-142
Кл.слова: топологический граф, комбинаторное построение, теоремы
Янгс, Дж. Минимальное вложение и род графа / Дж. Янгс. - С .143-157
Кл.слова: связной граф, 2-клеточное вложение, алгоритм вычисления
Девис, М. Устранение лишнего из механических доказательств / М. Девис. - С .158-177
Кл.слова: единообразный алгорифм, логические процедуры доказательства
Хао, В. Формализация и автоматическое доказательство теорем / В. Хао. - С .178-191
Кл.слова: арифметика, механизация доказательств, исчисление предикатов
Робинсон, Дж. А. Машинно-ориентированная логика, основанная на принципе резолюции / Дж. А. Робинсон. - С .192-216
Кл.слова: доказательство теорем, практическая применимость, исчисление предикатов
Якубовски, Р. Алгоритм моделирования динамических систем с помощью вычислительных машин, основанный на теории потоковых графов / Р. Якубовски. - С .217-234
Кл.слова: нелинейные динамические системы, многоаргументные функциональные ребра, дифференциальные уравнения
УДК

Есть полнотекстовые версии (доступ потребує авторизації)
Дод.точки доступу:
Ляпунов, А. А. \ред.\
Лупанов, О. Б. \ред.\