Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Veroâtnostnye metody i kibernetika
Tome 15 (1979)
Précédent
Suivant
Слабо рекурсивно перечилимые степени и предельная вычислимость
М.М. Арсланов
p. 3-9
О свойствах предельной перечислимости дополнений рекурсивноперечислимых множеств
Н.Р. Бухараев
p. 10-17
Полнота систем команд в машинах с конечным множеством состояний памяти
Ю.В. Голунков
;
Е.А. Князев
p. 18-33
О некоторых свойствах предельных вычислений
Г.В. Здебская
p. 34-39
Некоторые вопросы разработки фактографических систем, ориентированных на работу с математическими текстами
А.И. Еникеев
;
М.Е. Альфес
p. 40-47
Теорема о недоказуемости нижних временных оценок для некоторого класса функций
И.И. Макаров
p. 48-50
Ограниченные m-сводомости
Т.М. Маслова
p. 51-60
К проблеме редукции
$ω$
-автоматов
Н.Р. Нигматуллин
p. 61-67
К вопросу моделирования булевых случайных величин функциями алгебры логоки
Ф.И. Салимов
p. 68-89
О величине переноса в соседний разряд, возникающего в арифметических кодах
О.Г. Седова
p. 90-93