Принцип рассуждения от следствия к причине называется

Формула называется общезначимой, если она

Множество называется перечислимым, если

Конечный автомат называется логическим, если

Конечный автомат называется "конечным", потому что

Исчисление предикатов называется разрешимым, если

Предметная область называется моделью, если

Наполнение формальной системы смыслом называется

Предметная область, соответствующая формальной системе, называется

Грамматика типа 3 согласно классификации грамматик Хомского называется:

Пусть А - некоторый алфавит. Тогда языком алфавита А называется