ERIC Number: ED029785
Record Type: RIE
Publication Date: 1968-Nov
Reference Count: N/A
Possible Applications of Computer Oriented Problem Solving Methods to Mathematics Education.
Hunt, Earl B.; And Others
This report consists of five separate papers. The first is an extensive review of the "state of the art" in computer simulation and artificial intelligence. This review states that artificial intelligence and computer simulation have accomplished a great deal, with particular attention to findings relevant to psychology. The second paper is an informal discussion of three theorem-proving techniques which have been developed for execution by computers. A theorem-proving problem is introduced and ways in which it can be attacked are shown. The third paper presents information concerning the Fortran Deductive System. The fourth paper is a formal analysis of the Fortran Deductive System. The fifth paper reports the results of a study in which the Fortran Deductive System was used to prove problems taken from a school mathematics book. (RP)
Descriptors: Algebra, Computer Oriented Programs, Computers, Logic, Mathematics, Mathematics Education, Problem Solving
On loan from the ERIC Center for Science Education, 1460 West Lane Avenue, Columbus, Ohio 43221
Publication Type: N/A
Education Level: N/A
Sponsor: Office of Education (DHEW), Washington, DC. Bureau of Research.
Authoring Institution: Southwest Regional Educational Lab., Inglewood, CA.