Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

       
Поиск   
Главное меню
ДомойНовостиСтатьиДефектологияПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинШкольникамКарта сайта

Поздравляем!
Поздравляем нового Логобуржца feia2727 со вступлением в клуб!

Реклама

КНИЖНЫЙ МИР

Длина вычисления программ   Сергей Попов und Наталья Брошкова

Длина вычисления программ

168 страниц. 2014 год.
LAP Lambert Academic Publishing
Вводится обобщение пропозиционального языка, позволяющее представлять все вычислимые функции и арифметические программы. Этот язык полезен при анализе вычислительных характеристик арифметических программ. В частности, показывается, что функции арифметики Пресбургера вычислимы за линейное время, а длина вычисления арифметической программы определяется мощностью фактор-множества отношения эквивалентности частичных означиваний входа программы. Тем самым удается связать сложность вычисления программы с видом вычисляемой ею функции.
 
- Генерация страницы: 0.04 секунд -