- разрешимая арифметика
- мат. decidable arithmetic
Большой англо-русский и русско-английский словарь. 2001.
разрешимая арифметика
Смотреть что такое "разрешимая арифметика" в других словарях:
разрешимая теория — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная… … Словарь терминов логики
Разрешимая теория — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия
Абстрактная алгебра — (также высшая алгебра или общая алгебра) раздел математики, изучающий алгебраические системы (также иногда называемые алгебраическими структурами), такие как группы, кольца, поля, частично упорядоченные множества, решётки, а также… … Википедия
