Convergence (logic)
ریاضی، کمپیوٹر سائنس اور منطق میں، کنورجنس یہ خیال ہے کہ تبدیلیوں کے مختلف سلسلے ایک محدود وقت میں کسی نتیجے پر پہنچتے ہیں (تبدیلیاں ختم ہو رہی ہیں)، اور یہ کہ جو نتیجہ اخذ کیا گیا ہے وہ اس تک پہنچنے کے لیے لیے گئے راستے سے آزاد ہے (وہ متصل ہیں)۔ مزید رسمی طور پر، اصطلاح دوبارہ لکھنے کی تبدیلیوں کے پہلے سے ترتیب شدہ سیٹ کو متغیر کہا جاتا ہے اگر وہ متصل اور ختم ہوتے ہیں۔ منطقی مساوات متبادل حوالہ جات کے دوبارہ لکھنے کے نظام کا منطقی مساوات اصول بھی دیکھیں۔