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

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

dnazyme مورد بررسی به عنوان dnazyme محدود کننده مطرح بوده و همچنین به عنوان یک بیوسنسور برای یون مس کاربرد دارد. در این مطالعه برای بهینه سازی عملکرد آنزیم و بررسی فعالیت آنزیم از روش های اسپکتروسکوپیک و همچنین ژل d-page استفاده شده است. با تغییر شرایط بافری از لحاظ ph و همچنین قرار دادن در تیمارهای مختلف دمایی عملکرد آنزیم بررسی شده و شرایط واکنش بهینه سازی شد.برای بررسی ساختاری آنزیم از تکنیک...

در این پایان نامه، از الکترودهای خمیر کربن برهنه و اصلاح شده با نانوذرات طلا جهت تشخیص مستقیم پدیده ی دورگه شدن و سه رگه سازی dna استفاده شد. الکترودهای کارخمیر کربن و خمیر کربن اصلاح شده با نانوذرات طلا در بافر استات m 5/0 (8/4ph=) حاوی nacl با غلظت mm ?/??، با اعمال پتانسیلv 8/1 نسبت به ag|agcl|kcl (3m)، به مدت 5 دقیقه فعال سازی شدند و سپس اسید نوکلئیک تک رشته کاوشگر بر روی آن ها تثبیت شد و ب...

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

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

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

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

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