Library home page Simple search mode Help
Login
Surname
Password
 

Databases


Full-text database of textbooks- результаты поиска

Search mode

Search area
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=2-КЛЕТОЧНОЕ ВЛОЖЕНИЕ$<.>)
Общее количество найденных документов : 1
1.
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
фывфыв: нелинейные динамические системы, многоаргументные функциональные ребра, дифференциальные уравнения
УДК

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


Find similar

 

Наш адрес: 61000, Харьков, ул. Кирпичева, 2
Научно-техническая библиотека НТУ "ХПИ"
Контактный телефон: (057) 707-63-07
E-mail: library@khpi.edu.ua