Item request has been placed!
×
Item request cannot be made.
×
![loading](/sites/all/modules/hf_eds/images/loading.gif)
Processing Request
ANALYTIC TABLEAU, PROLOG, AND SYSTEMS OF NONLINEAR EQUATIONS.
Item request has been placed!
×
Item request cannot be made.
×
![loading](/sites/all/modules/hf_eds/images/loading.gif)
Processing Request
- المؤلفون: Maruszewski, Richard F.
- المصدر:
Mathematics & Computer Education; Winter2000, Vol. 34 Issue 1, p53-58, 6p
- الموضوع:
- معلومة اضافية
- نبذة مختصرة :
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.
No Comments.