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 Кл.слова: нелинейные динамические системы, многоаргументные функциональные ребра, дифференциальные уравнения
Есть полнотекстовые версии (доступ потребує авторизації) Дод.точки доступу: Ляпунов, А. А. \ред.\ Лупанов, О. Б. \ред.\
|