Книга: Сергей Попов 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 Пер … Википедия