Tag proof-techniques - Questa è pagina 58 - GeneraCodice

prova di confluenza per un semplice sistema di riscrittura

https://www.generacodice.com/it/articolo/1093473/prova-di-confluenza-per-un-semplice-sistema-di-riscrittura
  logic  -  semantics  -  proof-techniques  -  term-rewriting
cs.stackexchange cs.stackexchange

Come a dimostrare che una lingua non è regolare?

https://www.generacodice.com/it/articolo/1093375/come-a-dimostrare-che-una-lingua-non-e-regolare
  formal-languages  -  reference-question  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Mostrando che un problema in X non è X-Complete

https://www.generacodice.com/it/articolo/1093292/mostrando-che-un-problema-in-x-non-e-x-complete
  complexity-theory  -  proof-techniques
cs.stackexchange cs.stackexchange

Dimostrando un albero binario ha al massimo $ \ lceil n / 2 \ rceil $ foglie

https://www.generacodice.com/it/articolo/1092776/dimostrando-un-albero-binario-ha-al-massimo-lceil-n-2-rceil-foglie
  data-structures  -  graph-theory  -  combinatorics  -  binary-trees  -  proof-techniques
cs.stackexchange cs.stackexchange

Che cosa è coinduzione?

https://www.generacodice.com/it/articolo/1092143/che-cosa-e-coinduzione
  logic  -  terminology  -  formal-methods  -  proof-techniques  -  coinduction
cs.stackexchange cs.stackexchange

Come a dimostrare che una lingua non è context-free?

https://www.generacodice.com/it/articolo/1091521/come-a-dimostrare-che-una-lingua-non-e-context-free
  formal-languages  -  reference-question  -  context-free  -  proof-techniques
cs.stackexchange cs.stackexchange
Risultati trovati: 577
scroll top