نتایج جستجو
پرش به ناوبری
پرش به جستجو
- ...ر پایانههای قواعد تولید را تعیین میکنند. تعیین مقدار صفت در گرههای درخت نحو تجزیه، هنگامی که زبان توسط برخی از تحلیلگرهای نحوی یا کامپایلر پردازش میشو بر اساس اینکه گرهها در درخت نحو از چه روشی برای گرفتن مقادیر خود استفاده میکنند، صفات به دو گروه ترکیبی و ...۹ کیلوبایت (۲۲۸ واژه) - ۱۴ مهٔ ۲۰۲۲، ساعت ۱۹:۳۹
- [[رده:نحو]] ...۲ کیلوبایت (۶۷ واژه) - ۱۲ سپتامبر ۲۰۲۲، ساعت ۲۱:۴۰
- ...اگر [[فضای توپولوژی|توپولوژی]] ای روی آن فضا وجود داشته باشد که "به بهترین نحو" در حوزه مطالعاتی سؤال مورد نظر تطابق و سازگاری داشته باشد. در موارد بسیاری ...۲ کیلوبایت (۶۲ واژه) - ۱۱ ژوئن ۲۰۲۱، ساعت ۱۳:۱۲
- ...[[معناشناسی]]، معنا را تعیین میکند. برخلاف FOL، یک DL میتواند چندین نوع نحو خوش-تعریف داشته باشد.<ref>{{یادکرد کتاب|عنوان=Ian Horrocks and Ulrike Sattl === نحو === ...۱۰ کیلوبایت (۵۰۲ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۱
- ...ا متریک هرمیتی) تکمیل میشود. این نظریه سپس به وسیله [[گرد فالتینگز]] به [[نحو]] گستردهای برای اثبات [[حدس مردل]] (که برای اثبات آن فالتینگز در سال ۱۹۸۶ ...۳ کیلوبایت (۳۴ واژه) - ۲۰ آوریل ۲۰۲۴، ساعت ۲۳:۴۰
- ...یگر نمادهای ریاضیاتی، مثلاً نقطهگذاری، نمادهای گروهبندی و دیگر نمادهای [[نحو (منطق)|نحوی]]. ...۳ کیلوبایت (۸۹ واژه) - ۲۱ آوریل ۲۰۲۴، ساعت ۱۳:۴۱
- ...معمولاً برای تعریف اعداد طبیعی در نظریه مجموعهها به کار میروند؛ به این [[نحو]] که صفر، مجموعه تهی و n حاصل nبار اعمال عمل تالی بر آن در نظر گرفته میشود ...۳ کیلوبایت (۶۰ واژه) - ۹ ژوئن ۲۰۲۴، ساعت ۱۹:۳۲
- ...های قراردادی و دستهبندی آنها میپردازد. در نظریهٔ زبانها تنها جنبههای [[نحو|نحوی]] زبانها (یعنی الگوهای ساختاری درونی آنها) [[مدل ریاضی|تجرید و انتزاع ...و [[بنیانهای ریاضیات|مبانی ریاضی]]، از زبانهای قراردادی برای تعریف دقیق نحو [[ماشین مجازی|ماشین های مجازی]] همچون [[نظریه مجموعهها|نظریهٔ مجموعهها]] ...۱۱ کیلوبایت (۳۵۹ واژه) - ۲ ژوئیهٔ ۲۰۲۴، ساعت ۰۷:۰۳
- .... این ویژگیها امکان میدهند خنککننده حرارت را از عملیات بیرون برد و بدین نحو دمای ابزار برش را کاهش دهد. ...ویژه و رسانایی گرمایی روانکننده به دفع حرارت از عملیات کمک میکند و بدین نحو دما را کاهش میدهد. دوم، چون اصطکاک کاهش مییابد حرارت حاصل از اصطکاک نیز ک ...۱۱ کیلوبایت (۴۶ واژه) - ۹ دسامبر ۲۰۲۴، ساعت ۱۸:۱۴
- == علم نحو == ...۱۴ کیلوبایت (۲۰۹ واژه) - ۱ مارس ۲۰۲۳، ساعت ۰۷:۰۶
- ...واند با خرید و فروش دارایی [[پایه (فایننس)|پایه]] بهطور کامل اختیار را به نحو دقیقاً درستی [[پوشش ریسک (امور مالی)|پوشش ریسک]] داده و نتیجتاً «ریسک را از ...۴ کیلوبایت (۱۳۳ واژه) - ۲ فوریهٔ ۲۰۲۲، ساعت ۱۱:۰۶
- ...شده است. مدل های دیگری وجود دارد که رفتار جریان سیالات وابسته به برش را به نحو بهتری توصیف میکنند اما در این مدل ها ساده سازی های زیادی انجام شده است. بنا ...۴ کیلوبایت (۱۹۳ واژه) - ۵ اکتبر ۲۰۲۴، ساعت ۲۰:۲۷
- [[رده:مقالهها با نحو منسوخشده تصویر]] ...۵ کیلوبایت (۴۱۶ واژه) - ۳۰ دسامبر ۲۰۲۳، ساعت ۱۹:۵۲
- ...نی را ''اندازهگیری'' کنیم. به عنوان مثال، [[تورم|نرخ تورم]] را میتوان به نحو زیر اندازهگیری کرد: ...۵ کیلوبایت (۱۹۷ واژه) - ۱۲ ژانویهٔ ۲۰۲۳، ساعت ۱۲:۲۱
- اصل دو ظرفیتی با اصل طرد شق ثالث مرتبط است، اگرچه که اصل طرد شق ثالث بیان [[نحو|نحوی]] زبان منطقی به شکل "<math>P\lor\neg P</math>" است. تفاوت بین اصل دو ظ ...۵ کیلوبایت (۳۰۱ واژه) - ۹ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۲۴
- ...د ماتریسی با همان ابعاد (یعنی <math>m \times n</math>) است که مقادیر آن به نحو پایین محاسبه میشوند: ...۶ کیلوبایت (۵۹۳ واژه) - ۱۳ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۳۴
- ...به توان دو یا برخی اندازههای بسیار مرکب دیگر پد کنیم، که FFT میتواند به نحو احسن انجام شود. برای مثال الگوریتم کولی-توکی(Cooley–Tukey) در زمان (O(N log ...۶ کیلوبایت (۴۰۴ واژه) - ۱۳ آوریل ۲۰۱۸، ساعت ۲۲:۵۱
- در تحقیقات اخیر از ساختارهای [[نحو]]یی نیز در ترجمه آماری ماشین استفاده میشود.<ref name="Chiang2005">D. Chian ...۷ کیلوبایت (۲۳۱ واژه) - ۲۳ اکتبر ۲۰۲۱، ساعت ۰۷:۱۹
- ...د دارد. در زبان طبیعی، خوانایی یک متن به محتوای آن (مانند پیچیدگی واژگان و نحو) و نحوه ارائه آن (مانند جنبههای تایپوگرافی که بر وضوح تأثیر میگذارند، مان ...۸ کیلوبایت (۹۱ واژه) - ۲۱ ژانویهٔ ۲۰۲۵، ساعت ۰۲:۵۶
- ...ه عنوان چارچوبی برای اختراعات لو در منطق معرفتی استفاده شد. خود منطق دارای نحو بسیار متفاوتی با منطق زمان قبلی است که از عملگرهای مدال استفاده میکند. زبا === نحو === ...۴۰ کیلوبایت (۲٬۰۰۷ واژه) - ۱۱ ژوئن ۲۰۲۴، ساعت ۲۳:۵۸