Convergence (logic)
गणित, कंप्यूटर विज्ञान और तर्क में, अभिसरण यह विचार है कि परिवर्तनों के विभिन्न अनुक्रम एक सीमित समय में एक निष्कर्ष पर आते हैं (परिवर्तन समाप्त हो रहे हैं), और यह कि जो निष्कर्ष प्राप्त होता है वह उस तक पहुंचने के लिए लिए गए मार्ग से स्वतंत्र है (वे मिश्रित हैं)। अधिक औपचारिक रूप से, पुनर्लेखन परिवर्तनों के एक पूर्व-क्रमबद्ध समूह को अभिसारी कहा जाता है यदि वे मिश्रित और समाप्त होते हैं। तार्किक समानता भी देखें प्रतिस्थापन संदर्भ पुनर्लेखन प्रणालियों का तार्किक समतुल्यता नियम