نتایج جستجو برای: زبان های صوری
تعداد نتایج: 491046 فیلتر نتایج به سال:
بزودی چکیده فارسی مقاله در وب سایت قرار خواهد گرفت.
در بخش دوم به عنوان آغاز بحث ، به تعریف زبان، فلسفه، و منطق پرداخته شده است ، تا بدین طریق ضمن ارائه، تعریفی مشخص از موضوع های مورد بحث ، اصول موضوع و ویژگیهای ثانوی، از تعریف متمایز گردند. بخش سوم، به بررسی آراء مندرج در فلسفه های زبان واقع گرا و تجربه گرا، اختصاص یافته است . در اولین وهله اندیشه های ریاضی - منطقی زبان در قالب نظریه،مجموعه ها، و اندیشه های و اصل بیان شده است . سپس ذکر گردیده ا...
چکیده هدف: هدف از مطالعه مذکور ترجمه، بررسی روایی صوری و همگرای پرسشنامهٔ سنجش خستگی شغلی سوفی (sofi) به زبان فارسی است. روش بررسی: مطالعهٔ حاضر یک مطالعهٔ روش شناختی است که به ترجمه و بررسی روایی صوری و همگرای پرسشنامهٔ سنجش خستگی شغلی سوفی به زبان فارسی پرداخته است. روند ترجمهٔ پرسشنامه طبق روش iqola که شامل مراحل: ترجمه، سنجش کیفیت ترجمه، ترجمهٔ رو به عقب، مقایسهٔ نسخهٔ انگلیسی با نسخهٔ فارسی توسط طر...
در این پژوهش مقولة دستوری «قمر» بررسی شده است که توسط تالمی در پژوهش های معناشناختی و رده شناسی اش معرفی شده است. او قمر را مقولة دستوری بسته ای می داند که شامل هر سازه ای غیر از متمم اسمی یا گروه حرف اضافه ای همراه فعل می شود که با ریشة فعل رابطة خواهری داشته باشد در این نوشتار نمودهای صوری این مقوله در زبان فارسی و مقولات معنایی که توسط آن بیان می شوند را بررسی کرده ایم. نمود اصلی قمر در زبان...
زبان های طبیعی نظام های پیچیده ای هستند و ایجاد دستورهای رایانه ای برای آن ها، هم به دانش زبان شناختی و هم به داشتن دانشی درباره زبان های برنامه نویسی نیاز دارد. هدف چارچوب دستوری (جی اف) آن است تا این فرایند را هموارتر نماید. جی اف یک زبان برنامه نویسی تابعی است که با استفاده از فنآوری نوین طراحی شده و در آن، مدل معنایی نظریه انواع با برنامه نویسی تابعی در می آمیزد تا سامانه ای را پدید آورد که...
هدف: کارآفرینی یکی از عوامل کلیدی در توسعه اقتصادی و شاخص اساسی جوامع روبهرشد است. آنچه که کارآفرین را به آغاز فعالیت ترغیب میکند، انگیزه فرایند تبدیل یک فرد عادی است میتواند فرصتهایی ایجاد کند حداکثر رساندن ثروت کمک کند. هدف این پژوهش شناسایی طبقهبندی انگیزههای کارآفرینان میباشد.طراحی/ روششناسی/ رویکرد: با رویکرد مرور نظاممند استفاده ماتریس شش سلولی دو مؤلفه جهت (کشش یا فشار) منبع (اق...
هدف: هدف از پژوهش حاضر مقایسۀ واکنش پذیری هیجانی و نظریه ذهن کودکان بر اساس سبک های ابرازگری مادرانشان بود. روش: روش توصیفی نوع علّی-مقایسه ای بود در دو گام به صورت آنلاین انجام رسید. ابتدا با استفاده نمونه گیری دسترس، تعداد 105 نفر مادرانی که نمرات آنها هر یک پرسشنامه کینگ امونز (1990)، دوسوگرایی (1990) کنترل راجر نشوور (1987) انحراف استاندارد بالاتر میانگین دست آمد (در گروه 35 نفر) دوم وا...
امروزه استفاده از سیستم های بزرگ کامپیوتری جزء ملزومات جداناپذیر در زندگی بشریت است. با بزرگ شدن سیستم ها، پیچیدگی نیز به صورت نمایی بزرگ می شود. برای غلبه بر پیچیدگی سیستم ها، بحث مهندسی نرم افزار مبتنی بر مولفه ها مطرح شده که تا به امروز موفقیت هایی نیز در این راستا کسب کرده است. جهت توصیف مولفه ها و تعامل آنها زبان های مختلفی با استفاده از روش های ریاضی و نظریه خودکارها ارائه شده اند که آنها...
یک نشانه زبانی نشانه ای«تصویری» است اگر نوعی شباهت صوری بین دال و مدلول (به عنوان دو وجه نشانه) وجود داشته باشد.به اعتقاد پیرس مفهوم تصویر فقط متعلق به حوزه واژگان نیست، بلکه می تواند برای اطلاق به شباهت موجود میان ساختار زبان و ساختار دنیای خارج نیز به کار رود.در زبانشناسی شناختی زبان واقعیتی ذهنی و شناختی است.در چنین رویکردی زبان به مثابه پدیده ای است که در سطحی نمادین برآیند پردازش های پیچید...
فرض کنید fp جبرسریهای توانی صوری p متغیره با متغیرهای x1,...xp و با ضرائب مختلط باشد. یعنی fp=((x1,...xp)) مسئله نشاندن جبرسریهای توانی صوری fp دریک جبرباناخ، بعبارت دیگر فرم دارکردن fp، درسالهای اخیر مکررا مورد تحقیق قرارگرفته است . برای اولین بار درسال 1971، گراهام آلن توانست یک شرط لازم و کافی برای یک جبرباناخ با عنصر همانی پیداکند، که f1 قابل نشاندن درآن باشد. (1 قضیه 2.2). اگر p>1، ساختمان...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید