алгорифм
51ВОРОНОГО ТИПЫ РЕШЕТОК — типы точечных решеток n мерного евклидова пространства Е n, введенные Г. Ф. Вороным в 1908 (см. [1]) в связи с задачей о параллелоэдрах. Множество точек в наз. (r, R ) системой, если в нем нет точек ближе чем на фиксированном расстоянии друг от… …
52ВЫЧИСЛИМЫЙ ИНВАРИАНТ — бинарного отношения между словами данного вида алгоритм (в к. л. точном смысле; напр. как это сделано в [1] нормальный алгорифм), применимый ко всякому слову рассматриваемого вида и перерабатывающий в одно и то же слово всякие два слова,… …
53ЕСТЕСТВЕННЫЙ ЛОГИЧЕСКИЙ ВЫВОД — формальный вывод, по возмвжности приближенный к содержательному рассуждению, привычному для математика и логика. Критерии естественности и качества вывода не уточняются полностью, но обычно имеются в виду выводы, осуществляемые по… …
54КОНСТРУКТИВНОГО ПОДБОРА ПРИНЦИП — принцип Маркова, логико философский принцип конструктивной математики, выдвинутый А. А. Марковым [1], [2] и в общей форме утверждающий, что если конструктивный процесс, заданный нек рым предписанием, не является неограниченно продолжаемым, то он… …
55НОРМАЛИЗАЦИИ ПРИНЦИП — см. Нормальный алгорифм …
56УНИВЕРСАЛЬНЫЙ АЛГОРИТМ — для данного класса алгоритмов алгоритм с входным параметром р, к рый при различных допустимых значениях р моделирует работу любого алгоритма данного класса. Различным формализациям вычислимости соответствуют различные уточнения понятия У. а.: для …
57Информация — Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Добавить иллюстрации. Добавить информацию для других стран и реги …
58Поваров, Геллий Николаевич — Г. Н. Поваров. Геллий Николаевич Поваров (2 февраля 1928 16 ноября 2004) советский математик, философ и историк науки, профессор кафедры кибернетики Национального иссле …
59Машина поста — (МП) абстрактная вычислительная машина, предложенная Эмилем Леоном Постом (Emil L. Post), которая отличается от машины Тьюринга большей простотой. Обе машины «эквивалентны» и были созданы для уточнения понятия «алгоритм». Содержание 1 Принцип… …
60Поваров, Гелий — Поваров Г. Н. Геллий Николаевич Поваров (2 февраля 1928 16 ноября 2004) русский математик, философ и историк науки, профессор кафедры кибернетики МИФИ, действительный член Международной Академии Информатизации, внесший значительный вклад в… …