теория на алгоритмичните множества

Универсален руско-английски речник. Academic.ru. 2011 г. .

Вижте какво е „теория на алгоритмичните множества“ в други речници:

АЛГОРИТМНА ТЕОРИЯ НА КОМПЛЕКТИТЕ - виж Рекурсивна теория на множествата ... Енциклопедия на математиката

АЛГОРИТМНА ТЕОРИЯ НА ИНФОРМАЦИЯТА - раздел математика. логика, усъвършенстване и изучаване на основните понятия на теорията на информацията въз основа на понятията за алгоритъм и изчислима функция. А. т. И. се стреми да обоснове тези понятия без помощта на прибягването до теорията на вероятността и така че понятията за ентропия ... Енциклопедия на математиката

АЛГОРИТМНО НАМАЛЕНИЕ - една от основните концепции на алгоритмите на теорията и нейните приложения. Възникна поради факта, че неразрешимостта (и разрешимостта) на много алгоритмични задачи се установява в по-голямата си част не директно, а чрез свеждане до изследвания проблем такива ... Математическа енциклопедия

ТЕОРИЯ ЗА АЛГОРИТЪМА - клон на математиката, който изучава общите свойства на алгоритмите. Съществените явления, довели до формирането на концепцията за алгоритъм, могат да бъдат проследени в математиката през цялото й съществуване. Самото това понятие обаче се формира едва през 20 век. и ... Енциклопедия по математика

СТЕПЕН НА НЕРЕШИМОСТ - класът на еквивалентност, индуциран от съотношението на редуцируемостта на Тюринг върху подмножества от естествения ред (ако). С други думи, два набора принадлежат на една и съща N. с, ако за всеки от тях има ефективна процедура за разрешаване на ... ... Математическа енциклопедия

Отворени математически задачи - Отворени (нерешени) математически задачи, задачи, които са били разглеждани от математиците, но все още не са решени. Често те приемат формата на хипотези, които уж са верни, но се нуждаят от доказателства. Популярно в научния свят ... ... Уикипедия

Проблем с пътуващ продавач - Оптимален маршрут за пътуващ продавач през 15 най-големи града в Германия. Посоченият маршрут е най-краткият от всички възможни маршрути 43 589 145 600. Проблем с пътуващ продавач (TSP) (пътуващ продавач  ... Уикипедия

СЛОЖНОСТ НА АЛГОРИТЪМА - описания стойност, характеризираща дължината на описанието на алгоритъма. В зависимост от точната концепция на алгоритъма А. c. описанията се уточняват по различни начини. Към днешна дата (1977 г.) няма единно, добре установено разяснение. Разгледано по-долу ... ... Енциклопедия по математика

Задача за удовлетворение на булеви формули - (SAT или SAT) алгоритмичен проблем, важен за теорията на изчислителната сложност. Екземпляр на SAT проблем е булева формула, състояща се само от имена на променливи, скоби и операции (И), (ИЛИ) и (НЕ). Предизвикателството е: възможно ли е ... ... Уикипедия

АЛГОРИТЪМ - [от алгоритъм!; algorismus, първоначално лат. транслитерация на името срв. Азиатски. учен от 9 век Хорезми (Мохамед бин Муса ал Хорезми)], програма, която определя начина на поведение (изчисление); система от правила (предписания) за ефективна ... ... Философска енциклопедия