در نظریهٔ زبان صوری، یک گرامر، مجموعه‌ای از قوانین تولید برای رشته‌ها در زبان صوری است. این قوانین، چگونگی تولید رشته‌ها را از الفبای زبان، که با توجه...

این مفهوم، خیلی به مفهوم گزاره در منطق صوری نزدیک است، در منطق صوری یک گزاره می‌تواند شامل عبارات بیشتری از دستور سنتی باشد، برای مثال اسم‌ها و چند نوع...

کتاب ویلیام صوری به رشته تحریر درآمده است. فرانسوی کلاسیک ویلیام صوری از فیلیپ هندی‌ساید که اثر پژوهشی در رابطه با اثر مشهور ویلیام صوری، هیستوریا، و...

سامانه‌های صوری (رسمی) برای سالهاست که مشخص شده‌است. در راس الغول(زبان برنامه‌نویسی الگول) ۶۰ گزارش، John Backus یک نماد صوری (رسمی) ای در دستور این زبان...

دارد. اصل دستور گشتاری بر خلق جملات فراوان از تعداد محدودی قانون و واژه قرار دارد. در تعریف دقیق‌تر زبان‌شناسی دستور گشتاری نوعی دستور صوری و نحوبنیان...

دستور بافت‌آزاد در نظریه زبان صوری، یک دستور صوری است که قواعد تولید آن را می‌توان به یک نماد غیرپایانی بدون در نظر گرفتن بافت آن اعمال کرد. از دیدگاه...

مؤثری داشت. در علوم کامپیوتر، زبان‌های قراردادی به عنوان مبنایی برای تعریف دستور زبان‌های برنامه‌نویسی استفاده می‌شوند. در نظریهٔ پیچیدگی محاسباتی، مسائل...

مسلمان نیستند و همه مسلمان‌ها ایرانی نیستند. نخستین مدون صریح و ثبت‌شدهٔ منطق صوری (formal logic) در تاریخ، ارسطو فیلسوف مشهور یونانی است. در زمان ارسطو افرادی...

به عبارت دیگر میتوان گفت نمود واژگانی تظاهر صوری ندارد گرچه در برخی زبان‌ها نمود واژگانی هم تظاهر صوری دارد. به نمود دستوری و واژگانی جمعاً نمودینگی...

از جمله اتهامات فساد قالیباف، املاک نجومی، تخلفهای مالی سال ۹۳، قرارداد صوری برای تأمین هزینهٔ تبلیغات انتخاباتی، پرداخت رشوه، پرونده عیسی شریفی و استخدام...

مشهود حکومت کنند، دارای قدرت باشند. به این ترتیب، ممکن است در یک دموکراسی صوری که به نظر می‌رسد مردم یا نمایندگان مردم حکومت می‌کنند، توزیع قدرت واقعی کاملاً...

این نقشه قرار بود صدر برای تشکیل دولت دینی به ایران دعوت شود، شاه یک مقام صوری برای خود حفظ کند و در عوض خمینی برای درس و بحث به قم برود. به گفته نصر این...

بنا گردیده است. کاخ مادر که یک دارایی ملی است توسط بنیاد شهید در یک مزایده صوری به مالک خصوصی واگذار شده و برای استفاده از زمین آن به حال خود رها شده است...

تعمیم دستور زبان مستقل از متن (GCFC) گرامری است که با اضافه کردن توابع ترکیب که به صورت بالقوه غیر مستقل هستند، گرامر مستقل از متن را تعمیم می‌دهد. گرامر...

از فیزیک‌دانان و دیوید هیوم. فلسفه علم به بررسی روش اثبات می‌پردازد. منطق صوری دکتر محمد خوانساری دانشگاه تهران (1733) چیستی علم آلن چالمرز ترجمه دکتر سعید...

جهان به گروه‌های تأثیرگذار کوچکی نسبت داده می‌شوند که از طریق سازمان‌های صوری متعددی انجام می‌گیرند. تلاش برای تسلط بر جهان از جانب گروه‌های سیاسی و سری...

میلاد) یکی از زبان‌شناسان هند باستان است که دستور زبان کاملی برای زبان سانسکریت تدوین کرده‌است. این دستور به مطالعهٔ زبان گفتاریِ سانسکریت متداول در زمان...

میدهد؟ چگونه می‌توان یک استدلال معتبر یا یک صدق منطقی را شناخت؟ کدام نظامهای صوری، منطق محسوب میگردند و چرا؟ این رشته با منطق، فلسفه زبان و معرفت شناسی پیوندی...

تعمیم‌یافته ساختار عبارت دستور ساخت گروهی هسته‌بنیاد دستورزبان واژه‌ تابعی برنامه کمینه‌گرا نحو بسیار ریر چارچوب‌ها و صوری‌سازی های دیگری نیز هستند که...

داشت را به عقد صوری وی درآورد (برای محرمیت). ولی هنگامی که عباسه فرزندی به ظاهر از جعفر بزایید، خشم هارون برانگیخته شد و روایت کنند که دستور قتل جعفر را...

مفعول) گروه اسمی گروه حرف اضافه‌ای گروه صفتی گروه فعلی گروه قیدی دستور ساختار دستور صوری در منابع کهنه واژۀ «ترکیب» برابر با «construction» استفاده می‌شده...

با هماهنگی وزارت جهاد کشاورزی دریافت کرده‌است. صاحب این برند، با معامله صوری ۱۰۰ هزار تن برنج با ۳۰ هزار تومان زیر قیمت بازار، مجوز ۲۰۰ هزار تن واردات...

۷۴۷ در قالب یک پرواز عادی به نیکوزیا فرستاده شود تا در مسیر بازگشت به‌طور «صوری» دچار عیب شده و با اعلام وضعیت اضطراری در دمشق فرود آید، سپس به بهانه تعمیر...

مه به مصر عقب‌نشینی کرد. جهت عقب‌نشینی سریع‌تر، در راه بازگشت به مصر به دستور او به سربازان بیمار زهر داده شد. هرچند گروهی بر این باورند که این اقدام...

شایانی را درتحلیل صوری شناخت انسان به ثمر رساند. وی همچنین رویکردهای صوری زبانشناختی را در شناخت تحسین می‌کرد و امکان فرمول‌بندی یک دستور صوری که به ساختار...

در ۳٫۱۴ ( π . d {\displaystyle \pi .d\,} ) دستور و روش بدست آوردن پیرامون دایره است. فرمول یا فورمول: دستور، اسلوب، قاعده، سرمشق، نمونه و رمز را گویند...

دانش دامنه کاربردی، الگوریتم‌های خاص و منطق صوری است. برنامه‌نویسی به‌طور خلاصه یعنی تعیین یک سری دستور برای اجرا شدن توسط رایانه به منظور رسیدن به هدفی...

تعبیرات سازگاری درستی کاملیت تصمیم‌پذیری انجام‌پذیری استقلال زبان صوری دستگاه صوری دستگاه قیاسی نظریهٔ مجموعه نظریهٔ برهان نظریهٔ مدل نظریهٔ بازگشتی نظریهٔ...

آزیتا؛ بررسی افزوده‌ها در زبان فارسی: بر اساس رویکردهای نقشی و صوری. در نشریه: دستور. اسفند ۱۳۸۸ - شماره ۵ علمی-پژوهشی (۲۸ صفحه - از ۱۲۸ تا ۱۵۵). مشارکت‌کنندگان...

شود بر نفسی دون روح و ریحان را و دوست می‌دارد که کل با منهای طهارت معنوی و صوری در هرحال باشند که نفوس ایشان از ایشان کره نداشته باشد چگونه و دیگری. در باب...

متناهی از قواعد تولید P {\displaystyle P} مولفه اصلی در تعیین یک دستور صوری است (مخصوصا دستور زایشی). مولفه‌های دیگر یک مجموعه متناهی N {\displaystyle N} از...