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

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

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

این نوشتار ملاحظة انتقادی بر پاسخ نویسندة محترم مقاله «قضیه معدوله و محصله» (مندرج در شماره 61 مقالات و بررسیها که به اختصار 61 می خوانیم) بر نقد آن با عنوان «مفاهیم غیر محصله و منطق ماهیات» (مندرج در مقالة شمارة 62 که به اختصار 62 می نامیم) است. پاسخ نویسنده بر نقد در شمارة 67 آمده است. یکی از روشهای به کار رفته در مقام پاسخ، بهره جستن از تبکیت بیرونی است. تبکیت بیرونی توسل به عوامل روانی برای...

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

داستان علمی - تخیلی درباره برخی مباحث در منطق و مبانی ریاضی.

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

این نوشتار ملاحظة انتقادی بر پاسخ نویسندة محترم مقاله «قضیه معدوله و محصله» (مندرج در شماره 61 مقالات و بررسیها که به اختصار 61 می خوانیم) بر نقد آن با عنوان «مفاهیم غیر محصله و منطق ماهیات» (مندرج در مقالة شمارة 62 که به اختصار 62 می نامیم) است. پاسخ نویسنده بر نقد در شمارة 67 آمده است. یکی از روشهای به کار رفته در مقام پاسخ، بهره جستن از تبکیت بیرونی است. تبکیت بیرونی توسل به عوامل روانی برای...

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