دسته بندی : علوم انسانی _ ادبیات و تاریخ
فرمت فایل: 
( قابلیت ویرایش و آماده چاپ )
قسمتی از متن ....
پرندگان در منطق الطیر پرندگان منظومه منطق الطیر عطار منطق الطیر : مأخوذ است از آیه شریفه: «و ورث سلیمان داود و قال یا ایها الناس علمنا منطق الطیر واوتینا من کل شی ء ان هذا لهو الفضل المبین» (سوره نمل آیه 16)- در تفاسیر قرآن کریم از مرغان مختلفی که با سلیمان (ع) سخن گفته اند و او گفتار آنان را برای پیروان خود ترجمه فرموده است.
اسم برده اند و جهت مزید اطلاع ر.
ک.
: تفاسیر فخررازی ج 6 ص 556 و بیضاوی ج 2 ص 194 و کشف الاسرار ج 7 ص 189 و ابوالفتوح ج 4ص 153- این کلمه را شعرای فارسی زبان به همین معنی در اشعار خود بسیار آورده اند.
هدهد : در فارسی پویک و شانه سر را گویند.
(برهان) – مرغیست بدبو که بر زباله آشیان سازد، بر بدنش خطوط و رنگهای فراوان است و کنیه او ابوالاخبار و ابوثمامه و ابوالربیع و ابوروح و ابوسجاد و ابوعیاد است.
گویند که از بالای آسمان آب را در زیر زمین ببیند همانطور که آدمی آنرا در شیشه ببیند.
(دمیری) – گفته اند که هدهد راهنمای سلیمان بود بر آب و آن چنان بود که سلیمان هرگاه که خواستی نماز گزارد هدهد او را ره نمودی به آب و در بیابان زمین را می کندند و به آب می رسیدند تا سلیمان با آن غسل می کرد یا وضو می ساخت.
(جهت مزید اطلاع ر.
ک.
: قصص انبیا ذیل قصه سلیمان و بلقیس و حیاة الحیوان جا حظ ج 4 ص 77 و حیاةالقوب ج1 ص264) بلبل : نمونه مردمان جمال پرست وعاشق پیشه است.
طوطی : حیوانیست ثاقب الفهم ونرم خو که قوه تقلید اصوات و قبول تلقین را بسیار داراست.
ارسطا طالیس گوید برای تعلیم طوطی او را جلوی آینه نهید و از پس آن صحبت کنید تا او خوب تقلید کند (دمیری ذیل ببغاء)- در اینجا نمونه آن دسته از مردمان اهل ظاهر و تقلید است که به دنیای باقی و حیات جاوید اعتقاد دارند و به آن سخت پابندند.
طاوس : پرنده ایست عزیز و جمیل و عفیف الطبع و اهل ناز و تبختر است و بر خویش سخت معجب است (دمیری)- در مثنوی نمونه ای از مردم منافق و دو رنگ است که برای نام و ننگ جلوه گری می کند و همّ خود را صرف صید خلق و شکار آنها می نماید و از نتیجه عمل خود نیز بی خبر است (ر.
ک.
ج 5 نی ص 28).
ولی در این جا نموه اهل ظاهر است که تکالیف مذهب را به امید مزد یعنی به آرزوی بهشت و رهایی از عذاب دوزخ انجام می دهد.
بط : مرغابیست و این کلمه عربی محض نیست (جوالیقی ص 64) و مُعرّب بت است (آنندراج) – در تفاسیر قرآن (ذیل آیه 120 واقع در سوره بقره راجع به مرغ خلیل الله (ع) آنرا ضمن چهار مرغ خلیل نام برده اند (ابوالفتوح ج 1ص 458)- و در مثنوی کنایه است از حرص و آز که یکی از عوامل شیطان رجیم و نفس عاقبت سوز است (ج 5 نی س 37)- در اینجا نمونه مردمان عابد و زاهد است که همه عمر گرفتار وسواس طهارت و شستشواند.
کبک : نمونه مردم جواهر دوست که همه عمر خود را صرف جمع آوری انواع جواهرات و احجار کریمه و یا اشیاء قیمتی
تعداد صفحات : 15 صفحه
متن بالا فقط تکه هایی از متن به صورت نمونه در این صفحه درج شده است.شما بعد از پرداخت آنلاین فایل را فورا دانلود نمایید
بعد از پرداخت ، لینک دانلود را دریافت می کنید و ۱ لینک هم برای ایمیل شما به صورت اتوماتیک ارسال خواهد شد.
( برای پیگیری مراحل پشتیبانی حتما ایمیل یا شماره خود را به صورت صحیح وارد نمایید )
«پشتیبانی فایل به شما این امکان را فراهم میکند تا فایل خود را با خیال راحت و آسوده دریافت نمایید »
لینک دانلود و خرید پایین توضیحات
فرمت فایل word و قابل ویرایش و پرینت
تعداد صفحات: 39
منطق محاسباتی
خلاصه
این مقاله به بررسی جنبه‌های مختلف و رو به رشد منطق محاسباتی میپردازد. تکنیکها و کاربردهای فعلی آن را مطالعه میکند و در نهایت به یک نتیجه‌گیری و ارایه پیشنهادهایی در مورد منطق محاسباتی میپردازد.
1- مقدمه
منطق محاسباتی بخشی از منطق است که به بررسی راهکارهای محتلف بررسی درستی احکام در دستگاه‌های مختلف منطقی میپردازد. این رشته به طور عمیقی با علوم کامپیوتر پیوند یافته است و به صورت کلی رشد واقعی آن از وقتی شروع شد که توان محاسباتی کامپیوترها پیشرفت کرد و انجام محاسبات پیچیده بوسیله کامپیوترها با هزینه کم امکان پذیر شد. منطق محاسباتی به صورت کلی به منطق از دید محاسباتی آن مینگرد. این که در یک دستگاه منطقی انجام یک محاسبه (به طور مثال چک کردن درستی یک گزاره) امکان پذیر هست یا نه و اگر امکان پذیر است این کار چه هزینه ای دارد. از آنجا که حقایق علمی ما با منطق پیوند عمیقی دارند، برای بررسی این حقایق استفاده از زبان منطقی، یکی از بهترین راه های ممکن است.
امروزه بشر علاقه زیادی دارد که تمام کارها از جمله فکر کردن را به ماشین واگذار کند. اما واگذار کردن فکر کردن به یک ماشین کار ساده ای نیست. ما دید عمیقی درباره اینکه فکر کردن چیست و چگونه انجام میشود نداریم. ازینرو تلاشهای اولیه برای این کار با شکست مواجه شدند یا با سختی زیادی همراه بودند. اما اگر بخواهیم تنها قسمت منطقی فکر کردن را به ماشین واگذار کنیم کار ساده تر است چون برای این کار از منطق ریاضی استفاده میکنیم و منطق یک زیر شاخه قوی از ریاضی است که به سوالات زیادی در مورد آن جواب داده شده است. گرچه ما هنوز واقعا نمیدانیم که چه مقدار از روند تفکر ما منطقی است. به این مطلب در قسمت نتیجه گیری بیشتر خواهیم پرداخت.
امروزه منطق محاسباتی کاربرد گسترده ای در تکنولوژی پیدا کرده است. بدین ترتیب حجم کارهای انجام شده بر روی آن در حال افزایش است. این کارها نه تنها در زمینه ریاضی بلکه بر روی دیگر ابعاد مربوط به این قضیه نیز انجام میشود. عموما این کارها به سه دسته تقسیم میشوند. دسته اول کارهای مرتبط با پایه ریاضی منطق محاسباتی هستند. دسته دوم کارهای مرتبط با تکنیکهای هوش مصنوعی جهت ارتقای کارایی روشهای ریاضی ابداع شده و دسته سوم کارهای انجام شده جهت استفاده از منطق محاسباتی در مسایل واقعی مهندسی.
2. پایه‌ی منطق محاسباتی
تمام موارد مرتبط با منطق محاسباتی احتیاج به پایه‌ای برای بنا کردن ساختارهایی معنا دار برای توصیف داده های مربوطه دارند. باید بتوانیم درباره درستی یک گزاره با توجه به دیگر گزاره ها اظهار نظر کنیم. بدین منظور میتوان از مراتب مختلف منطق استفاده کرد. سیستمهای بسیار ساده معمولا از منطق مرتبه صفر برای توصیف جهان خود استفاده میکنند. اما اکثر سیستمهای پیشنهادی از منطق مرتبه اول برای توصیف جهان خود استفاده میکنند. بعضی سیستمها هم از مراتب بالاتر منطق برای اهداف خود استفاده میکنند. هنوز نمیدانیم که ذهن انسان تحت چه مرتبه‌ای از منطق کار میکند، و حتی به درستی نمیدانیم آیا تمام جنبه های تفکر در ذهن انسان از اصول منطق تبعیت میکنند یا نه. به هر حال علم منطق روشی سمبولیک برای مدل کردن جهان در اختیار ما قرار میدهد.
چرچ در 1936 ثابت کرد که منطق مرتبه اول برای زبانی که فقط یک نماد رابطه‌ای دو موضعی داشته باشد تصمیم ناپذیر است. بنا بر قضیه چرچ روشی متناهی برای پاسخ به این سوال که آیا جمله A در منطق مرتبه اول معتبر است، به صورت "آری" یا "نه" نداریم، اما نیمه ای از پاسخ را میتوان مهیا کرد. به عبارت بهتر روشی متناهی وجود دارد که اگر A معتبر باشد، پاسخ روش "آری" است. به عبارت دیگر مجموعه جملات معتبر در منطق مرتبه اول لیست پذیر هستند. از طرف دیگر با توجه به قضیه تمامیت (در صورتی که در مورد دستگاه استنتاجی ما درست باشد) با استفاده از فرضها و اصول استنتاج میتوان جملات درست را لیست کرد. این قسمت در حقیقت قلب تپنده‌ی منطق محاسباتی است. در صورت پیدا شدن روشهای جدید و سریعتر برای چک کردن درستی یک جمله تحت چند فرض، شاهد تحول
تفکر، از مهم ترین موهبت های خداوند به انسان است. هر انسانی از بدو تولد تا پایان و درتمام فعالیت های روزانهٔ خود از این موهبت بهره می برد
و زندگی خود را سامان می بخشد. بسیاری ازانسان ها می کوشند از این بهره مندی معمولی فراتر روند، قدرت تفکر خود را تقویت نمایند و امکان رشد بیش تری را، در جنبه های گوناگون زندگی، برای خود فراهم نمایند؛ چرا که میزان موفقیت انسان،وابسته به قدرت تفکر وی می باشد
مناسب برای دانش آموزان و دبیران و اولیا
برای دانلود کل پاورپوینت از لینک زیر استفاده کنید:
همان گونه که چشم و قلب و سایر اعضای بدن شما بدون تصمیم گیری شما کارمی کنند و اراده شما بر کارکرد طبیعی آنها هیچ اثری ندارد، تفکر کردن نیز کار کرد طبیعی ذهن شماست و شما چه بخواهید و چه نخواهید فکر می کنید. اما همان گونه که یک پزشک با آگاهی ای که نسبت به کارکرد قلب و سایر اعضای بدن دارد باعث می شود تا بهتر از اعضای بدن خود استفاده کند و آنها را سالم نگه دارد. دانش منطق نیز با کشف قواعد و قوانین حاکم بر دنیای تفکر بهره برداری بهتر از این فرایند طبیعی ذهن را به ما می آموزد.
مناسب برای دانش آموزان و دبیران و اولیا
برای دانلود کل پاورپوینت از لینک زیر استفاده کنید: