تحقیق در مورد منطق محاسباتی 34 ص

لینک دانلود و خرید پایین توضیحات

دسته بندی : وورد

نوع فایل :  .doc ( قابل ویرایش و آماده پرینت )

تعداد صفحه : 33 صفحه

 قسمتی از متن .doc : 

منطق محاسباتی

خلاصه

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

1- مقدمه

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

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

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

2. پایه‌ی منطق محاسباتی

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

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

تحقیقات در بخش پایه‌ی منطق محاسباتی به طور گسترده‌ای بر دیگر بخشهای این علم تاثیر دارند. این تحقیقات عموما به دو بخش تقسیم میشوند:

تحقیقات در زمینه‌های روشهای استنتاج از قبیل Resolution و ...

تحقیقات در زمینه‌ی پیدا کردن پایه های مناسب ریاضی برای انجام به صرفه‌ی (از نظر زمانی و حافظه) محاسبات مربوط به منطق محاسباتی.

2-1 پایه‌های منطق محاسباتی

روش کلی برای فهمیدن درستی یک جمله این است که از فرضها شروع کرده و در هر مرحله یک جمله درست جدید را با توجه به جملات قبلی و استفاده از قواعد استنتاج تولید کنیم. (یعنی جملات درست را لیست میکنیم.) این کار ادامه پیدا میکند تا وقتی که به جمله مورد سوال یا نقیض آن برسیم.

قسمت دیگری که مورد توجه است، یکی سازی است. به طور مثال دو جمله (x:f(x) و (y:f(y) را در نظر بگیرید. واضح است که درستی این دو جمله یکسان است. به طور کلی هر جمله را به طریقه های ظاهرا متفاوت بسیار زیادی میتوان نوشت که همگی یک معنای واحد داشته باشند. (در همین مثال به جای x از تمام متغیرها میتوان استفاده کرد. به صورت معمولی لااقل 0N متغیر داریم.) بدین منظور تحقیقات زیادی بر روی روشهای کارا برای یکی سازی جملات منطقی انجام شده است.

برای تولید جملات جدید با توجه به قواعد استنتاج راههای زیادی پیشنهاد شده اند. یکی از محبوبترین راههای پیشنهاد شده به Resolution موسوم است. این روش برای منطق مرتبه اول کمی پیچیدگی دارد اما با بررسی آن برای منطق گزاره ها کلیت آن آشکار میشود.

Resolution Propositional

در این روش تمام جمله ها به صورت clausal form هستند. برای تبدیل یک جمله به این فرم ابتدا جمله را به صورت نرمال عطفی CNF تبدیل میکنیم.

¬(g ( ( r → f)) ──CNF( (¬g ( r) ( (¬g ( ¬f)

و سپس نتیجه را به تعدادی مجموعه تبدیل میکنیم، مجموعه ای از مجموعه ها که هر عضو آن اعضای یکی از پرانتزهاست:

(¬g ( r) ( (¬g ( ¬f) ──Clausal Form( {¬g, r}, {¬g, ¬f}

این کار یک روش نسبتا خوب برای Unification است. برای انجام استنتاج بر اساس این قاعده عمل میکنیم:

تشکیل نفت 34 ص

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 35

صفحه

چگونه نفت در کره زمین تشکیل شد ؟ ...................................................... 3

2.تحقیق دربارهمندلیف............................................................................. 4

3. فرآیند تعادلی ......................................................................................



چگونه نفت در کره زمین تشکیل شد ؟

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

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

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

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

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

گروههای شیمیایی جدول تناوبی

قلیایی فلزیها

قلیایی خاکیها

لانتانیدها

آکتینیدها

فلزات انتقالی

فلزات ضعیف

شبه فلزات

غیر فلزات

هالوژنها

گازهای کامل

در اینجا روشهای دیگر برای نمایش جدول ارایه شده‌اند:

جدول استاندارد - جدول جایگزین - جدول ضد - جدول بزرگ - جدول عظیم - جدول عریض - جدول توسعه یافته - جدول ساختاری - فلزات و غیر فلزات

کد رنگ برای اعداد اتمی:

عناصر شماره گذاری شده با رنگ آبی ، در دمای اتاق مایع هستند؛

عناصر شماره گذاری شده با رنگ سبز ، در دمای اتاق بصورت گاز می باشند؛

عناصر شماره گذاری شده با رنگ سیاه، در دمای اتاق جامد هستند.

تجلی قرآن وحدیث درشعرمولانا 34 ص

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 34

موسسه آموزش عالی خراسان

موضوع :

استاد ارجمند :

جناب آقای وکیلیان

گردآورنده :

موسی نوری

تیرماه 86

فهرست مطالب

چکیده .................................................................................................................3

درآمد .................................................................................................................5

بخش اول: پیشینه ی اثر پذیری شاعران فارسی

از قرآن و حدیث .................................................................................................6

بخش دوم : شیوه ها و گونه های اثرپذیری از

قرآن و حدیث

1- اثرپذیری واژگانی ...............................................................................14

الف) وام گیری ........................................................................................14

ب ) ترجمه .............................................................................................15

ج ) برآیند سازی...................................................................................15

2- اثرپذیری گزاره ای ...............................................................................18

الف ) اقتباس و تضمین ...........................................................................18

ب ) حل ..................................................................................................18

3- اثرپذیری گزارشی

الف ) ترجمه .............................................................................................19

ب ) تفسیر...............................................................................................20

4- اثر پذیری الهامی- بنیادی .....................................................................21

5- اثرپذیری تلمیحی ...................................................................................22

6- اثرپذیری تأویلی ....................................................................................23

7- اثرپذیری ساختاری سبکس ..................................................................24

بخش سوم: ملّای روم و نمونه هایی از تجلّی

قرآن و حدیث در سروده های او................................................................25

منابع و مآخذ ................................................................ ........................... 33

چکیده

آنچه نگارش شده پژوهشی است درباره ی بازنمایی جلوه هایی از قرآن و حدیث در شعر مولانا که در سه بخش تدوین شده است

در بخش نخست از مسائلی چون زمینه های اثرپذیری شعر فارسی از قرآن و حدیث، پیشینه ی آن ، تحول و تکامل آن، موافقت و مخالفت با آن،شیوه های پیدا و پنهان آن، تفنّن گرایی با آن و...بحث شده است.

در بخش دوم شیوه ها و گونه های اثرپذیری از قرآن و حدیث را با نام هایی چون اثرپذیری واژگانی گزاره ای، گزارشی،تأویلی،تفسیری،تصویری، ساختاری و ...آورده شده است .

دربخش سوم نمونه هایی ازبهره گیری ها واثرپذیری های مولانا ازآغازتا پایان سده هشتم گردآوری شده است و سعی شده تا نمونه ها متنوع و نکته آموز باشند.

درباره ی حدیث های کتاب که بیشتر آن ها ازمآخذ معروف و معتبر گرفته شده است گفتنی است که شاید پاره ای از آن ها از دیدگاه حدیث شناسی امّا و اگرهایی داشته و یا مجعول باشند.

اما آنچه بیشتر حایزاهمیّت است اینکه سخنورساختارقرآنی یا حدیثی را به عنوان نمونه و سرمشقی پیش چشم می گیرد و سخن خود را در ساخت و بافتی می پردازد که با آ‌ن همخوان باشد نمونه را می توان از مثنوی مولوی نام برد که روساخت آن با روساخت قرآن مجید همخوانی هایی دارد .

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

تحقیق در مورد توسعه ورزش زنان 34 ص

لینک دانلود و خرید پایین توضیحات

دسته بندی : وورد

نوع فایل :  .doc ( قابل ویرایش و آماده پرینت )

تعداد صفحه : 34 صفحه

 قسمتی از متن .doc : 

توسعه ورزش زنان

نوع صفحه : شرح وظایف مرکز توسعه ورزش بانوان

· تبیین وتدوین برنامه های کلان توسعه ورزش بانوان.

· تبیین چگونگی حضور زنان درعرصه های ورزش پرورشی ، همگانی، قهرمانی وحرفه ای.

· برنامه ریزی در زمینه چگونگی اعمال نظارت و جنبه های حمایتی و پشتیبانی درعرصه های ورزش پرورشی ، همگانی ، قهرمانی وحرفه ای باتوجه به اولویتها.

· برنامه ریزی درجهت حسن اجرای وظایف نظارتی وحمایتی در اولویت بندی فعالیتهای ورزشی بخش زنان کشور.

· برنامه ریزی ونظارت بر چگونگی حفظ ، ارتقاء وحضورفعال زنان درعرصه های بین المللی ورزش.

· تدوین برنامه به منظور فراهم نمودن زمینه های لازم جهت تحقق حقوق مدنی دربخش ورزش زنان

· تدوین برنامه های نظارتی وحمایتی برای حفظ وارتفاء جایگاه ورزشی زنان.

· تدوین آئین نامه های اجرایی ودستورالعمل های مورد نیاز جهت اعمال نظارت و حمایت برتوسعه ورزش زنان دردستگاههای دولتی وغیردولتی ودرابعاد داخلی وبرون مرزی.

· کمک به بهینه سازی سیستمهای جمع آوری اطلاعات موردنیاز ورزش زنان.

· نظارت برعملکرد وهدایت واحدهای استانی سازمان درانجام فعالیتها وتوسعه ورزش بانوان درسطح استان.

· برنامه ریزی به منظوربهره برداری بهینه زنان از تاسیسات ، امکانات وتجهیزات ورزشی کشور.

· تدوین برنامه درخصوص چگونگی ونحوه جذب تسهیلات ، بودجه ودیگر منابع مالی برای رشد وتوسعه ورزش زنان ونظارت برحسن اجرای برنامه ها.

· فراهم نمودن زمینه های لازم به منظورجلب مشارکت حامیان مالی ، خیرین و سرمایه گذاران داخلی وخارجی درایجاد تاسیسات وامکانات ورزشی دربخش زنان.

· نظارت برنحوه تخصیص اعتبارات درمؤلفه های چهارگانه ورزش درعرصه ورزش بانوان

· هماهنگی ، نظارت وحمایت از حوزه ورزش بانوان درفدراسیونهای ورزشی.

· برنامه ریزی درجهت برگزاری مسابقات سراسری ورزش زنان به مناسبتهای مختلف

· فراهم نمودن زمینه های لازم جهت حمایت از رشد وتوسعه ورزش روستاها وعشایرباتأکید برحفظ وفرا ملی کردن ورزشهای بومی و محلی.

· برنامه ریزی وایجاد ارتباط وتعامل لازم درجهت استفاده از تجربیات ، دستاوردها ، ظرفیتهای جهانی وبومی کردن آنها به منظورارتقاء ظرفیتهای داخلی ورزش زنان.

· تدوین نیازهای آموزشی وهماهنگی بامراکز آموزشی به منظور توسعه منابع انسانی مورد نیاز ورزش زنان باتوجه به سیاستهای کلان سازمان.

· تدوین برنامه به منظور نحوه اجرا، نظارت وپشتیبانی در به انجام رساندن اولویتهای پژوهشی.

· همکاری با مراکز تحقیقاتی وحمایت از محققین داخلی و خارجی که درحوزه ورزش زنان فعالیت می نمایند.

· حمایت از مراکز فرهنگی ورزشی با توجه به مقتضیات ونیازهای ورزش زنان.

· تدوین برنامه های فرهنگی – تبلیغی به منظور رشد وتوسعه ورزش زنان.

· تدوین برنامه به منظور حمایت و تقویت فعالیتهای فرهنگی وهنری در بخش ورزش زنان از جمله تجهیز کتابخانه ها، موزه ها، مراکز، پایگاههای ورزشی وغیره.

مدیرکل دفتر توسعه ورزش بانوان: تا ‪۵۰‬درصد از اعتبار فدراسیون‌ها به توسعه ورزش بانوان اختصاص یافت

تهران ، خبرگزاری جمهوری اسلامی ‪۱۳/۰۸/۸۷‬

ورزش. بانوان . قهرمانی

مدیر کل دفتر توسعه ورزش بانوان سازمان تربیت بدنی و عضو هیات اجرایی کمیته ملی المپیک اعلام کرد: ‪۳۰‬تا ‪۵۰‬درصد کل اعتبارات هر فدراسیون به توسعه ورزش بانوان اختصاص یافته است.

به گزارش خبرنگار ایرنا از سازمان تربیت بدنی، رباب شهریان افزود: این سرمایه‌گذاری در کنار برنامه ریزی مناسب آینده درخشانی را برای ورزش بانوان ایران در کسب سهمیه‌های بیشتر در بازی‌های آسیایی گوانگ جو و المپیک لندن به دنبال خواهد داشت.

وی از حضور بانوان ورزشکار کشورمان در ‪۶‬رشته بازی‌های همبستگی کشورهای اسلامی خبر داد و یادآور شد: بانوان ورزشکار ما در این مسابقات در رشته های کاراته،تکواندو، شمشیربازی، تیراندازی، شطرنج و دوومیدانی حضور خواهند داشت.

وی گفت: به گونه‌ای برنامه ریزی خواهیم کرد که در همه این شش رشته حضور موفقیت آمیز همراه با درخشش داشته باشیم.

شهریان بر حضور ‪۱۵۰‬ورزشکار زن در بازی‌های آسیایی گوانگ جو گفت: بی تردید بانوان کشورمان توانایی بالایی در عرصه‌های مختلف به ویژه در ورزش دارند برهمین اساس اگر در این بخش با سرمایه‌گذاری و برنامه ریزی لازم پیش برویم دستیابی به این هدف امکان پذیر است.

وی گفت: به دنبال آن هستیم که این حضور کمی با کسب مدال‌های ارزشمند و رنگارنگ همراه باشد تا شاهد تاثیر ورزش بانوان در ارتقای جایگاه کاروان ورزش ایران در جدول توزیع مدال‌ها باشیم.

عضو هیات اجرایی کمیته ملی المپیک با بیان اینکه بانوان هم اکنون در ‪۴۴‬ رشته ورزشی فعال هستند، گفت: در این میان بانوان ما در ‪۳۷‬رشته در عرصه های مختلف بین‌المللی حضور دارند.

وی با تشریح سیاست سازمان تربیت بدنی در حوزه بانوان گفت: در نظر داریم حضور مان همراه با درخشش و افتخار آفرینی در رویدادهای مهمی نظیر بازی های آسیایی باشد و بر این اساس رشته‌های ورزشی که شانس مدال آوری بیشتری دارند اولویت بندی شده اند.

شهریان تصریح کرد: برای آن دسته از رشته‌هایی که شانس کسب مدال ندارند نیز باید برنامه ریزی کرد تا این رشته‌ها خود را به رقیبان مطرح آسیایی برسانند.

وی افزود : برای رسیدن به اهداف مدنظر در ورزش بانوان سعی خواهد کرد که در کمیته ملی المپیک با تقویت بحث نظارتی و کنترل فعالیت‌های ورزش بانوان روز به روز ورزش قهرمانی در این بخش رشد و ارتقا یابد.

برخی نظریه های افلاطون 34 ص

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 34

برخی نظریه های افلاطون

محقق: رضوانه فلاحتی

رشته: روانشناسی عمومی

منابع تحقیق:

حکمت یونان

سقراط و افلاطون

از افلاطون تا ناتو

چکیده ای از زندگی نامه:

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

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

آثار افلاطون

لاخس، خارمیدس- لوسیس، کریتون- ائوتوفرون، دفاعیه

پروتاگوراس، گورگیاس، منون

ضیافت و فایدون

جمهوری و فایدروس

تئایتتوس (حدود 367 ق.م )، پارمنیدس، تیمایوس

سوفسطایی و و سیاسی

فیلبوس و قوانین.