|
|
Большая Советская Энциклопедия (цитаты)
|
|
|
|
|
Разрешения проблема | Разрешения проблема (далее Р) важное понятие логики. Р данного множества А конструктивных объектов (относительно некоторого объемлющего множества конструктивных объектов) называют проблему построения алгоритма, распознающего по всякому объекту из множества , принадлежит ли он множеству А или нет. Р (более подробно — Р для доказуемости) формальной системы (или исчисления) называется Р множества всех доказуемых формул этой системы относительно множества всех ее формул. Семантическая Р (или Р для истинности) интерпретированной формальной системы (формализованного языка) называется Р множества всех истинных формул системы относительно множества всех ее формул.
|
Для поиска, наберите искомое слово (или его часть) в поле поиска
|
|
 |
 |
 |
|
