موضوعات حوزه زمان اضافه

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

2-5 مستمرمدل‌های ARMA

فرآیند متداول (P,q) ARMA اغلب به دلیل ضرایب این نمایش به یک فرآیند حافظه کوتاه مدت اشاره دارد.

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

درحالیکه ما می‌دانیم Xt سری وارون لگاریتم تبدیلی است و به طورویژه و برآوردهای این پارامترها (و انحراف استاندارد)   بودند. استفاده تفاضل اولیه می‌تواند دریک تغییربسیارزیاد بدین مفهوم باشد که یک مدل غیرثابت ممکن است تفاوت بیش از اندازه یک فرآیند اولیه را نشان دهد. سری زمانی مستمرتوسط هاسکین (1981) وگرانگروجویکس (1980) ارائه شد بعنوان توافقات واسطه بین مدلهای نوع ARMA زمان کم و فرآیندهای متحرک انتگرالگیری دررده باکس – جینکنیز قرارگرفت. آسانترین راه برای ایجاد یک سری زمانی مستمربکارگیریعملگرتفاضلی برای مقادیرکسری d است یعنی 0 باشد بنابراین یک سری زمانی مستمراولیه بوجود می‌آید از طریق  درحالیکه wt با  واریانس هنوز به لوحه سفید اشاره دارد. تفاضل فرآیند اولیه همانند روش باکس – جینگیز، ممکن است بسادگی تعیین یک مقدار d=1 باشد. 

جهت دانلود محصول اینجا کلیک نمایید

معرفی رشته ریاضی

کلیات

الف) تعریف برخی از واژه ها و اصطلاحات

1 . گروه آزمایشی

بر اساس تقسیم بندیهای انجام شده ، مجموعة رشته های مختلف تحصیلات دانشگاهی، بر حسب مواد امتحانی آزمون سراسری که توسط سازمان سنجش آموزش کشور انجام می پذیرد ، به چهار گروه آزمایشی : (1) علوم ریاضی و فنی  (2)  علوم تجربی  (3) علوم انسانی (4) هنر تقسیم می شود.

2 . رشته

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

در آزمون سراسری ، هر شته با کدی خاص از سایر رشته ها متمایز می گردد .

3 . گرایش

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

4 . دانشگاه

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

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

جهت دانلود محصول اینجا کلیک نمایید

اکتشافات مهم ریاضی

فرمت : WORD                                     تعداد صفحه :8

«بسم الله الرحمن الرحیم»

اکتشافات مهم ریاضی

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

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

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

جهت دانلود محصول اینجا کلیک نمایید

اقلیدس

فرمت : WORD                                                تعداد صفحه :49

مقدمه

کسی که هندسه نمی‎داند از این در داخل نشود،

کتیبة سر در روی آکادمی افلاطون

بیشتر مردم نمی‎دانند که در حدود یک سده و نیم پیش انقلابی در زمینة هندسه روی داد که از لحاظ علمی به عمق انقلاب کوپرنیکی در نجوم، و از جنبة نتایج فسلفی به اهمیت نگرة تکامل داروین بود. کاکستر[1]، هندسه‎دان کانادایی می‎نویسد: «تأثیر کشف هندسة هذلولوی در تصوری که از حقیقت و واقعیت داریم آنچنان عمیق بوده است که بدشواری می‎توانیم تصور کنیم که امکان وجود هندسه‎ای غیر از هندسة اقلیدسی تا چه اندازه در سال 1820 تکان دهنده جلوه‎ کرده است.» اما همة ما امورزه نام هندسة فضا – زمان نگرة نسبیت اینشتاین را شنیده‎ایم. «در واقع، هندستة پیوستار[2] فضا – زمان به حدی به هندسة تا اقلیدسی وابسته است که آگاهی از این هندسه‎ها شرط لازم برای درک کامل جهانشناسی نسبیت است.»

---

[1] -H.S.M.Coxeeter

[2] -continuum

هندسة اقلیدسی، همان هندسه‎ای که شما در دبیرستان خوانده‎اید، هندسه‎ای است که بیشتر برای تجسم جهان مادی به کار می‎بریم. این هندسه از کتابی به نام اصول[1] به دست ما رسیده که توسط اقلیدس، ریاضیدان یونانی، در حدود 300 سال پیش از میلاد مسیح نگاشته شده است. تصوری که ما براساس این هندسه از جهان مادی پیدا کرده‎ایم تا حد زیادی به توسط آیزک نیوتن در اواخر سدة هفدهم ترسیم شده است.

هندسه‎هایی که اقلیدسی نیستند از مطالعة عمیقتر موضوع توازی در هندسة اقلیدسی پیدا شده‎اند. دو نیمخط موازی عمود بر پاره خط PQ را در نمودار زیر در نظر بگیرید:

در هندسة اقلیدسی فاصلة (عمودی) بین دو نیمخط هنگامی که به سمت راست حرکت می‎کنیم همواره مساوی فاصلة P تا Q باقی می‎ماند؛ ولی در اوایل سدة نوزدهم دو هندسة دیگر پیشنهاد شد. یکی هندسة هذلولوی (از کلمة یونانی هیپربالئین به معنی «افزایش یافتن») که در آن فاصلة میان نیمخطها افزایش می‎یابد، دیگری هندسة بیضوی[2] (از کلمة یونانی الیپن «کوتاه شدن») که در آن این فاصله رفته رفته کم می‎‏شود و سرانجام نیمخطها همدیگر را می‎برند. این هندسه‎های نااقلیدسی بعدها به توسط ک.ف. گاوس و گ.ف.ب. ریمان در قالب هندسة کلیتری بسط داده شدند (همین هندسة کلیتر است که در نگرة نسبیت عام اینشتاین مورد استفاده قرار گرفته است[3]).

در این کتاب ما به هندسه‎های هذلولوی و اقلیدسی خواهیم پرداخت. هندسة هذلولوی تنها به

---

[1] -Elements

[2] -elliptic geomentry

[3] -نگرة نسبیت خاص اینشتین که برای مطالعة پاریزه‎های زیر اتمی لازم است. براساس هندسة ساده‎تر فضا – زمان، که هـ. مینکوفسکی واضح آن است نهاده شده است. نامهای «هندسة هذلولوی» و «هندسة بیضوی» توسط ف. کلاین گزیده شده است. بعضی مؤلفان این هندسه‎ها را بترتیب «هندسة لوباچفسکی» و «هندسة ریمانی» می‎نامند که اصطلاحاتی گمراه کننده‎اند.

جهت دانلود محصول اینجا کلیک نمایید

اعداد اول در ریاضی

فرمت : WORD                                                تعداد صفحه :23

اعداد اول

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

عدد یکان اعداد اول بزرگ‌تر از ۱۰ فقط ممکن است اعداد ۱، ۳، ۷، ۹ باشد.

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

دنبالهٔ اعداد اول به این صورت شروع می‌شود: ۲، ۳، ۵، ۷، ۱۱، ۱۳، ۱۷، ۱۹ ...

قضیه ۱: تعداد اعداد اول بی‌نهایت است.

برهان: حکم را به روشی که منسوب به اقلیدس است اثبات می‌کنیم: فرض کنید تعداد اعداد اول متناهی و تعداد آنها n تا باشد. حال عدد M را که برابر حاصل‌ضرب این اعداد به علاوه ۱ را در نظر بگیرید. این عدد مقسوم‌علیهی غیر از آن n عدد دارد که با فرض در تناقض است.

قضیه ۲ (قضیه اساسی حساب): هر عدد طبیعی بزرگ‌تر از ۱ را می توان به شکل حاصل‌ضرب اعدادی اول نوشت.

قضیه ۳ (قضیه چپیشف):اگر n عددی طبیعی و بزرگ‌تر از ۳ باشد، حتما" بین n و ۲n عدد اولی وجود دارد. قضیه ۴ هر عدد زوج را می‌توان بصورت جمع سه عدد اول نوشت.

قضیه ۵ هر عدد فرد (شامل اعداد اول) را می‌توان به صورت جمع سه عدد اول نوشت (اثبات بر پایه قضیه ۴)

قضیه 6-هر عدد فرد را می‌توان به صورت دو برابر یک عدد اول بعلاوه یک عدد اول دیگر نوشت (برهان آن را بنویسد).

خواص اعداد اول:

1- هر عدد اول برابر است با 6n+1 یا 6n-1 که n یک عدد صحیح است.

2-مجذور هر عدد اول برابر است با 24n+1.

3-تفاضل مجذورهای دو عدد اول مضربی

جهت دانلود محصول اینجا کلیک نمایید

اعداد اول

فرمت : WORD                                             تعداد صفحه :19

* لئوپولد کرونکر ریاضیدان آلمانی اظهار داشته است که خداوند اعداد صحیح را آفرید و بشر باقی ریاضیات را. *

درباره ی اعداد اول

در بین اعداد طبیعی بزرگتر از یک یعنی ...و 4و3و2 اعدادی وجود دارند که تنها بر یک و خود بخش پذیرند، این اعداد را اعداد اول می نامند. اعداد اول مبنایی برای همه ی عددهای طبیعی است ، به این معنی که هر عدد طبیعی به صورت حاصل ضرب توانی از اعداد اولی است که مقسوم علیه های این عددند. به عنوان مثال  . نخستین هفت عدد اول متمایز عبارتند از: 2و3و7و11و13و17. اینک این سؤال پیش می آید که آیا این رشته از اعداد مختوم است یا اینکه تا بی شمار ادامه دارد. به عبارت دیگر آیا بزرگترین عدد اول وجود دارد یا نه. جواب این است که بزرگترین عدد اول وجود ندارد. این موضوع از عصر طلائی یونانیان مکشوف بوده و توسط اقلیدس در سه قرن قبل از میلاد به اثبات رسیده است. استدلال وی بی اندازه ساده و مبرهن است و هنوز هم تازگی خود را حفظ کرده. پس از اثبات نامتناهی بودن مجموعه ی اعداد اول سؤالاتی دیگر در مورد این اعداد مطرح می شود، که به بعضی از آنها پاسخ داده شده ، ولی برخی هم همچنان بی جواب باقی مانده اند. در این جا چند نمونه از این سؤالات مورد بررسی قرار می گیرند، و ضمناً برهان اقلیدس نیز ارائه خواهد گردید.

معلوم نیست که مفهوم اول برای

فهرست مطالب

موضوع                                                                   صفحه

اعداد اول  .............................................................1

درباره ی اعداد اول ...................................................1

قضایای اعداد اول ....................................................4

خواص اعداد اول ....................................................7
روشی برای شکار اعداد اول ........................................8

جستجو برای الگوهایی از نظم در اعداد اول........................9

یک محاسبه سرانگشتی...............................................11

پیچیده گی های اعداد اول..........................................15

نتیجه گیری...........................................................16

جهت دانلود محصول اینجا کلیک نمایید

آشنایی با ماتریسها

فرمت : WORD                                            تعداد صفحه :27

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

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

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

اگر ماتـریس      را A بنامیـم، در این صورت ماتـریس ] 15و10 و 1-[ را سطـر اول و ] 19و7 و5[ را سطر دوم و ، ، را به ترتیب ستون اول، ستون دوم، ستون سوم A گویند. ماتریس A را که دارای دو سطر و ستون است یک ماتریس دو در سه (2و3) می گویند. اصطلاحاً می گوییم A از مرتبه 2 در 3 است. (نوشته می شود 3×2). بنابراین ماتریس ] 7و5 و12[ B= یک ماتریس 4×1 و ماتریس C یک ماتریس 3×3 است.

به اعداد یا اشیاء واقع در جدول ماتریس درایه های آن ماتریس می گویند. درایه های هر ماتریس در جا ومکان مشخصی قرار دارند. مثلاً در ماتریس  درایه 3 در سطر اول و ستون اول است. همچنین درایه سطر دوم، ستون سوم عدد 6 است. به طور کلی اگر درایه های سطر I ام ستون jام را با aij نشان دهیم؛ داریم

… و 5=12a   2=22a       3=11a

جهت دانلود محصول اینجا کلیک نمایید

ادعای رابطه ریاضی در قرآن

فرمت : WORD                                          تعداد صفحه :12

 [ویرایش] پیشینه

از پیشینه این نوع برخورد با قرآن اطلاع چندانی در دست نیست، ولی از آنجا که سیوطی در کتاب الاتقان فی علوم القرآن به این موضوع پرداخته، می‌توان دریافت که این موضوع چندان غریب نبوده. با این حال توجه جدی به این موضوع در دهه هفتاد میلادی، با ادعاهای رشاد خلیفه آغاز شد. او ادعا کرد که نظمی رادر قرآن کشف نموده‌است که ویژگی خاص قرآن بوده و یکی از بزرگترین وجوه اعجاز آن به شمار می‌رود.کشف رابطه ریاضی در قرآن، موجب گردید که برخی از پژوهشگران مسلمان برای کشف اسرار و رموز بیشتری از قرآن به آمارگیری از تعداد حروف و کلمات قرآن بپردازند. برخی از شاگردان یا پیروان رشاد، چون «عبدالله آریک»[۱] با چاپ کتابی، نظریات او را در باب «عدد نوزده» تکمیل نمودند. با اینحال برخی دیگر از اندیشمندان اسلامی نیز بودند که به طرح نظریات جدید ریاضی و مستقل از رشاد پرداختند.پس ازآنکه رشاد خلیفه، نظریاتش را بسط داد، با استفاده از همان نظریه ریاضی، دو آیه آخر از سوره توبه در قرآن را تحریف‌شده و افزوده شده دانست،[۲][۳] و نهایتاً ادعا نمود خداوند او را رسول میثاق نموده است و نام او در قرآن کد شده است. خلیفه همچنین از سایر متون مذهبی در کنار قرآن مثل «سنت پیامبر» و «احادیث» به عنوان منابع جعلی نسبت داده شده به محمد و در تضاد با قرآن، یاد کرد و کشف واقعیت این متون و آموزه‌های جعلی را از وظایف رسالت خویش دانست.[۴] .[۵] این امر موجب شد تا محققین اسلامی شروع به نقد نظریه رشاد و دیگر همکاران و پیروان نظریات او نموده و ادعاهای وی را انکار کنند.[۶]

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

[ویرایش] نظریه رشاد خلیفه

در سال ۱۹۷۲(میلادی) میلادی رشاد خلیفه مقاله‌ای منتشر کرد بنام «عدد۱۹، معجزه عددی در قرآن» و پس از آن در کتاب خود[۸] نظریه خود، مبنی بر کشف یک رابطه ریاضی در تعداد سوره‌ها، آیه‌ها، کلمات و حروف کتاب قرآن را رونمایی کرد. او انگیزه خود را اثبات اعجاز و غیر بشری بودن قرآن خواند تا بدین ترتیب اثبات کند که قرآن همانند انجیل نوشته دست بشر نیست و انشای خداوند است.وی ادعا نمود که

جهت دانلود محصول اینجا کلیک نمایید

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

فرمت : WORD                   تعداد صفحه :39

خلاصه

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

1- مقدمه

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

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

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

---

[1] Computational Logic                                                                                                                                                       

جهت دانلود محصول اینجا کلیک نمایید

اصل لانه کبوتر

فرمت : WORD                                          تعداد صفحه :12

اصل لانه کبوتر بسیار روشن است و بسیار ساده به نظر می‌رسد، گویی دارای اهمیت زیادی نیست، ولی در عمل این اصل دارای اهمیت و قدرت بسیار زیادی است، زیرا تعمیمهای آن حاوی نتایجی عمیق در نظریه ترکیباتی و نظریه اعداد است. وقتی می‌گوئیم در هر گروه سه نفری از مردم حداقل دو نفر، هم جنس‌اند در واقع اصل لانه کبوتر را به کار گرفته‌ایم. فرض کنیم به تازگی در دانشکده‌ای، یک گروه علوم کامپیوتر تاسیس یافته که برای 10 عضو هیئت علمی آن فقط 9 دفتر‌کار موجود باشد. آن‌گاه باز هم ایده نهایی در پشت این ادعای بدیهی که حداقل از یک دفتر‌کار بیشتر از یک نفر است استفاده می‌کنند، اصل لانه کبوتر است. اگر به جای 10 نفر 19 عضو هیئت علمی وجود داشته باشد، آن‌گاه حداقل از یک دفتر‌کار بیشتر از دو نفر استفاده می‌کنند. همین‌طور، اگر در دانشکده‌ای حداقل 367 دانشجو وجود داشته باشند، باز آشکار است S حداقل دو نفر از آنها روز تولدشان یکی است. می‌گویند که

ایده اساسی حاکم بر همه‌ی این موارد حقیقت ساده‌ای مشهور به اصل لانه‌کبوتر دیر بلکه است.

که عبارت است از:

فرض کنید ‌k و n دو عدد طبیعی‌اند. اگر بخواهیم بیشتر از nk+1 شی را در n جعبه قرار دهیم، حداقل یک جعبه وجود دارد که در آن حداقل k+1 شی قرار گرفته باشد. در حالت خاص، اگر حداقل n+1 شی را در n جعبه قرار دهیم، جعبه‌ای وجود دارد که در آن حداقل دو شی قرار گرفته باشد.

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

حل: می‌توانیم 17 نفر را 17 نقطه در نظر بگیریم که هر دوتایی به توسط یک بال به هم وصل شده‌اند. بالی را که X و Y را به هم متصل می‌کند، آبی می‌کنیم اگر آن دو درباره موضوع (1) بحث کرده باشند و قرمز می‌کنیم اگر راجع به موضوع (2) بحث کرده باشند و به رنگ زرد در می‌آوریم. اگر آن دو درباره موضوع (3) با هم به بحث پرداخته باشند. بنابراین هر کدام از 16 بالی که از A گذشته‌اند با یکی از سه‌رنگ آبی،‌ قرمز یا زرد رنگ شده است. از آن‌جایی که 1+3×5=16، طبق اصل لانه کبوتری حداقل 1+5 رأس یافت می‌شود، که با یک رنگ به A متصل شده باشند. بدون اینکه به کلیت مساله لطمه بخورد فرض می‌‌‌کنیم یال‌‌های AG,AF,AE,AD,AC,AB با رنگ آبی، رنگ‌آمیزی شده باشند. حال 6 رأس G,F,E,D,C,B را در نظر بگیرید که با 15 یال به هم متصل شده‌اند. اگر هر کدام از این یال‌ها (مثلاً BC) به رنگ آبی باشد. آن‌گاه این یال‌ها با رنگ‌های قرمز یا زرد خواهیم داشت. و این به این معنی است که حداقل سه نفر وجود دارند که با هم راجع به یک موضوع بحث کرده باشند.

جهت دانلود محصول اینجا کلیک نمایید