„Elsőrendű logika” változatai közötti eltérés

* A bizonyításelméletből nőtt ki mára önálló tudományággá a „számításelméleti” vagy „számítógépes logika”, melynek fő területe az automatikus tételbizonyítás kutatása. Legfontosabb elmélete a rezolúciós kalkulus. Ezenkívül foglalkozik a logika számításelméleti vonatkozásaival is (kielégíthetőségi problémák [SAT] és megoldhatóságuk kutatása és jellemzése).

 

{{Fő|Elsőrendű nyelv}}

 

 

-->

 

{{csonk-dátum|csonk-mat|2005 júniusából}}