نتایج جستجو برای: منطق مرتبه اول شهودی

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

ژورنال: :پژوهشنامه تربیتی 0
حسن نجفی دکتری مطالعات برنامه درسی، گروه برنامه درسی، دانشگاه علامه طباطبایی، تهران، ایران علیرضا صادقی استادیار گروه برنامه ریزی درسی، دانشگاه علامه طباطبائی، تهران ، ایران

پژوهش با هدف، ارزیابی جایگاه ابعاد و مؤلفه های هوش فرهنگی در محتوای کتاب های درسی حوزه مطالعات اجتماعی دوره دوم متوسطه ایران به روش توصیفی، از نوع تحلیل محتوا انجام شد. جامعه پژوهشی، کلیه کتاب های درسی حوزه مطالعات اجتماعی دوره دوم متوسطه در سال تحصیلی 94- 1393 است که با توجه به انطباق با منطق تحلیلی پژوهش از نمونه گیری هدفمند استفاده شده و همه چهار کتاب درسی مطالعات اجتماعی سال اول، جامعه شناس...

ژورنال: :فصلنامه علمی پژوهشی نقد و نظر (فصلنامه علمی پژوهشی فلسفه و الاهیات) 0
امید کریم زاده استادیاردانشگاه شهید بهشتی، پژوهشکده مطالعات بنیادین علم و فناوری

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

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده ادبیات و علوم انسانی 1393

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

ژورنال: ریاضی و جامعه 2018

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

ژورنال: :نشریه مهندسی مکانیک امیرکبیر 2013
علی مظفری محمد کرمی امیرحسین آذرنیا

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

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

با ورود کامپیوتر و فناوری های نوین به حوزه آموزش و آموزش های الکترونیکی، نوعی از ارزشیابی به نام ارزشیابی الکترونیکی مطرح گردید. در ابتدا این ارزشیابی ها همان ارزشیابی های متداول بودند که تنها قالبی تحت وب داشتند و پس از مدتی به ارزشیابی های نیمه پویا تبدیل شدند. در برخی از تحقیقات پارامترهای هر سوال به منظور ارزشیابی دانش یادگیرنده به کمک نظریه سوال-پاسخ تعیین می گردد. آزمون شونده با یک سطح تو...

ژورنال: :مکانیک هوافضا 0
محمد اسماعیل گلمکانی مشهد-قاسم آباد- بلوار امامیه- خ استاد یوسفی- دانشگاه آزاد اسلامی مشهد- دانشکده مهندسی- گروه مهندسی مکانیک مصطفی امامی مشهد-قاسم آباد- بلوار امامیه- خ استاد یوسفی- دانشگاه آزاد اسلامی مشهد- دانشکده مهندسی- گروه مهندسی مکانیک

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

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

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

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

به گروه متناهی g یک گراف ساده موسوم به گراف اول وابسته می شود که آن رابا ?(g می دهیم. در این گراف مجموعه رئوس عبارت است از ?(g یعنی مجموعه اعداد اول شمارنده |g| و دو رأس p و q به هم وصلند هرگاه گروه g عضوی از مرتبه pq داشته باشد. گروه معین g را r-بار شناسایی پذیر به وسیله گراف اول گوییم هرگاه دقیقا r گروه غیریکریخت مانند h وجود داشته باشد به طوری که ?(h)=?(g . در حالت خاص وقتی یک گروه توسط گر...

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

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

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

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