نتایج جستجو برای: زبان های صوری

تعداد نتایج: 491046  

ژورنال: :applied research on english language 0
marjansadat momenzadeh university of sheikh bahaee manijeh youhanaee university of isfahan

بزودی چکیده فارسی مقاله در وب سایت قرار خواهد گرفت.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد 1374

در بخش دوم به عنوان آغاز بحث ، به تعریف زبان، فلسفه، و منطق پرداخته شده است ، تا بدین طریق ضمن ارائه، تعریفی مشخص از موضوع های مورد بحث ، اصول موضوع و ویژگیهای ثانوی، از تعریف متمایز گردند. بخش سوم، به بررسی آراء مندرج در فلسفه های زبان واقع گرا و تجربه گرا، اختصاص یافته است . در اولین وهله اندیشه های ریاضی - منطقی زبان در قالب نظریه،مجموعه ها، و اندیشه های و اصل بیان شده است . سپس ذکر گردیده ا...

ژورنال: :مطالعات ناتوانی 0
مرضیه پشمدار فرد marzieh pashmdar fard حمیدرضا مختاری نیا hamid reza mokhtari nia مسعود کریملو masoud karimloo

چکیده هدف: هدف از مطالعه مذکور ترجمه، بررسی روایی صوری و همگرای پرسشنامهٔ سنجش خستگی شغلی سوفی (sofi) به زبان فارسی است. روش بررسی: مطالعهٔ حاضر یک مطالعهٔ روش شناختی است که به ترجمه و بررسی روایی صوری و همگرای پرسشنامهٔ سنجش خستگی شغلی سوفی به زبان فارسی پرداخته است. روند ترجمهٔ پرسشنامه طبق روش iqola که شامل مراحل: ترجمه، سنجش کیفیت ترجمه، ترجمهٔ رو به عقب، مقایسهٔ نسخهٔ انگلیسی با نسخهٔ فارسی توسط طر...

ژورنال: :جستارهای زبانی 2014
زهرا حامدی شیروان شهلا شریفی

در این پژوهش مقولة دستوری «قمر» بررسی شده است که توسط تالمی در پژوهش های معناشناختی و رده شناسی اش معرفی شده است. او قمر را مقولة دستوری بسته ای می داند که شامل هر سازه ای غیر از متمم اسمی یا گروه حرف اضافه ای همراه فعل می شود که با ریشة فعل رابطة خواهری داشته باشد در این نوشتار نمودهای صوری این مقوله در زبان فارسی و مقولات معنایی که توسط آن بیان می شوند را بررسی کرده ایم. نمود اصلی قمر در زبان...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی 1389

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

Journal: : 2022

هدف: کارآفرینی یکی از عوامل کلیدی در توسعه اقتصادی و شاخص اساسی جوامع روبه‌رشد است. آنچه که کارآفرین را به آغاز فعالیت ترغیب می‌کند، انگیزه فرایند تبدیل یک فرد عادی است می‌تواند فرصت‌هایی ایجاد کند حداکثر رساندن ثروت کمک کند. هدف این پژوهش شناسایی طبقه‌بندی انگیزه‌های کارآفرینان می­باشد.طراحی/ روش‌شناسی/ رویکرد: با رویکرد مرور نظام­مند استفاده ماتریس شش سلولی دو مؤلفه جهت (کشش یا فشار) منبع (اق...

Journal: : 2022

هدف: هدف از پژوهش حاضر مقایسۀ واکنش ­پذیری هیجانی و نظریه ذهن کودکان بر اساس سبک ­های ابرازگری مادرانشان بود. روش: روش توصیفی نوع علّی-مقایسه­ ای بود در دو گام به صورت آنلاین انجام رسید. ابتدا با استفاده نمونه ­گیری دسترس، تعداد 105 نفر مادرانی که نمرات آن­ها هر یک پرسشنامه کینگ امونز (1990)، دوسوگرایی (1990) کنترل راجر نشوور (1987) انحراف استاندارد بالاتر میانگین دست آمد (در گروه 35 نفر) دوم وا...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضی 1393

امروزه استفاده از سیستم های بزرگ کامپیوتری جزء ملزومات جداناپذیر در زندگی بشریت است. با بزرگ شدن سیستم ها، پیچیدگی نیز به صورت نمایی بزرگ می شود. برای غلبه بر پیچیدگی سیستم ها، بحث مهندسی نرم افزار مبتنی بر مولفه ها مطرح شده که تا به امروز موفقیت هایی نیز در این راستا کسب کرده است. جهت توصیف مولفه ها و تعامل آنها زبان های مختلفی با استفاده از روش های ریاضی و نظریه خودکارها ارائه شده اند که آنها...

ژورنال: :زبان پژوهی 2014
ارسلان گلفام سحر بهرامی خورشید

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان 1369

فرض کنید fp جبرسریهای توانی صوری p متغیره با متغیرهای x1,...xp و با ضرائب مختلط باشد. یعنی fp=((x1,...xp)) مسئله نشاندن جبرسریهای توانی صوری fp دریک جبرباناخ، بعبارت دیگر فرم دارکردن fp، درسالهای اخیر مکررا مورد تحقیق قرارگرفته است . برای اولین بار درسال 1971، گراهام آلن توانست یک شرط لازم و کافی برای یک جبرباناخ با عنصر همانی پیداکند، که f1 قابل نشاندن درآن باشد. (1 قضیه 2.2). اگر p>1، ساختمان...

نمودار تعداد نتایج جستجو در هر سال

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