Domande taggate «automated-theorem-proving»

1
Che tipo di problemi matematici possono essere risolti dai dimostratori di teoremi automatizzati?
Posso provare le seguenti affermazioni usando i tester teorema automatizzato disponibili? ( a + b )2= a2+ b2+ 2 a b(a+b)2=a2+b2+2ab(a+b)^2=a^2+b^2+2ab . Se , quindi .11∣2a−3b11∣2a−3b 11 \mid 2a-3b11∣7a−5b11∣7a−5b 11 \mid 7a-5b Se , allora .ax2+bx+c=0ax2+bx+c=0 ax^2+bx+c=0x = - b ±b2- 4 a c√2 ax=−B±B2-4un'c2un'x=\frac{-b\pm\sqrt{b^2-4ac} }{2a} Se è pari, è …
1
Variabili distinte per diverse clausole
Nella dimostrazione del teorema della risoluzione, si presume che le variabili nelle diverse clausole siano distinte. Questo non è qualcosa che accade automaticamente; richiede un codice e un calcolo extra significativi da implementare. Detto questo, sto cercando un test case per questo. Il problema è che, in tutti i casi …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.