نتایج جستجو

...]] صادق هست»، و یا اثبات کنیم که «یک فرمول مرتبه اول صادق نیست». تلاش برای اثبات آنکه یک فرمول مرتبه‌اول صادق نیست می‌تواند منجر به محاسبات بی‌پایان بشود؛ ا ...رابینسون]] از بین رفت. در این الگویتم، امکان نمونه‌برداری از فرمول در مدت اثبات «در موقع تقاضا» فراهم بود، این نمونه‌برداری فقط تا آنجا بود که [[تمامیت (من ...

قضیه تعریف بیان می‌کند که یک [[محمول]] (یا تابع یا ثابت) به‌طور ضمنی قابل تعریف ...اول برای [[علوم رایانه|دانشمندان کامپیوتر]]، ''منطق مرتبه اول و اثبات قضیه خودکار''، همین کار را انجام می‌دهد. ...

[[رده:اثبات قضیه خودکار]] ...

...امل SAT می‌باشد. این الگوریتم، امروزه، این الگوریتم، در زمینه [[اثبات قضیه خودکار]] برای قطعه‌هایی از [[منطق مرتبه اول]]، به روش الگوریتم [[:en:DPLL(T)|DPLL( ...در موارد متنوع و گسترده‌ای مثل «[[وارسی مدل]]»، «[[زمان‌بندی و برنامه‌ریزی خودکار]]» و «[[:en:Diagnosis_(artificial_intelligence)|تشخیص در هوش مصنوعی]]» کارب ...

...برنامه‌های رایانه ای]] محسوب کرد. تعداد بسیاری از [[اثبات قضیه خودکار|قضیه اثبات کننده]]<ref>{{Cite journal|last=Hsiang|first=Jieh|last2=Kirchner|first2=Hél ...‌کنند. به این ترتیب می‌توان سیستم‌های بازنویسی را به عنوان اثبات کننده‌های خودکار [[علیت]] در نظر گرفت.{{مدرک|date=December 2014}} ...

...د باشد. بسیاری از مسائل مهم، [[مسئله تصمیم‌ناپذیر|تصمیم‌ناپذیر]] اند، یعنی اثبات شده‌است که هیچ روش کارآمدی برای تعیین عضویت (بازگشت جواب درست بعد از بررسی ...اصول و یک دسته قواعد استنباط با معیارهای صوری شناسایی می‌شوند و بعد از آن قضیه‌ها می‌توانند بر اساس اصول و قواعد استنباط به دست بیایند.<ref>{{یادکرد خبر|ک ...

..._1 = \mathbb{N}</math>، اما ویژگی کلیدی دنباله‌های بیتی در ارتباط آن‌ها با قضیه ریلی نهفته است که به موجب آن دو دنباله بیتی مکمل یکدیگر می‌شوند و تمام اعدا == قضیه ریلی (Rayleigh theorem) == ...

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

...م زبان‌های طبیعی|درک زبان طبیعی]] ترکیبی، [[استدلال خودکار]]، [[اثبات قضیه خودکار]]، [[سیستم خبره]] [[منطق ریاضیاتی|منطق صوری]]) ...حل هر مسئله واقعی، اعم از [[نقشه برداری رباتیک|مسیریابی]] یا [[برنامه‌ریزی خودکار|برنامه‌ریزی]] یا حتی نوع [[استدلال]] انجام شده توسط [[سیستم خبره|سیستم‌های ...

...از حل‌کننده‌های SAT بولی پشتیبانی می‌شود، و قالب CVC که توسط اثبات‌گر قضیه خودکار CVC استفاده می‌شود. ...oint_Conference_on_Automated_Reasoning|همایش ترکیبی بین‌المللی روی استنتاج خودکار]] (IJCAR) وابسته بود.<ref>{{Cite web|title=SMT-COMP 2020|url=https://smt-co ...

...و تحلیل [[پروتکل رمزنگاری]] استفاده می‌شود. از همان‌سازی سطح بالاتر در کمک اثبات‌گر استفاده می‌شود، مثلاً در [[:en:Isabelle_(proof_assistant)|ایزابل]]، و [[ [[رده:اثبات قضیه خودکار]] ...

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

| name = قضیه آخر فرما ...''حساب'' دیوفانتوس که در آن یادداشت فرما قرار دارد، یادداشتی که به «آخرین قضیه» معروف شده‌است. (بعد از مرگ فرما، فرزندش آن را منتشر کرد) ...

...اشد، اولین بار توسط [[ریچارد اس. همیلتون]] معرفی شد که از آن، جهت اثبات یک قضیه کره سه بعدی بهره جست ({{harvnb|Hamilton|1982}}). همیلتون براساس پیشنهاد [[ش ...ات کامل حدس ثرستن تنها توسط تعداد بسیار معدودی از ریاضی‌دانان درک شده‌است. اثبات حدس پوانکاره، به دلیل میانبرهای استدلالی حاصل از کارهای پرلمان، توبیاس کولد ...

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

...29|issn=0956-7968|doi-access=free}}</ref> بر اساس زیپ‌ها و یک [[اثبات قضیه خودکار]] را پوشش می‌دهد. ...

...۱۹۳۴، آنجا به تحصیل پرداخت و ۱۹۳۵، به‌سبب مقاله‌اش دربارهٔ [[قضیه حد مرکزی|قضیهٔ حد مرکزی]]، عضو آنجا شد. ...یری'')»، ۲۸ می۱۹۳۶، تورینگ نتایج ۱۹۳۱ [[کورت گودل]] را دربارهٔ محدودیت‌های اثبات و محاسبات، دوباره فرمول‌بندی کرد و زبان ریاضی‌محور گودل را با چیزی که امروز ...

...[[آمار]] ، یک '''ماتریس کوواریانس''' (همچنین به عنوان '''ماتریس کوواریانس خودکار، ماتریس''' '''پراکندگی''' ، '''ماتریس واریانس''' ، یا '''ماتریس واریانس کوو ماتریس کوواریانس خودکار <math>\operatorname{K}_{\mathbf{X}\mathbf{X}}</math> مربوط به [[خودهمبستگی| ...

...ی با استفاده از [[نظریه اطلاعات]] و امنیت رو به جلو (forward secrecy) قابل اثبات است. ...مصرف]] است. امنیت این الگوریتم در صورت استفاده از یک کلید تصادفی امن قابل اثبات است.<ref>{{cite journal|last=Shannon|first=C. E.|year=1949|title=Communicat ...

...Press|place=New York}}</ref> آنالیز گیبس از فرایند برگشت‌ناپذیر و فرمول [[قضیه-H]] بولتزمن تأثیرات مهمی بودند که درابتدای قرن بیستم بر ریاضی فیزیک وارد شد گیبس از کاربرد [[قضیه پارتیشن اجزا]] در سیستم‌های بزرگ ذرات کلاسیک آگاه بود و نتوانست اندازگیری د ...