نتایج جستجو برای: منطق مرتبه اول شهودی
تعداد نتایج: 90430 فیلتر نتایج به سال:
پژوهش با هدف، ارزیابی جایگاه ابعاد و مؤلفه های هوش فرهنگی در محتوای کتاب های درسی حوزه مطالعات اجتماعی دوره دوم متوسطه ایران به روش توصیفی، از نوع تحلیل محتوا انجام شد. جامعه پژوهشی، کلیه کتاب های درسی حوزه مطالعات اجتماعی دوره دوم متوسطه در سال تحصیلی 94- 1393 است که با توجه به انطباق با منطق تحلیلی پژوهش از نمونه گیری هدفمند استفاده شده و همه چهار کتاب درسی مطالعات اجتماعی سال اول، جامعه شناس...
این مقاله نقش یا کارکرد شواهد مرتبه بالاتر را در بحث اختلافِ نظر معرفتی بررسی می کند. پس از ارائه تعریفی از شواهد مرتبه اول و شواهد مرتبه بالاتر و تأکید بر تمایز میان آنها، به نفعِ این دیدگاه استدلال می کنم که شواهد مرتبه بالاتر مستقل از شواهد مرتبه اول، شاهد به شمار نمی آیند. سپس از طریق مثال داروی اختلال یکی از مشهورترین دیدگاه های معرفت شناسان معاصر، یعنی دیدگاه دیوید کریستن سن را درباره شواهد...
چکیده این رساله در نظر دارد که معرفت را در کتاب منطق الطیر عطار و گلشن راز شبستری مورد بررسی و مقایسه قرار دهد . معرفت در لغت به معنای شناخت و علم ودانش ونیز به معنای ادراک است و در اصطلاح صوفیه عبارت از علمی است که مبتنی بر کشف و شهود تهذیب باشد . معرفت انواع مختلفی دارد از جمله ؛معرفت استدلالی ،معرفت حسی،و معرفت کشفی و شهودی. عطار در منطق الطیر برای معرفت مقدمات و شرایطی را بیان می کند از...
در این مقاله، منطق شهودی براوِر در ریاضیات و آنالیز ریاضی سازنده بیشاپ مبتنی بر این منطق را معرفی کرده و تفاوتهای آنها با منطق و آنالیز ریاضی کلاسیک را بیان میکنیم. تفاوت بنیادی آنالیز سازنده با آنالیز کلاسیک در این است که در آنالیز سازنده بر خلاف آنالیز کلاسیک، همواره راهکار و الگوریتم یافتن عناصر مطلوب در قضایای وجودی، ارائه میشود و لذا میتوان این نوع از آنالیز ریاضی را یک نوع زبان برنامه...
آلیاژهای حافظهدار به علت نمایش رفتارهای ویژه از جمله میرایی بالا، قابلیت حافظهداری و سوپرالاستیسیته برای کاربرد در سامانههای مختلف مهندسی مورد توجه قرار گرفتهاند. همچنین باتوجه به توسعه کاربرد سازههای کامپوزیتی و به خصوص ساختارهای ساندویچی در صنایع مختلف از جمله هوافضا، برای اولین بار در کار حاضر تلاش شده تا اثر برخی از ویژگیهای آلیاژهای حافظهدار بر رفتار ارتعاشات آزاد پانل ساندویچی حافظ...
با ورود کامپیوتر و فناوری های نوین به حوزه آموزش و آموزش های الکترونیکی، نوعی از ارزشیابی به نام ارزشیابی الکترونیکی مطرح گردید. در ابتدا این ارزشیابی ها همان ارزشیابی های متداول بودند که تنها قالبی تحت وب داشتند و پس از مدتی به ارزشیابی های نیمه پویا تبدیل شدند. در برخی از تحقیقات پارامترهای هر سوال به منظور ارزشیابی دانش یادگیرنده به کمک نظریه سوال-پاسخ تعیین می گردد. آزمون شونده با یک سطح تو...
هدف از این تحقیق تحلیل غیر خطی خمش و کمانش قطاع صفحات مدرج تابعی در راستای شعاعی تحت بار مکانیکی می باشد. خواص مکانیکی صفحۀ تابعی در جهت شعاع با استفاده از مدل موری- تاناکا تعیین شده است. معادلات غیر خطی بصورت نموی و با استفاده از تئوری تغییر شکل های برشی مرتبه اول و فرضیۀ تغییر شکل های بزرگ فون کارمن ارائه گردیده اند. برای حل معادلات غیرخطی نموی از روش رهایی پویا و روش تفاوت های محدود استفاده ...
درحالی که به لحاظ شهودی و عرفی جمله ای مثل «رخش وجود ندارد» به وضوح صادق است اما طراحی سیستمی منطقی که بتواند با موضوع قرار دادن رخش و محمول قرار دادن وجود، این جمله را تحلیل کند، تبدیل به یکی از مسائل پیچیده ی منطقی و فلسفی گشته است. این پایان نامه در میان گستره ی نظریات پیرامون وجود محمولی، دامنه ی کاری خود را به تحلیل های سازگار با منطق آزاد محدود کرده است. ابتدا نظریه راسل در تحلیل وجود م...
به گروه متناهی g یک گراف ساده موسوم به گراف اول وابسته می شود که آن رابا ?(g می دهیم. در این گراف مجموعه رئوس عبارت است از ?(g یعنی مجموعه اعداد اول شمارنده |g| و دو رأس p و q به هم وصلند هرگاه گروه g عضوی از مرتبه pq داشته باشد. گروه معین g را r-بار شناسایی پذیر به وسیله گراف اول گوییم هرگاه دقیقا r گروه غیریکریخت مانند h وجود داشته باشد به طوری که ?(h)=?(g . در حالت خاص وقتی یک گروه توسط گر...
یک ساختار متریک عبارت است از یک فضای متریک به همراه تعدادی رابطه و عمل پیوسته روی آن. هر ساختار مرتبه یکم یک ساختار پیوسته است. منطق پیوسته گسترشی از منطق مرتبه یکم است که برای مطالعه ساختارهای متریک بنا شده است. هدف این پایان نامه مطالعه نیرش (فورسینگ) در منطق مرتبه یکم و منطق پیوسته و اثبات قضیه حذف تایپ در آنها می باشد. نخست به طرح چارچوب اصلی در منطق مرتبه یکم می پردازیم. سپس با انجام تغییر...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید