алгоритмически
101Задание группы — Задание группы, в теории групп  один из методов определения группы указанием порождающего множества и множества соотношений между порождающими . В этом случае говорят, что группа имеет задание . Неформально, имеет такое задание, если она… …
102НПП САТЭП — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …
103Неоднозначная грамматика — В информатике неоднозначной грамматикой называется формальная грамматика, которая может породить некоторую строку более чем одним способом (то есть для строки есть более одного дерева разбора). Язык называется существенно неоднозначным, если он… …
104Самоприменимость — в теории алгоритмов  свойство алгоритма успешно завершаться на данных, представляющих собой формальную запись этого же алгоритма. Задача распознавания самоприменимости является алгоритмически неразрешимой и сводится к тому, чтобы найти… …
105Алгоритмическая разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …
106Курсовертикаль — Бесплатформенная курсовертикаль на микромеханических гироскопах Курсовертикаль  прибор, поставляющий данные об углах между географической системой координат (ГСК) и связной системой координат (ССК), начальная точка которой совпадает с… …
107абстрактный — См. отвлеченный... Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова, М.: Русские словари, 1999. абстрактный отвлеченный, умозрительный, спекулятивный, метафизический, метафизичный, теоретический, теоретичный,… …
108отвлеченный — Абстрактный, академический, мысленный, умозрительный, умственный, теоретический, метафизический, трансцендентный (трансцендентальный). Прот. (ср. ). . Ср. духовный... Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова …
109ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …
110задача — ЗАДАЧА может быть определена, по крайней мере, тремя различными способами: 1) как цель, поставленная перед решателем; 2) как ситуация, которая включает в себя и цель, и условия, в которых она должна быть достигнута; 3)как словесная… …
