Tag automated-theorem-proving - Questa è pagina 4 - GeneraCodice

Specifica formale; Formula logica

https://www.generacodice.com/it/articolo/1580388/specifica-formale-formula-logica
  c  -  formal-methods  -  satisfiability  -  first-order-logic  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

È possibile creare brevi prove di pieghe arbitrarie su un enorme elenco?

https://www.generacodice.com/it/articolo/1579323/e-possibile-creare-brevi-prove-di-pieghe-arbitrarie-su-un-enorme-elenco
  cryptography  -  proof-techniques  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

Perché i tipi codificati dalla chiesa non sono sufficienti per esprimere prove induttive?

https://www.generacodice.com/it/articolo/1579209/perche-i-tipi-codificati-dalla-chiesa-non-sono-sufficienti-per-esprimere-prove-induttive
  functional-programming  -  curry-howard  -  proof-techniques  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

In che modo "Isabelle" (The Theorem Prover) ha preso il nome?

https://www.generacodice.com/it/articolo/1567454/in-che-modo-isabelle-the-theorem-prover-ha-preso-il-nome
  history  -  isabelle  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

Derivazione di assiomi proposizionali implicativi

https://www.generacodice.com/it/articolo/1566007/derivazione-di-assiomi-proposizionali-implicativi
  automated-theorem-proving  -  propositional-logic
cs.stackexchange cs.stackexchange

Come posso controllare i vincoli sul comportamento della mia macchina a stato?

https://www.generacodice.com/it/articolo/1564927/come-posso-controllare-i-vincoli-sul-comportamento-della-mia-macchina-a-stato
  programming-languages  -  proof-techniques  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

Cosa succede ai predicati non interpretati nella riduzione di Ackermann?

https://www.generacodice.com/it/articolo/1563074/cosa-succede-ai-predicati-non-interpretati-nella-riduzione-di-ackermann
  satisfiability  -  automated-theorem-proving  -  boolean-algebra
cs.stackexchange cs.stackexchange

Perché il teorema automatizzato si dimostra impossibile?

https://www.generacodice.com/it/articolo/1544471/perche-il-teorema-automatizzato-si-dimostra-impossibile
  logic  -  turing-machines  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

Prove di teorema in CoQ

https://www.generacodice.com/it/articolo/1489783/prove-di-teorema-in-coq
  coq  -  proof-assistants  -  automated-theorem-proving  -  mathematical-programming
cs.stackexchange cs.stackexchange

Qual è la differenza tra “definizione” e “induttiva” in Coq?

https://www.generacodice.com/it/articolo/1122963/qual-e-la-differenza-tra-definizione-e-induttiva-in-coq
  coq  -  automated-theorem-proving
cs.stackexchange cs.stackexchange
Risultati trovati: 55
scroll top