Страницу Назад
Поискать другие аналоги этой работы
5 Структура рекурсивных m-степеней в поляхID: 103288Дата закачки: 12 Августа 2013 Продавец: Lokard (Напишите, если есть вопросы) Посмотреть другие работы этого продавца Тип работы: Работа Форматы файлов: Microsoft Word Описание: Обычная теория алгоритмов изучает вычислимость над конструктивными объектами, которые допускают эффективное кодирование натуральными числами. При этом многие процессы в математике, имеющие интуитивно алгоритмическую природу, но работающие в неконструктивных областях (например, в вещественных числах), не являются алгоритмами с формальной точки зрения. Новый подход, именуемый далее - обобщенная вычислимость, трактует алгоритм как конечный, дискретный, целенаправленный и детерминированный процесс, но работающий с элементами некоторой фиксированной алгебраической системы Структура рекурсивных m-степеней в поляхсигнатуры Структура рекурсивных m-степеней в полях. При этом элементарными шагами обобщенного алгоритма являются вычисления значений констант, функций и предикатов системы Структура рекурсивных m-степеней в полях(см. [1,2,5,6]). В качестве формализации обобщенной вычислимости будем использовать машину над списочной надстройкой из [1]. Эта машина представляет из себя конечный связный ориентированный граф с узлами четырех типов: входной узел, выходные, вычислительные и ветвления. Узел ветвления имеет две выходные дуги, с ним ассоциирована атомарная формула сигнатуры Структура рекурсивных m-степеней в полях, от истинности которой зависит выбор одной из этих дуг в процессе вычислений. Узлы остальных типов (кроме выходных) имеют одну выходную дугу, с такими узлами ассоциированы термы сигнатуры Структура рекурсивных m-степеней в полях. На входной узел машины подается набор элементов системы Структура рекурсивных m-степеней в полях, который передается от узла к узлу по дугам графа; в узлах элементы изменяются под действием ассоциированных термов. При достижении выходного узла работа машины прекращается, полученные элементы системы выдаются как результат. Подробности см. в [1]. Размер файла: 58,5 Кбайт Фаил: ![]()
Коментариев: 0 |
||||
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! Некоторые похожие работы:Онлайн Тест 2 по дисциплине: Эконометрика.Онлайн-Тест по дисциплине: Эконометрика. Помогу с вашим онлайн тестом Оптимизирующие компиляторы. Билет №25 Учебная практика (часть 1-2) (Прикладная информатика). Вариант №3 Эконометрика / Тест 1 / - Тест 2 / Тест 3 / Тест 4 / Тест 5 / Тест 6 / Итоговый тест / Компетентностный тест (ответы на тесты Синергия МОИ МТИ МосАП) Экзамен по дисциплине: «Средства коммутации и доставки сообщений в широкополосных цифровых сетях связи ». Билет 8 Эконометрика и моделирование в финансовом менеджменте - Тест 1 / Тест 2 / Тест 3 / Тест 4 / Тест 5 / Тест 6 / Итоговый тест / Компетентностный тест ( ответы на тесты Синергия МТИ МОИ МосАП) Ещё искать по базе с такими же ключевыми словами. |
||||
Не можешь найти то что нужно? Мы можем помочь сделать! От 350 руб. за реферат, низкие цены. Спеши, предложение ограничено ! |
Вход в аккаунт:
Страницу Назад
Cодержание / Алгебра и геометрия / Структура рекурсивных m-степеней в полях
Вход в аккаунт: