پیشنهاد واژه:
پارسی/آلمانی / انگلیسی
پیشابَند ( ی ) / prenex / praenex
واژه prenex از دو بخش ( pre ) به معنای ( پیش، پیشا ) و بخش ( nex ) که از لاتین ( nexus ) گرفته شده است . این واژه لاتین ( nexus ) برای ارتباط و پیوندی بکار می رود که از طریق آن چندین بُنپار ( عنصر ) به هم می رسند.
... [مشاهده متن کامل]
( پارسی ) بهنجاردیسه یِ پیشابند = ( آلمانی ) Praenexform = ( انگلیسی ) Prenex normal form :
بهنجاردیسه پیشابند ( ی ) : به سانیز ( فرمول ) هایی گفته می شوند که چندی نماهای کلی یا وجودی ( سورهای کلی یا وجودی ) می توانند در پیشاپیشِ سانیز ( فرمول ) گذارده شوند.
به زنجیره ی چندی نماها و متغیرهای بسته، پیشوند ( prefix ) می گویند و به عبارتِ دارای متغیر آزاد matrix ( پیکره ) می گویند.
پارسی/آلمانی / انگلیسی
پیشابَند ( ی ) / prenex / praenex
واژه prenex از دو بخش ( pre ) به معنای ( پیش، پیشا ) و بخش ( nex ) که از لاتین ( nexus ) گرفته شده است . این واژه لاتین ( nexus ) برای ارتباط و پیوندی بکار می رود که از طریق آن چندین بُنپار ( عنصر ) به هم می رسند.
... [مشاهده متن کامل]
( پارسی ) بهنجاردیسه یِ پیشابند = ( آلمانی ) Praenexform = ( انگلیسی ) Prenex normal form :
بهنجاردیسه پیشابند ( ی ) : به سانیز ( فرمول ) هایی گفته می شوند که چندی نماهای کلی یا وجودی ( سورهای کلی یا وجودی ) می توانند در پیشاپیشِ سانیز ( فرمول ) گذارده شوند.
به زنجیره ی چندی نماها و متغیرهای بسته، پیشوند ( prefix ) می گویند و به عبارتِ دارای متغیر آزاد matrix ( پیکره ) می گویند.