یکسان

این مقاله راجع به موضوع علم کامپیوتر است. برای ایدهٔ جهانی یکسان سازی، globalization را ببینید.
برای موارد دیگر،Unification (disambiguation) را ببینید.
در منطق ریاضی، مخصوصاً آنچه در علم کامپیوتر به کار می‌رود، اتحاد رابطه یا جمله نوعی الحاق(در معنی شبکه)، با توجه به یک نوع تخصصی، می‌باشد. به معنای دیگر، ما یک preorder را روی یک سری از روابط در نظر می گیریم، مثلاً t* ≤ t یعنی اینکه t* از t گرفته شده، به وسیلهٔ جانشانی برخی رابطه (ها) برای یک یا تعداد بیشتری از متغیرهای آزاد در t. اتحاد u از s و t، در صورت وجود، یک رابطه است که برای هردوی t و s یک مثال جانشانی به‌شمار می‌رود. اگر هر مثال جانشانی از s و t یک مثال برای u هم باشد، u اتحاد کمین نامیده می‌شود.
برای مثال، در مورد چندجمله‌ای ها،



X
2


{\displaystyle X2}
و



Y
3


{\displaystyle Y3}
می‌توانند به صورت



Z
6


{\displaystyle Z6}
متحد شوند، اگر X را



Z
3


{\displaystyle Z3}
و Y را



Z
2


{\displaystyle Z2}
بگیریم.
محتوا

تعریف یکسان‌سازی برای منطق نوع اول
یکسان‌سازی در برنامه‌نویسی منطقی و تئوری نوع
یکسان‌سازی نوع بالاتر
مثال‌هایی از یکسان سازی
هم چنین ببینید
یادداشت ها
مرجع ها

View More On Wikipedia.org