فرم نرمال بتا
فرم نرمال بتا (به انگلیسی: Beta normal form) در جبر لاندا، یک جملهٔ لانداست که دیگر امکان کاهش بتا در آن وجود نداشته باشد. جملهٔ لاندا در حالت نرمال بتا است اگر نتوان بر روی آن کاهش بتا یا کاهش اِتا انجام داد.[1]
جستارهای وابسته
منابع
- "Beta normal form". Encyclopedia. TheFreeDictionary.com. Retrieved 25 September 2018.
- مشارکت‌کنندگان ویکی‌پدیا. «Beta normal form». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۵ سپتامبر ۲۰۱۸.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.