Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем.

Проблема познания механизмов обеспечения кислородом головного мозга человека и удаления из него углекислого газа, а также очистки его клеточных и тканевых жидкостей от содержащихся в них отходов метаболизма, всегда была и ...

Имеющее место в научных публикациях разнообразие подходов к построению теорий принятия управленческих решений приводит к большим трудностям при построении формальных моделей исследуемых динамических процессов, нуждающихся ...