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

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

Производитель: "LAP Lambert Academic Publishing"

Вводится обобщение пропозиционального языка, позволяющее представлять все вычислимые функции и арифметические программы. Этот язык полезен при анализе вычислительных характеристик арифметических программ. В частности, показывается, что функции арифметики Пресбургера вычислимы за линейное время, а длина вычисления арифметической программы определяется мощностью фактор-множества отношения эквивалентности частичных означиваний входа программы. Тем самым удается связать сложностьвычисления программы с видом вычисляемой ею функции. ISBN:9783846513118

Издательство: "LAP Lambert Academic Publishing" (2014)

ISBN: 9783846513118

См. также в других словарях:

  • система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… …   Словарь-справочник терминов нормативно-технической документации

  • Цифровой сигнальный процессор — (англ. Digital signal processor, DSP; сигнальный микропроцессор, СМП; процессор цифровых сигналов, ПЦС)  специализированный микропроцессор, предназначенный для цифровой обработки сигналов (обычно в реальном масштабе времени) …   Википедия

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • Быстрое преобразование Фурье — (БПФ, FFT)  это алгоритм быстрого вычисления дискретного преобразования Фурье (ДПФ). То есть, алгоритм вычисления за количество действий, меньшее чем , требуемых для прямого (по формуле) вычисления ДПФ. Иногда под БПФ понимается один из… …   Википедия

  • Фибоначчи — (Fibonacci) Фибоначчи первый крупный математик средневековой Европы Десятичная система счисления, арабские цифры, числа, последовательность, уровни, ряд, линии и спираль Фибоначчи Содержание >>>>>>>>> …   Энциклопедия инвестора

  • SuperCalc — 320px Загрузочный экран SuperCalc 5 Тип Электронная таблица Разработчик Sorcim, Computer Associates Операционная система CP/M, MS DOS, Apple DOS, Windows, VAX/VMS, S/360 Пер …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»