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

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

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

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

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

در این پروژه "ابزار طراحی بانک اطلاعات شیء- رابطه ای " طراحی و پیاده سازی شده است . در این ابزار شمای بانک اطلاعات با استفاده از یک محیط گرافیکی بفرمی مشابه دیاگرام موجودیت - رابطه توسعه یافته ایجاد می گردد و در نهایت کد پیاده سازی شمای طراحی شده در یکی از قالبهای sql وodl یا unisql تولید می شود.

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

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

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...