Учебное пособие содержит подробное обсуждение алгоритмических вещественных и комплексных чисел и функций с ограниченной сложностью вычисления рационально-значных приближений. В качестве основной вычислительной модели для определения алгоритмических чисел и функций используется машина Тьюринга. В качестве классов вычислительной сложности, практически полезных для создания таких систем чисел и функций, берутся класс полиномиальных вычислений по времени и класс линейных вычислений по емкости. В пособии приведены алгоритмы упомянутой сложности для вещественных чисел и функций, часто используемых на практике. Для проверки теоретических построений реализована библиотека классов на языке программирования С#. Для следующих вычислительных моделей доказываются условия полиномиальной реализации на машине Тьюринга: паскалевидные функции, итеративные паскалевидные функции, рефал-5-функции, итеративные рефал-5-функции, нормальные алгорифмы, алгоритмы Маркова-Поста, именованные и рекурсивные...
Uchebnoe posobie soderzhit podrobnoe obsuzhdenie algoritmicheskikh veschestvennykh i kompleksnykh chisel i funktsij s ogranichennoj slozhnostju vychislenija ratsionalno-znachnykh priblizhenij. V kachestve osnovnoj vychislitelnoj modeli dlja opredelenija algoritmicheskikh chisel i funktsij ispolzuetsja mashina Tjuringa. V kachestve klassov vychislitelnoj slozhnosti, prakticheski poleznykh dlja sozdanija takikh sistem chisel i funktsij, berutsja klass polinomialnykh vychislenij po vremeni i klass linejnykh vychislenij po emkosti. V posobii privedeny algoritmy upomjanutoj slozhnosti dlja veschestvennykh chisel i funktsij, chasto ispolzuemykh na praktike. Dlja proverki teoreticheskikh postroenij realizovana biblioteka klassov na jazyke programmirovanija S#. Dlja sledujuschikh vychislitelnykh modelej dokazyvajutsja uslovija polinomialnoj realizatsii na mashine Tjuringa: paskalevidnye funktsii, iterativnye paskalevidnye funktsii, refal-5-funktsii, iterativnye refal-5-funktsii, normalnye algorifmy, algoritmy Markova-Posta, imenovannye i rekursivnye...