Метод логико-комбинаторные

Розенблит А. Б. и др. Логико-комбинаторные методы в конструировании лекарств. [c.217]

Формальная модель, на основе которой формируется алгоритм управления, нмеет вид системы аксиом логики предикатов пе 1Вого порядка и логического вывода. Доказательство правильности логического вывода из данной системы аксиом, означающее управляемость процессом комбинаторного взаимодействия технологических аппаратов, может быть выполнено любым нз известных методов, например, методом резолюций (см. гл. 2). [c.269]

Справочник химика 21