Convergence (logic)
ગણિત, કોમ્પ્યુટર વિજ્ઞાન અને તર્કશાસ્ત્રમાં, અભિસરણ એ વિચાર છે કે પરિવર્તનના વિવિધ ક્રમ મર્યાદિત સમયગાળામાં નિષ્કર્ષ પર આવે છે (પરિવર્તન સમાપ્ત થાય છે), અને જે નિષ્કર્ષ પર પહોંચે છે તે તેના સુધી પહોંચવા માટે લેવામાં આવેલા માર્ગથી સ્વતંત્ર છે (તેઓ સંમિશ્રિત છે). વધુ ઔપચારિક રીતે, પુનર્લેખન પરિવર્તન શબ્દનો પૂર્વનિર્ધારિત સમૂહ જો સંમિશ્રિત હોય અને સમાપ્ત થાય તો તે અભિસારી હોવાનું કહેવાય છે. આ પણ જુઓ લોજિકલ ઇક્વાલિટી લોજિકલ ઇક્વેલેન્સ રૂલ ઓફ રિપ્લેસમેન્ટ રેફરન્સ રીરાઈટિંગ સિસ્ટમ્સ