نتایج جستجو برای: زبان های صوری
تعداد نتایج: 491046 فیلتر نتایج به سال:
زمینه و هدف: منبع کنترل به عنوان میزان درکی که فرد نتایج را تحت تاثیر رفتار خود می داند، تعریف شده است. بعضی از افراد دارای لکنت مسئولیت های پیگیری درمان را می پذیرند که در نتیجه بهبودیشان نیز حفظ می شود؛ درحالیکه افرادی که به این مسئولیت ها توجهی نمی کنند در خطر بازگشت (لکنت) قرار می گیرند. لزوم دسترسی به ابزاری برای شناسایی این پدیده و تلاش برای پیشگیری از بازگشت لکنت ضروری به نظر می رسد. یکی...
گویش شناسی به عنوان یکی از شاخه های مهم علم زبان شناسی، امروزه توجه بسیاری را به خود جلب کرده است. گویش سمنانی یکی از زبان های ایرانی است که بررسی آن می تواند نتایج نظری و عملی بسیاری در برداشته باشد. گویش سمنانی به علت قدمت و حضور نسبتاً بیشتر در متون علمی و تخصصی و زبان شناسی و ساختمان ویژه ی دستوری همواره توجه محققان را به خود معطوف کرده است. بررسی ساختار فعل در هر زبان و گویش می تواند کلید ...
قرآن کریم دارای سطوح مختلفی است؛ گاهی قرآن را بهعنوان یک «کل منسجم» درنظر میگیریم، گاهی آن را در حد یک سوره تقلیل میدهیم، زمانی یک آیه را درنظر داریم و در نهایت ممکن است به یک واژه از قرآن بسنده کنیم. هریک از این چهار سطح ویژگیها و ارکان خاصی دارد. چنانکه روش تفسیر آیه به آیه شامل آیات قرآن میشود، این روش میتواند بهعنوان منطق صوری فهم معنای واژههای قرآنی نیز بهکار رود. مقاله حاضر درنظ...
ادبیات تعلیمی مهمترین و اصلیترین گونۀ ادبی است که نیکبختی انسان را در بهبود منش اخلاقی او میداند و همّ خود را متوجه آموزش و تعلیم اندیشههای پسندیده دینی، عرفانی، فلسفی، مسائل اخلاقی، علوم و فنون؛ تهذیب نفس، تذکیه ذهن، پروش قوای روحی و تعالی و کمال انسان میکند. ادبیات تعلیمی شاخصهای محتوایی و صوری خاصی دارد که حدّ و مرز و وجوه تفارق آن را با انواع دیگر کاملاً معین و مشخص میکند. برخی از آنها،...
براساس تلقی مرسوم از اصل تفکیک قوا، وظیفه دادرس صرفاً شناخت ارادة قانونگذار و تطبیق آن بر مصادیق خارجی است. انگیزة دستیابی به امنیت قضایی و وجود برخی عوامل همچون شکل قیاسی استدلال قضایی و لزوم استنتاج تمامی نتایج از قانون موجب گرایش سنتی حقوقدانان به تحلیل قیاس قضایی در قالب یک قیاس صوری شده است . در قیاس صوری یا استدلال استنتاجی تابع منطق صوری ، استدلال روندی ضروری داشته و جز یک نتیجه درست وجود...
این مقاله با هدف ارزیابی انگاره زایشی فراگیری زبان برپایه دادهها و شواهد فراگیری نحو زبان فارسی نگاشته شده است. در این پژوهش، نخست ویژگیهای بنیادی زبان کودک را برشمرده و استدلال کردهایم که کشف این ویژگیها بهطور مستقیم یا غیرمستقیم، زمینهساز معرفی انگاره زایشی فراگیری زبان بوده است. پساز معرفی انگاره زایشیِ فراگیری زبان، این سؤال مطرح شده است که دانش زبانیِ ذاتی و زیستی (دستور همگانی)، چ...
فرض کنید i یک ایده آل از حلقه جابجایی موضعی نوتری (r,m)، m یک r-مدول متناهی مولد و برای عدد نامنفی i، (f_i^i(m نشان دهنده i-امین مدول کوهمولوژی موضعی صوری m نسبت به ایده آل i باشد . در این پایان نامه بعضی نتایج مربوط به ویژگی های متناهی بودن و آرتینی بودن مدول های کوهمولوژی موضعی صوری را ثابت می کنیم; که نشان می دهد این مدول ها شبیه مدول های کوهمولوژی موضعی رفتار می کنند . به علاوه ثابت می کنی...
مقدمه و اهداف نقش والدین در رشد و پرورش کودکان بسیار مهم و قابل توجه است و شناخت صحیح وظایف این نقش توسط والدین برای کمک بیشتر به کودکانشان بسیار مفید و اساسی است. این پژوهش با هدف ساخت و روایی ابزاری برای بررسی وظایف نقش والدینی انجام شد. مواد و روش ها این پژوهش شامل دو فاز است. در فاز ابتدایی جمع آوری اطالاعات و انتخاب وظایف در حوزه نقش والدینی با استفاده از منابعی مانند کتاب، مقالات، ای...
در مهندسی نرم افزار مبتنی بر مولفه ها ، روش هایی مانند زبان توصیف رابط، طراحی با قرارداد، روش های صوری و چهارچوب جهت توصیف مولفه ها صورت گرفته است. با این وجود، اغلب روش ها و ابزارهای موجود فقط مولفه ها را توصیف کرده و توانائی پشتیبانی تولید خودکار کد مولفه ها را ندارند. به نظر می رسد که استفاده عملی از مستندات توصیف مولفه ها در جهت پیاده سازی آنها یک گام اساسی در مهندسی نرم افزار است. در این...
قواعد قیاس حملی، که معمولاً تحت عنوان “the rules of the categorical syllogism” در منابع آموزشی منطق به زبان انگلیسی مطرح می شود، روش مفیدی است که جهت تشخیص اعتبار قیاس های حملی، به منطق آموزان، در کتاب های عمومی آموزش منطق، ارائه می شود. استفاده از این قواعد به تقلید از آثار آموزشی غربی در کشور ما نیز متداول گشته و با اندک تغییراتی، در آثار مؤلفان منطقی در داخل کشور، بازنویسی شده است. این تغییرا...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید