Исчисление Предикатов

Устройства, преобразующие разл. Виды энергии в электрическую. Условно различают хим. И. Т., в к-рых электроэнергия вырабатывается в результате окислит.-восстановит. Реакции, и физ. И. Т., преобразующие тепловую, механич., эл.-магн., а также энергию ядерных реакций в электрическую (эл.-магн. Генераторы, термоэлектрич. Генераторы, солнечные и ядерные батареи и др.). Хим. И. Т. Делятся на первичные (гальванич. Элементы и батареи из них), вторичные (электрич. Аккумуляторы и аккумуляторные батареи) и..

Знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символич. Выражений из букв алфавита системы - языка И., т. Е. Термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул И. (его фразеологии) из нек-рого фиксируемого в том же языке набора формул-аксиом. Любое И. Однозначно определяется заданием алфавита И., правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписыван..

Назв. Железистого кварцита в ряде стран Юж. Америки. ..

Насекомое сем. На стоящих саранчовых. Вредитель с.-х. И дикорастущих р-ний в Евразии и Сев. Африке. Буро- или серо-коричневая. Дл. 14,5-41 мм. См. Также Саранча. ..