Понятие вывода должно быть эффективным. Иными словами, должна иметься эффективная процедура, позволяющая для произвольной конечной ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Столл Р.Р.
Множества Логистика Аксиоматические теории
Понятие вывода должно быть эффективным. Иными словами, должна иметься эффективная процедура, позволяющая для произвольной конечной последовательности формул решить, может ли каждый член этой последовательности быть выведен из одной или нескольких предшествующих формул этой последовательности посредством некоторых фиксированных правил вывода.
