Human Problem SolvingPrentice-Hall, 1972 - 920 pages The aim of this book is to advance our understanding of how humans think. It seeks to do so by putting forth a theory of human problem solving, along with a body of empirical evidence that permits assessment of the theory. |
À l'intérieur du livre
Résultats 1-3 sur 24
Page 3
... PROOF 23.SECOND PROOF 28.THIRD PROOF 34.FOURTH PROOF 36.FIFTH PROOF 41.SIXTH PROOF 53.SEVENTH PROOF 58.EIGHTH PROOF 63.NINTH PROOF 68.TENTH PROOF 71.ELEVENTH PROOF 74.TWELFTH PROOF 78.THIRTEENTH PROOF 81.FOURTEENTH PROOF 85.FIFTEENTH PROOF ...
... PROOF 23.SECOND PROOF 28.THIRD PROOF 34.FOURTH PROOF 36.FIFTH PROOF 41.SIXTH PROOF 53.SEVENTH PROOF 58.EIGHTH PROOF 63.NINTH PROOF 68.TENTH PROOF 71.ELEVENTH PROOF 74.TWELFTH PROOF 78.THIRTEENTH PROOF 81.FOURTEENTH PROOF 85.FIFTEENTH PROOF ...
Page 2
... proofs in P but polynomially long proofs in Q we say that P is exponentially weaker than Q. The main open problem in propositional proof complexity is about the length of proofs and, in particular, it concerns proving (or more likely ...
... proofs in P but polynomially long proofs in Q we say that P is exponentially weaker than Q. The main open problem in propositional proof complexity is about the length of proofs and, in particular, it concerns proving (or more likely ...
Page 6
... proof in mathematics, about the role of proof in school mathematics, about difficulties in proving, about how proof should be taught in school, and about the self as mathematical thinker in the context of proof. The authors conclude by ...
... proof in mathematics, about the role of proof in school mathematics, about difficulties in proving, about how proof should be taught in school, and about the self as mathematical thinker in the context of proof. The authors conclude by ...
Table des matières
CONTENTS | 1 |
INFORMATION | 19 |
ENVIRONMENTS | 53 |
Droits d'auteur | |
6 autres sections non affichées
Autres éditions - Tout afficher
Expressions et termes fréquents
analysis apply R7 ARITHMETIC artificial intelligence assignment base-move basic behavior Bishop British Museum Algorithm Broader View carry Chapter chess programs column considered CRYPT cryptarithmetic defined depth-first search described digit eliminate equivalence class evaluation evoked example exploration expression Figure function game tree give going grandmasters hence heuristics horseshoe human problem solving inference initial input Knight knowledge letter logic Logic Theorist looking means-ends analysis memory method move Newell node obtained occur operators P V Q path pawn player position possible problem D1 production system proof protocol PV Q representation rule selection sequence solution solver specific stop and report strategy subproblems symbol structures Task Analysis task environment theorems theory tic-tac-toe tilde tion transform tree variable wedge writes Yeah