Apomorfizm - Apomorphism
Yilda rasmiy usullar ning Kompyuter fanlari, an apomorfizm (dan.) ἀπό — Yunoncha chunki "alohida") bu ikki tomonlama a paramorfizm va kontseptsiyasining kengayishi anamorfizm (koinduktsiya ). Paramorfizm modellari esa ibtidoiy rekursiya ustidan induktiv ma'lumotlar turi, apomorfizm ibtidoiy kelishuv ma'lumotlarning koinduktiv turi bo'yicha.
Kelib chiqishi
"Apomorfizm" atamasi kiritilgan Apomorfizmlar bilan funktsional dasturlash (Corecursion).[1]
Shuningdek qarang
- Morfizm
- Ning morfizmlari F-algebralar
- Dastlabki algebradan algebraga: Katamorfizm
- Kömürgebradan yakuniy kömürgebraya: Anamorfizm
- Anamorfizm, undan keyin katamorfizm: Glomomorfizm
- Katamorfizm g'oyasining kengayishi: Paramorfizm
Adabiyotlar
- ^ Vene, Varmo; Uustalu, Tarmo (1998), "Apomorfizmlar bilan funktsional dasturlash (Corecursion)", Estoniya Fanlar akademiyasi materiallari: fizika, matematika, 47 (3): 147–161
 | Bu rasmiy usullar bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |