Сходимость (логика)
В математике , информатике и логике — конвергенция это идея о том, что различные последовательности преобразований приходят к выводу за конечный промежуток времени (преобразования завершаются ) и что достигнутый вывод не зависит от пути, пройденного для его достижения ( они сливаются ).
Более формально, предварительно упорядоченный набор преобразований переписывания терминов называется сходящимся, если они сливаются и завершаются . [1]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Франц Баадер ; Тобиас Нипков (1998). Переписывание терминов и все такое . Издательство Кембриджского университета. ISBN 0-521-77920-0 .
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |
Эта теории языков программирования или теории типов, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |
