WikiDer > Сходимость (логика)

Было предложено, чтобы эта статья была слился с Confluence (абстрактное переписывание). (Обсуждать) Предлагается с сентября 2020 года.

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

Более формально Предзаказанный набор из переписывание терминов преобразования называются сходящийся если они сливаться и прекращение.^[1]

Смотрите также

• Логическое равенство
• Логическая эквивалентность
• Правило замены

Рекомендации

Этот математическая логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е

${ displaystyle Gamma vdash x: { text {Int}}}$

Этот теория языков программирования или же теория типов-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е