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

کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

کورت گودل در فوریة‌‌ ۱۹۷۰ با دِینا اسکات دربارة‌‌ استدلال هستی‌‌شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا‌حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة‌‌ دوم در نظام S5 است، با این‌‌همانی و یک اصل انتزاع ویژگی‌‌ها. به ‌شرط پذیرش نظام منطقی، نتیجة‌‌ گودل، این‌‌که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به ‌دست می‌‌آی...

در رویکرد استنتاج‌گرایی به معناداری، ثوابت منطقی بر اساس قواعد عملگری تعریف می‌شود، آرتور پرایور در نقد این رویکرد با ارائۀ مثال نقض tonk نشان داد که با پذیرش رویکرد استنتاج‌گرایی هر قاعدۀ عملگری دلخواهی توصیف‌کننده یک ثابت منطقی خواهد شد و لازمۀ این امر وجود ثوابت منطقی معیوب و ناسازگار با سیستم است. بلنپ در پاسخ به این اشکال دو شرط پایستاری و یکتایی را برای قواعد عملگری ارائه داد. با توجه به ...

این پژوهش تحت عنوان "بازیابی مولفه های منطقی در آموزش فلسفه به کودکان" در جهت بررسی متون آموزشی فلسفه کودکان و استخراج مولفه های منطقی از آن ها انجام شده است. لذا مولفه های منطق ارسطویی در این پژوهش به مولفه های تصوری و تصدیقی تقسیم شده است. مولفه های تصوری از مباحث تعریف و تقسیم و مولفه های تصدیقی از مباحث استدلال و صناعات خمس تشکیل شده است. از جمله نتایج بدست آمده این پژوهش عبارت است از: وجود...

مقدمه: نظریه راهنمایی نشان داد که دو اثر مثبت و منفی برای kr متواتر وجود دارد. اثر مثبت، راهنمایی حرکات به سمت هدف و اثر منفی، وابستگی به بازخورد افزوده است (1). از روش های ارائه بازخورد جهت رفع این وابستگی، ارائه بازخورد پس از کوشش های ناموفق می باشد که منجر به پردازش فعالانه اطلاعات ناشی از حرکت و جلوگیری از بلوک شدن بازخورد درونی می شود (2). علیرغم موفقیت این روش در کاهش وابستگی فرد، اما به ...

هدف از اجرای تحقیق حاضر، مقایسه ادراکی از موازنه تلاش-پاداش در بین دبیران تربیت بدنی و ریاضی شهر کرمانشاه بود. نمونه ی آماری تحقیق را 201 نفر ( 101 دبیر تربیت بدنی و 100 دبیر ریاضی ) معادل 5/90% جامعه ی آماری از دبیران تربیت بدنی و ریاضی شاغل در آموزش و پرورش شهر کرمانشاه تشکیل می دادند که حداقل دارای 3 سال سابقه کار بودند. طرح تحقیق مقطعی و با استفاده از ضریب آماری آلفای کرونباخ، کلموگرف – اسم...

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