در این پایان نامه منطق های گودل مرتبه اول که خانواده ای از منطق های متناهی یا نامتناهی ارزشی هستند، مطالعه می شود. مجموعه ی ارزش های صدق، v، زیر مجموعه ی بسته ای از [0,1] است که شامل 0 و 1 می باشد. gv منطق حاصل از مجموعه ی v، مجموعه ی آن دسته از فرمول ها است که تحت هر تعبیری بتوی v ارزش 1 پیدا کنند. انتخاب مجموعه های متفاوت v موجب پدید آمدن منطق های متفاوت gv می شود. ثابت خواهیم کرد که gv بندا...

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

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

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

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

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

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

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