Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

ANALYTIC TABLEAU, PROLOG, AND SYSTEMS OF NONLINEAR EQUATIONS.

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • نبذة مختصرة :
      The article discusses the aspects of a computer language PROLOG, a program that is used to solve a problem from abstract algebra/number theory in mathematical logic. Analytic tableaux provide an alternative to truth tables for many of the requirements of prepositional logic and may also be used in prepositional logic. It can also be used to determine when a statement is either true or false. Also presented is the solution to a nonlinear equation. The program solution of the PROLOG is also provided, which is written in a straightforward way to make it more readable.