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

اختصاصی از اینو دیدی مقاله درباره منطق محاسباتی 34 ص دانلود با لینک مستقیم و پر سرعت .

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

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

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

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

خلاصه

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

1- مقدمه

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

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

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

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

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

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

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

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

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

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

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

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

دانلود پاورپوینت منطق فازی 20 اسلاید

اختصاصی از اینو دیدی دانلود پاورپوینت منطق فازی 20 اسلاید دانلود با لینک مستقیم و پر سرعت .

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

نوع فایل:  ppt _ pptx

( قابلیت ویرایش )

---

 قسمتی از محتوی متن پاورپوینت : 

تعداد اسلاید : 20 صفحه

منطق فازی پروفسور لطفى زاده واضع منطق فازى است، که گرچه بیش از چند دهه از عمر آن نمى گذرد اما تاثیر آن بر فناورى هاى دیجیتال اساسى و حیرت آور برآورد مى شود.
اکنون سال هاست که منطق فازى در شاخه هاى مختلف علوم کامپیوتر از ساخت ریزپردازنده تا طراحى زبان هاى هوش مصنوعى، کاربرد داشته و هر روز به تعداد مصنوعاتى که اساس آنها برپایه هوش مصنوعى استوار است افزوده مى شود.
ریاضیات فازی یک فرا مجموعه از منطق بولی است که بر مفهوم درستی نسبی، دلالت می کند.
منطق کلاسیک هر چیزی را بر اساس یک سیستم دوتائی نشان می دهد ( درست یا غلط، 0 یا 1، سیاه یا سفید) ولی منطق فازی درستی هر چیزی را با یک عدد که مقدار آن بین صفر و یک است نشان می دهد.
مثلاً اگر رنگ سیاه را عدد صفر و رنگ سفید را عدد 1 نشان دهیم، آن گاه رنگ خاکستری عددی نزدیک به صفر خواهد بود.
در سال 1965، دکتر لطفی‌زاده نظریه سیستم‌های فازی را معرفی کرد.
در فضایی که دانشمندان علوم مهندسی به دنبال روش‌های ریاضی برای شکست دادن مسایل دشوارتر بودند، نظریه فازی به گونه‌ای دیگر از مدل‌سازی، اقدام کرد.
منطق فازی معتقد است که ابهام در ماهیت علم است.
بر خلاف دیگران که معتقدند که باید تقریب‌ها را دقیق‌تر کرد تا بهره‌وری افزایش یابد، لطفی‌زاده معتقد است که باید به دنبال ساختن مدل‌هایی بود که ابهام را به عنوان بخشی از سیستم مدل کند.
در منطق ارسطویی، یک دسته‌بندی درست و نادرست وجود دارد.
تمام گزاره‌ها درست یا نادرست هستند.
بنابراین جمله «هوا سرد است»، در مدل ارسطویی اساساً یک گزاره نمی‌باشد، چرا که مقدار سرد بودن برای افراد مختلف متفاوت است و این جمله اساساً همیشه درست یا همیشه نادرست نیست.
در منطق فازی، جملاتی هستند که مقداری درست و مقداری نادرست هستند.
برای مثال، جمله "هوا سرد است" یک گزاره منطقی فازی می‌باشد که درستی آن گاهی کم و گاهی زیاد است.
گاهی همیشه درست و گاهی همیشه نادرست و گاهی تا حدودی درست است.
منطق فازی می‌تواند پایه‌ریز بنیانی برای فن‌آوری جدیدی باشد که تا کنون هم دست‌آورد‌های فراوانی داشته است.
کاربردها از منطق فازی برای ساخت کنترل کننده های لوازم خانگی از قبیل ماشین رختشویی (برای تشخیص حداکثر ظرفیت ماشین، مقدار مواد شوینده، تنظیم چرخهای شوینده) و یخچال استفاده می شود.
کاربرد اساسی آن تشخیص حوزه متغیرهای پیوسته است.
برای مثال یک وسیله اندازه گیری دما برای جلوگیری از قفل شدن یک عایق ممکن است چندین عضو مجزا تابعی داشته باشد تا بتواند حوزه دماهایی را که نیاز به کنترل دارد به طور صحیح تعریف نماید.
هر تابع، یک ارزش دمایی مشابه که حوزه آن بین 0 و 1 است را اختیار می کند.
از این ارزشهای داده شده برای تعیین چگونگی کنترل یک عایق استفاده می شود.
حال با مثال دیگری اهمیت این علم را بیشتر درک مینمائیم: یک انسان در نور کافی قادر به درک میلیونها رنگ میباشد.ولی یک روبوت چگونه میتواند این تعداد رنگ را تشخیص دهد؟
حال اگر بخواهیم روباتی طراحی کنیم که قادر به تشخیص رنگها باشد از منطق فازی کمک میگیریم و با اختصاص اعدادی به هر رنگ آن را برای روبوت طراحی شده تعریف میکنیم.
از کاربردهای دیگر منطق فازی میتوان به کارب

  متن بالا فقط قسمتی از محتوی متن پاورپوینت میباشد،شما بعد از پرداخت آنلاین ، فایل را فورا دانلود نمایید 

---

  لطفا به نکات زیر در هنگام خرید دانلود پاورپوینت:  توجه فرمایید.

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

---

دانلود فایل  

مقاله درباره آشنایی با افراد بی منطق

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

لینک پرداخت و دانلود در "پایین مطلب"

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

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

تعریف منطق

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

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

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

بر این اساس، منطق را این گونه تعریف می کنند:

منطق، ابزاری است از نوع قاعده و قانون که مراعات کردن و به کار بردن آن، ذهن را از خطای در تفکر مصون نگه می دارد.

مصنف و مدون منطق

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

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

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

 تجربیات مدون :  چگونه می توان بوسیله روش تدریس ایفای نقش و نمایش درس فلسفه و منطق  را برای دانش آموزان جذاب نمود.

فرمت فایل: ورد

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

چکیده

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

فلسفه غرب با در دست داشتن چند ویژگی به راحتی توانسته است تا بنیادی ترین مراکز فکری و فرهنگی مسلمانان پیشروی کند از آن جمله:

1)دسترسی به کتابخانه و منابع نوشتاری گسترده و غنی از کهن ترین منابع تا جدیدترین آنها

2)در اختیار داشتن فضاهای آموزشی-پژوهشی مناسب و گسترده

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

4)بهره گیری از شیوه های پژوهشی-علمی

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

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

 مقدمه

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

ـ این درس برای دانش آموزان خشک و بی جاذبه است.

ـ کلمات آن سخت و غیر قابل فهم و درک است.

ـ این درس در سالهای قبل از پایه سوم پیش نیازی ندارد.

ـ این دو کتاب عاری از عکس و تصاویر جذاب برای جلب توجه دانش آموزان است.

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

ـ دانش آموزان با الفاظ و مفاهیم فلسفه آشنا و مأنوس نیستند و کلماتی که در آن استفاده می شود کاملاً تخصصی و دور از ذهن دانش آموزان می باشد.

ـ دانش آموزان از مفاهیم این دروس در ذهن خود غولی ساخته اند که هیچگاه دست یافتنی نیست و نمی توانند این درسها را یاد بگیرند.

برنامه ریزی تعمیرات و نگهداری با استفاده از منطق فازی و دادههای آماری

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

مقالات علمی پژوهشی صنایع با فرمت    Pdf       صفحات      8

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