فرم نرمال بتا
فرم نرمال بتا (به انگلیسی: Beta normal form) در جبر لاندا، یک جملهٔ لانداست که دیگر امکان کاهش بتا در آن وجود نداشته باشد. جملهٔ لاندا در حالت نرمال بتا است اگر نتوان بر روی آن کاهش بتا یا کاهش اِتا انجام داد.[۱]
جستارهای وابسته ویرایش
منابع ویرایش
- ↑ "Beta normal form". Encyclopedia. TheFreeDictionary.com. Retrieved 25 September 2018.
- مشارکت‌کنندگان ویکی‌پدیا. «Beta normal form». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۵ سپتامبر ۲۰۱۸.
 | این یک مقالهٔ خرد است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید. |