[dıʹsaıdəbl] aразрешимыйdecidable set - мат. разрешимое множество
{dıʹsaıdəbl} a разрешимый ~ set - мат. разрешимое множество
разрешимый - completely decidable - effectively decidable - formally decidable - numeralwise decidable - partially decidable
decidable [dıʹsaıdəbl] a разрешимый ~ set - мат. разрешимое множество
adj розв'язний.
(a) разрешимый
матем. разрешимая алгебра
матем. разрешимая арифметика
матем. разрешимая формула
матем. разрешимый язык
разрешимый предикат
разрешимый предикат
матем. разрешимый предикат
матем. разрешимое утверждение
матем. разрешимое отношение
матем. разрешимое высказывание
матем. разрешимое множество
матем. разрешимое высказывание
матем. разрешимая система
матем. разрешимая теория