Некоторая процедура, состоящая из конечного числа шагов, строго определенных на конкретном наборе данных, называется:
Определение формальной системы включает в себя
Множество называется перечислимым, если
Формула называется общезначимой, если она
Принцип рассуждения от следствия к причине называется
Наполнение формальной системы смыслом называется
Исчисление предикатов называется разрешимым, если
Конечный автомат называется "конечным", потому что
Конечный автомат называется логическим, если
Предметная область называется моделью, если
