Сходимость (логика) - Convergence (logic)

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

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

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

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

^ Франц Баадер; Тобиас Нипков (1998). Перезапись терминов и все такое. Издательство Кембриджского университета. ISBN 0-521-77920-0.

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

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

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

[1] Франц Баадер; Тобиас Нипков (1998). Перезапись терминов и все такое. Издательство Кембриджского университета. ISBN 0-521-77920-0.

[1]