علامة proof-techniques - هذه الصفحة 6 - GeneraCodice

الأمثل للخوارزمية الجشع

https://www.generacodice.com/ar/articolo/2447790/الأمثل-للخوارزمية-الجشع
  greedy-algorithms  -  proof-techniques  -  correctness-proof
cs.stackexchange cs.stackexchange

ما يذهب إلى إثبات اثنين من برامج معقدة تعادل?

https://www.generacodice.com/ar/articolo/2445902/ما-يذهب-إلى-إثبات-اثنين-من-برامج-معقدة-تعادل
  model-checking  -  reference-request  -  proof-techniques  -  research
cs.stackexchange cs.stackexchange

إذا كان الرسم البياني G (V، E) متصل $ | E | \ GEQ | V | -1 $

https://www.generacodice.com/ar/articolo/2445466/إذا-كان-الرسم-البياني-g-v-e-متصل-e-geq-v-1
  proof-techniques  -  graphs  -  connected
cs.stackexchange cs.stackexchange

كيفية إثبات خصائص التكافؤ الحسابي المعياري المحدد

https://www.generacodice.com/ar/articolo/2444885/كيفية-إثبات-خصائص-التكافؤ-الحسابي-المعياري-المحدد
  proof-techniques  -  modular-arithmetic
cs.stackexchange cs.stackexchange

استخلاص التعريف العودي من مواصفات الوظيفة

https://www.generacodice.com/ar/articolo/2444685/استخلاص-التعريف-العودي-من-مواصفات-الوظيفة
  recursion  -  induction  -  proof-techniques  -  calculus-of-constructions
cs.stackexchange cs.stackexchange

بحاجة إلى توضيح فيما يتعلق بشهادات مشاكل coNP

https://www.generacodice.com/ar/articolo/2443122/بحاجة-إلى-توضيح-فيما-يتعلق-بشهادات-مشاكل-conp
  proof-techniques  -  co-np
cs.stackexchange cs.stackexchange

Prove that the following language is not regular: $\{0^i1^j : i \neq j\}$ [duplicate]

https://www.generacodice.com/ar/articolo/1621525/prove-that-the-following-language-is-not-regular-0-i1-j-i-neq-j-duplicate
  finite-automata  -  formal-languages  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Is {a^n: n is a product of exactly two primes} regular?

https://www.generacodice.com/ar/articolo/1621003/is-a-n-n-is-a-product-of-exactly-two-primes-regular
  formal-languages  -  pumping-lemma  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Codeword constructed by Huffman's algorithm has average length of at most log n

https://www.generacodice.com/ar/articolo/1620874/codeword-constructed-by-huffman-s-algorithm-has-average-length-of-at-most-log-n
  information-theory  -  algorithms  -  proof-techniques  -  huffman-coding
cs.stackexchange cs.stackexchange

Proving with co-induction principles

https://www.generacodice.com/ar/articolo/1620578/proving-with-co-induction-principles
  formal-methods  -  coq  -  proof-techniques  -  coinduction
cs.stackexchange cs.stackexchange
العثور على نتائج: 577
scroll top