- теория вычислимости
- мат. theor of calculability, theor of computability
Большой англо-русский и русско-английский словарь. 2001.
теория вычислимости
Смотреть что такое "теория вычислимости" в других словарях:
Теория вычислимости — Теория вычислимости, также известная как теория рекурсивных функций, это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникший в результате изучения понятий вычислимости и невычислимости … Википедия
Рекурсивная функция (теория вычислимости) — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций примитивно рекурсивные функции; общерекурсивные функции; … Википедия
Теория сложности вычислений — В информатике, теория сложности вычислений является разделом теории вычислений, изучающим стоимость работы, требуемой для решения вычислительной проблемы. Стоимость обычно измеряется абстрактными понятиями времени и пространства, называемыми… … Википедия
Теория обработки информации (information-processing theory) — Т. о. и. изучает то, как люди обращаются с информ., отбирают и усваивают ее, а затем используют в процессе принятия решений и управления своим поведением. Психологи, занимающиеся обработкой информ., строят теории когнитивных способностей и… … Психологическая энциклопедия
Теория алгоритмов — Теория алгоритмов наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… … Википедия
МОДЕЛЕЙ ТЕОРИЯ — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… … Философская энциклопедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
ИНФОРМАЦИИ ТЕОРИЯ — раздел математики, исследующий процессы хранения, преобразования и передачи информации. В основе его лежит определенный способ измерения количества информации. Возникшая из задач теории связи, теория информации иногда рассматривается как… … Энциклопедия Кольера
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч … Википедия
Вычислимая функция — Вычислимые функции это множество функций вида, которые могут быть реализованы на машине Тьюринга. Задачу вычисления функции называют алгоритмически разрешимой или алгоритмически неразрешимой, в зависимости от того, возможно ли написать… … Википедия
