Выводимость

- способ порождения объектов, называемых заключением В. П., по множеству объектов, называемых посылками правила. Формулирование В. П. Играет решающую роль при описании исчислений (часто данное В. П. Имеет смысл лишь в контексте данного исчисления). Для исчислений, снабженных семантикой (в частности, большинства логико-математических исчислений), В. П. Сохраняет истинность, т. Е. По истинным посылкам позволяет породить лишь истинное заключение. Наиболее знаменитый пример такого В. П.- правило..

- метаматематическая теорема (см. Метатеорема), позволяющая по конечному числу выводов из гипотез утверждать выводимость формулы из гипотез Г. Выводы наз. Вспомогательными выводами В. П., заключение наз. Результирующим выводом. В. П. Является частным случаем допустимого правила. Важнейшие примеры В. П. Доставляются дедукции теоремой, правилом приведения к абсурду и другими правилами введения и удаления логических символов, такими, как правила введения дизъюнкции. и (для этих В. П. Чис..

на фоне помех - один из разделов статистической теории связи. Математически задачи В. С. Суть статистич. Задачи теории случайных процессов (см. Также Информации теория). Ниже приведены нек-рые типичные задачи теории В. С. Переданный сигнал s(t), случайная или неслучайная функция известной структуры, превращается в принятый сигнал , , где n(t).- случайный процесс (шум), а V(канал связи) - нек-рый оператор, преобразующий пару (s, n).в принятый сигнал х. Чаще всего предполагается, что шум дейст..

- функция, к-рая определена на множестве ситуаций в игре (см. Игр теория).и значения к-рой численно характеризуют полезности ситуаций для игрока или коалиции. Н. Н. Воробьев. ..