Структура рекурсивных m-степеней в полях - статья по математике

 

Тезисы:

  • Лемма 1. Всякое рекурсивно перечислимое множество.
  • Назовем рекурсивным в.
  • Рекурсивно перечислимо (р.п.) в.
  • (см. [1,2,5,6]) .
  • Подробности см. в [1] .
  • Доказательство в [1] .
  • От истинности которой зависит выбор одной из этих дуг в процессе вычислений.
  • Если оно есть множество значений некоторой вычислимой функции.
  • Совпадает с классической вычислимостью, определяемой с помощью машины Тьюринга.
  • Узел ветвления имеет две выходные дуги, с ним ассоциирована атомарная формула сигнатуры.
Читать онлайнСкачать статью

 

 

Похожие работы:

Еще похожие работы

Предметы

Все предметы »

 

 

Актуальные статьи по математике