نتایج جستجو

در [[حساب گزاره‌ای]] و [[جبر بولی]]، '''قوانین دمورگان''' {{انگلیسی|De Morgan's Laws} این قواعد را برحسب [[زبان صوری]] می توان به صورت زیر نوشت: ...

== تعریف صوری == زبان مقدماتی نظریه رسته‌ها را به عنوان یک[[حساب محمولات| زبان مرتبه اول]] دو-رسته‌ای (به انگلیسی: two sorted) تعریف می‌کنیم ...

...آوردن جواب صحیح برای آن موجود باشد. [[سامانه صوری|سامانه‌های منطقی]] مثل [[حساب گزاره‌ای|منطق گزاره‌ای]] موقعی تصمیم‌پذیر هستند که عضویت در مجموعه فرمول (ی ...از مسائل مهم [[مسایل تصمیم ناپذیر|تصمیم‌ناپذیر]]‌اند. هر نظریه یا [[سیستم صوری|سیستم منطقی]] تصمیم‌پذیر را می‌توان به صورت یک راه مؤثر یا یک تابع محاسبه‌ک ...

اگر چه آن‌ها می‌توانند به‌صورت کاملاً نمادین نوشته شوند، برای مثال در [[حساب گزاره‌ای]] قضایا اغلب در زبان طبیعی مانند انگلیسی بیان می‌شوند. همان اثبات == حساب رسمی قضایا == ...

...چرا که اصل موضوعه ۱، عدد ۰ را به خواص بیشتری تجهیز نمی‌کند. اگرچه چون ۰ در حساب، [[عنصر همانی|همانی جمعی]] است، اغلب فرمول بندی‌های مدرن از اصول پئانو از ۰ [[رده:نظریه‌های صوری حساب]] ...

...را می‌توان نوعی [[مسئله ارضای محدودیت]] در نظر گرفت، و از این رو یک دیدگاه صوری‌شده معین به [[برنامه‌نویسی محدودیت]] است. ...ریه‌هایی دیگری هم ممکن است موجود باشد: مثل «منطق تفاوتی» که یک زیرنظریه از حساب خطی است که در آن هر نابرابری باید محدودیت فرمی <math>x - y > c</math> را بر ...

...endon Press. p. 25.</ref> با توجه به اصل انفجار، وجود تناقض در یک [[دستگاه صوری]]، فاجعه‌آمیز است. از آنجایی که هر گزاره‌ای قابل اثبات است، مفاهیم صدق و کذ در راه‌حلی متفاوت برای این مسائل، تعدادی از ریاضی‌دانان نظریه‌های جایگزین [[منطق ریاضی]] به نام [[منطق فراسازگار|منطق‌های فراسازگار]] را ابدا ...

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

...ی]] بوده، و برای هر شیء یک پیکان همانی وجود دارد. زبان نظریهٔ رسته‌ها برای صوری‌سازی مفاهیمی در سطح تجرید بالا چون [[مجموعه (ریاضیات)|مجموعه‌ها]]، [[حلقه ( ...را نمایش می‌دهند. بسیاری از زمینه‌های ریاضیات را می‌توان با نظریهٔ رسته‌ها صوری‌سازی کرده و به صورت یک رسته درآورد. ازین رو نظریهٔ رسته‌ها در این شاخه‌ها ا ...

نظریه‌های جایگزینی برای نسبیت عام بر پایه پندارهای یکسان شکل گرفته‌اند. این نظریه‌ها ...‌های برهنه]] بود. جواب‌های تقریبی را همچنین می‌توان از طریق [[نظریه اختلال|نظریه‌های اختلال]] یافت، مانند [[گرانش خطی‌شده]]<ref>مثلاً {{Harvnb|Wald|۱۹۸۴|loc=sec ...