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

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

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

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

Реклама

На сайте снова проблемы - решаем - ждите.
Не работает АВТОРИЗАЦИЯ - вход для пользователей не возможен.
Скорее всего, проблемы решить можно только переездом на другой сервер, другой компании.
А такой переезд возможен только в следующем месяце.
Пока других решений не вижу.
Извиняюсь за неудобства.

Ваш администратор.

КНИЖНЫЙ МИР

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

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

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