نتایج جستجو

...، اکثر برهان‌ها در ریاضیات نوشتاری، می‌توانند به عنوان کاربردی از منطق غیر صوری به‌شمار آیند. ...[[نظریه برهان|نظریهٔ برهان]] بررسی شده‌اند. تمایز بین اثبات‌های صوری و غیر صوری ...

'''نظریهٔ اغتشاش''' شامل روش‌های [[ریاضیات|ریاضی]] است که برای یافتن پاسخ تقریبی برای مسئله‌ای که پاسخ دقیق نظریهٔ اغتشاش به عبارتی به صورت یک [[سری توانی صوری]] از یک پارامتر کوچک - که با نام «سری اغتشاش» شناخته می‌شود - برای پاسخ مور ...

[[رده:روش‌های صوری]] ...

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

[[رده:روش‌های صوری]] ...

== صوری‌سازی == مقالهٔ اصلی: [[صوری‌سازی]] ...

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

[[رده:روش‌های صوری]] [[رده:زبان‌های صوری]] ...

=== ارتباط با روش‌های دیگر === {{زبان‌ها و دستور زبان‌های صوری}} ...

* اورت دبلیو بث، ''[[روش‌های صوری|روش‌های رسمی]]: مقدمه‌ای بر منطق نمادین و مطالعه عملیات مؤثر در حساب و منطق''. D. R ...

...]، '''مفهوم راه حل''' {{انگلیسی|Solution concept}}، یک قانون [[زبان صوری | صوری]] برای پیش‌بینی نحوه‌ای است که یک بازی انجام می‌شود. این پیش‌بینی‌ها راه حل == تعریف صوری == ...

در این دو زمینه، ابزارها و روش‌های آماری برای بررسی رفتارهای [[مقیاس میکروسکوپیک|ریزبینیک]] یا میکروسکوپی به ک [[رده:زبان‌های صوری]] ...

...ن‌ها» تلقی شود. در واقع این شهود می‌تواند به جهت تعریف رسته‌های تابعگون‌ها صوری بندی شود. تبدیلات طبیعی، پس از رسته‌ها و تابعگون‌ها، یکی از اساسی‌ترین مفاه ...ٔ سخن مک لین، نظریهٔ اصل موضوعه‌ای [[همولوژی]]‌ها بود. می‌توان نشان داد که روش‌های مختلف ساخت همولوژی، برهم منطبق اند: به عنوان مثال در مورد یک [[مجتمع سادکی] ...

...شرایطی که می‌تواند به‌طور جدا از معنای خود در نظر گرفته شود. این فرمولبندی صوری توسط قوانین ریاضی و منطق دستکاری، و نتیجه‌های حاصله، تفسیر یا دوباره به دام روش‌های دیگری نیز برای کمی‌کردن میزان عدم قطعیت، مانند نظریه [[Dempster-Shafer theo ...

...سته]] بر روی [[بازه]]‌های کراندار بسته، مساحت زیر نمودار را می‌توان با کمک روش‌های تقریب زدن با چند ضلعی‌ها حساب کرد. با این حال همچنان که توجهات بیشتری به سم === به سوی یک تعریف صوری === ...

...ق، فرمول گزاره ایی، گزاره نیست بلکه عبارت صوری است که بصورت یک گزاره یک شی صوری مورد بحث دلالت می‌کند، مانند جمله ایی شبیه این؛ زیرا “x+y” یک مقدار نیست، ب ...اقل یکی از … وجود دارد، و…). حساب محمول، نه حساب گزاره ای، می‌تواند اعتبار صوری عبارت زیر را ایجاد کند: ...

...یادین ارسال و [[پردازش اطلاعات]] است، و کمتر به چگونگی عملکرد و پیاده‌سازی روش‌های انتقال و پردازش اطلاعات می‌پردازد. پیدایش این نظریه در پی کارهای [[کلاود شا {{روش‌های فشرده‌سازی}} ...

...|ریزحالت‌ها]] را تعیین می‌کنند و برای همین فرمول گیبز برای آنتروپی به صورت صوری دقیقاً مانند فرمول شانون است. آنتروپی در سایر بخش‌های ریاضی همچون [[ترکیبیا آنتروپی را می‌توان به صورت صوری در زبان [[اندازه (ریاضیات)|نظریهٔ اندازه]] به صورت روبه‌رو تعریف کرد:<ref>{ ...

...نیز دارند. این ویژگی در پروژه‌های مرتبط به [[روش‌های صوری]] و [[درستی‌یابی صوری]] مفید واقع می‌شود و امکان تحلیل منطقی مفهوم هماهنگی در [[مهندسی نرم‌افزار ...

...‌تر می‌شود. از سوی دیگر استفاده از این رویکرد برای دستیابی به [[درستی‌یابی صوری]] نرم‌افزار مناسب‌تر است. <ref name="hudak1989">{{Cite journal|last=Hudak|f ...د و از [[جبر لامبدا|حساب لامبدا]] تکامل پیدا کرده است. حساب لاندا یک سیستم صوری محاسبات است که صرفاً مبتنی بر توابع می‌باشد. برنامه‌نویسی تابعی به شکل تاری ...