MV-جبرها

[hasati]

با سلام,
این اواخرروی MV-جبرها کارمیکنم,وقصددارم state MV-algebras کارکنم.اگه شما هم چیزی دراین زمینه میدونید خوشحال میشم درادامه بنویسید..
من اینجاهمزمان با خوندن مطالبی راجع به این موضوع خلاصه ای ازاونها رومینویسم:
همونطور که میدونید وقتی میگیم جبر,یعنی یک مجموعه (2,1,0) هست به صورت:

(M,+,',0)

که دارای خواص زیر هست:

x' '=x
x+1=1 where 1=0'
x+(x+y')'=y+(y+x')'
j

دراین جبریک سری عمل دیگرهم تعریف میشود.کهدرتایپک بعدی میارم

[eh_mn]

با سلام,
این اواخرروی MV-جبرها کارمیکنم,وقصددارم state MV-algebras کارکنم.اگه شما هم چیزی دراین زمینه میدونید خوشحال میشم درادامه بنویسید..
من اینجاهمزمان با خوندن مطالبی راجع به این موضوع خلاصه ای ازاونها رومینویسم:
همونطور که میدونید وقتی میگیم جبر,یعنی یک مجموعه (2,1,0) هست به صورت:

(M,+,',0)

که دارای خواص زیر هست:

x' '=x
x+1=1 where 1=0'
x+(x+y')'=y+(y+x')'
j

دراین جبریک سری عمل دیگرهم تعریف میشود.کهدرتایپک بعدی میارم

لطفاً قبل از ارسال پست جديد يه نگاهي به اينجا بندازين! تا ما هم بيشتر بتونيم استفاده كنيم

برای مشاهده محتوا ، لطفا وارد شوید یا ثبت نام کنید