نتایج جستجو

...''' (همچنین به آن '''نظریه صوری''' هم می گویند) مجموعه ای از احکام به زبان صوری است. اغلب دستگاه استنتاجی بر اساس بستر فهمیده می شود. یک عضو <math>\phi\in [[رده:نظریه‌های صوری]] ...

این قواعد را برحسب [[زبان صوری]] می توان به صورت زیر نوشت: ...فرامنطق|فرامنطقی]] است که معنای آن اینگونه است: «می‌توان آن را در یک اثبات صوری جایگزین کرد با» ...

== تعریف صوری == [[رده:نظریه‌های دوگان]] ...

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

* این جدول درستی برای اثبات بعضی از نظریه‌های ریاضی مفید است. (مثلاً تعریف یک زیرمجموعه).<ref name=":1">{{Cite journal|da عبارت «شرطی مادی» توسط [[برتراند راسل|راسل]] اختراع شد، او یک تمایز بین پیامد صوری (Formal) و مادی (Material) قائل بود. ...

== رابطه با نظریه‌های علمی == ...قضیه نمی‌تواند شامل آزمایش و سایر سندهای تجربی به همان صورت که برای اثبات نظریه‌های علمی به کار می‌رود، باشد.{{مدرک}} ...

[[رده:نظریه‌های صوری حساب]] ...

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

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

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

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

...> مدت کوتاهی پس از آن [[تد جیکوبسن]] و [[لی اسمولین]] متوجه شدند که معادله صوری نسبیت عام که به آن [[معادله ویلر–دویت|معادله ویلر-دویت]] گفته می‌شود، جواب‌ {{نظریه‌های گرانش}} ...

...دسنجی را به‌طور کلی می‌توان دادن محتوای تجربی به روابط اقتصادی برای آزمودن نظریه‌های اقتصادی، پیش‌بینی، [[تصمیم‌گیری]]، و ارزیابی پیشینی یک سیاستگذاری یا تصمیم [[رده:علوم صوری]] ...

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