РУАЭСТ (RUAEST)
Облако ключевых слов*
- "алгоритмическая сложность"
- "ламбек"
- "полиномиальное время"
- "42574"
- "подстановка"
- "антецедент"
- "деление"
- "своженная выводимость"
- "существование алгоритма"
- "полиномиальный"
- "исчисление"
- "пустые антецеденты"
- "ламбека"
- "исчисление ламбековича"
- "выводимость"
- "московский университет"
- "вестник университета"
- "единица"
* - вычисляется автоматически
Недавно смотрели:
Об исчислении Ламбека с единицей и одним делением
Предъявляется подстановка, сводящая выводимость в исчислении Ламбека с единицей и одним делением к выводимости в исчислении Ламбека с одним делением, допускающем пустые антецеденты. При помощи этой подстановки устанавливается существование алгоритма, за полиномиальное время проверяющего выводимость в исчислении Ламбека с единицей и одним делением.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Континуальность решетки расширений модальной логики двух отношений эквивалентности,
Автоколебания двух тел с нелинейным трением,
...
Резюме по документу**
Предъявляется подстановка, сводящая выводимость в исчислении Ламбека с единицей и одним делением к выводимости в исчислении Ламбека с одним делением, допускающем пустые антецеденты. <...> При помощи этой подстановки устанавливается существование алгоритма, за полиномиальное время проверяющего выводимость в исчислении Ламбека с единицей и одним делением. <...> Предъявляется подстановка, сводящая выводимость в исчислении Ламбека с единицей и одним делением к выводимости в исчислении Ламбека с одним делением, допускающем пустые антецеденты. <...> При помощи этой подстановки устанавливается существование алгоритма, за полиномиальное время проверяющего выводимость в исчислении Ламбека с единицей и одним делением. <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: