G. Polya. How to Solve It: A New Aspect of Mathematical Method. Princeton University Press, Princeton, New Jersey, USA, 1957. Second Edition.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....some degree of independence, judgment, originality, creativity. Therefore, the first and foremost duty . in teaching mathematics is to emphasize methodical work in problem solving. What Polya says for mathematics holds just as much for computing science. 105 In his book How to Solve It [21], Polya states four phases of problem solving. These steps are important for programming as well. 1. Understand the problem. 2. Devise a plan. 3. Carry out the plan, checking each step. 4. Reexamine and reconsider the solution. And, of course, reexamine the understanding of the problem, the ....

G. Polya. How to Solve It: A New Aspect of Mathematical Method. Princeton Unversity Press, second edition, 1957.

....intentional thinking. There exists a great deal of non academic trade press in the self help and pulp psychology sections of many modern Western bookstores. Many of these books advertise that they can improve the mental work in such fields as management, marketing, and mathematics (e.g. Polya [513]) or claim to be able to improve creativity and idea development in creative writing and design (e.g. McKim [404] Flower [225] see Allen [9, ch 1] for a small review) Although a few of these works are highly regarded, most of them are lean on scientific respectability and, for the most ....

....systems [324, 426] Instructions, problem solving methods. Instructions for performing tasks are frequently written in terms of procedures [657] Sometimes these are instructions for novices which are later internalized as they are learned. A classic example is Polya s popular book [513] of mathematics problem solving. Other external instruction structures include teacher lesson plans, and their computer analogues like structured documentation. These might be generated, for instance, to guide software immigrants when starting maintenance on a new system [132] Tours and lesson ....

Polya, G. How to Solve It: A New Aspect of Mathematical Method, 2nd ed. Doubleday, Garden City, NJ, 1957.

....as the characteristics of supporting tools. What follows is an enumeration of successful lightweight process elements, not a prescribed, linear, heavyweight process. This is a menu of choices that the savvy team, traveling light, can elect to make. Requirements The mathematician George Polya [11] identified a four step process for technical problem solving: understand the problem (requirements) devise a plan (design) carry out the plan (implementation) then look back (testing) Polya s first step, understanding the problem, is vital to the success of a lightweight process. ....

Polya, George. How to Solve It: A New Aspect of Mathematical Method. Princeton University Press (1957).

....is mastering the inherent complexity. While complexity cannot be avoided the best we can do is to learn how to cope with it. Two tools that students are taught to help slay the dragon of complexity are (1) abstraction, which helps to reduce it and (2) modularity, which helps to better manage it [2,8]. 2.1 Abstraction and Declarative Thinking Functional abstraction is a cornerstone strategy in good software design. To understand functional abstraction one needs to be comfortable in thinking about what a function does as opposed to how it does it. To master recursion is to master and acquire ....

Polya, G. How to solve it: A new aspect of mathematical method (2 nd ed). Princeton University Press, 1957.

....when just a small knowledge about the data exists, this criteria is used as a first approximation. Over this approximation, the correlated attribute hypothesis is applied. In a broad sense, what is desirable in this process is to provoke the mental operations that can lead to a problem solution ([16] and [15] Actually, since it seems that the discovery process, as a rule, requires the human judgment [9] it is useful to leave available to the analyst all relevant information to evaluate both hypothesis when searching for the classes structures. 3 Proposed Architecture The research on the ....

Polya, G. How to Solve It: A New Aspect of Mathematical Method. Princeton: Princeton University Press, 1972. 253pp.

....abduction as the context of discovery, that is, the method of scientific discovery. Hanson [Han58] advanced the claim that abduction constitutes a logic of discovery. For the methodology of mathematics, it is also an important problem to investigate the way of discovery of mathematics. Polya [Pol54a, Pol54b, Pol57] pointed out that there exist no infallible rules of discovery leading to the solution of all possible mathematical problems. Furthermore, he introduced the notion of heuristic reasoning or heuristic, which appears so baffling and elusive when approached from the viewpoint of purely demonstrative ....

....approached from the viewpoint of purely demonstrative logic. According to Polya, heuristic is reasoning not regarded as final and strict but as provisional and plausible only, whose purpose is to discover the solution of the present problem. We may need the provisional before we attain the final [Pol57]. He characterized such heuristic as the following heuristic syllogism: If A is true, then B is also true, as we know. Now, it turns out that B true. Therefore, A becomes more credible. Still shorter: If A then B B true A more credible Furthermore, Lakatos [Lak76] developed the above Polya s ....

Polya, G.: How to solve it: a new aspect of mathematical method (2nd edn.), Princeton University Press, 1957.

....of the mutation operator. It would be interesting to explore other kinds of operator designed to work in a similar 7 way to the recombination operator, i.e. providing standard heuristics for combining two or more concepts. There may be some ideas for such heuristics in work such as that of Polya [88] and De Bono [22] which attempts to unpack the heuristics used by humans in creative problem solving. This provides an interestingly contrasted view on what genetic algorithms are doing. Another interesting idea which can be drawn from a lot of studies of creativity (see e.g. 14] is that it is ....

G. Polya. How to Solve It: A New Aspect of Mathematical Method. Princeton University Press, 1945.

....problem solver configuration can be shown to be unsuitable for the task. We consider such an investigation to be a kind of plausibility test which should be carried out before running the actual problem solver. The idea was suggested as part of a general problem solving framework by Polya [19]. In his book How to Solve It , he proposed some general heuristics for tackling problems of a mathematical nature, including an initial inspection of the problem to understand the condition that must be satisfied by its solution. For example, is the condition sufficient to determine the ....

Polya, G., (1957), "How To Solve It: A New Aspect of Mathematical Method", Doubleday Anchor Books, New York.

....elegant proof. Furthermore, hardly any literature at all is devoted to the intuitive process of proving: How to find a proof for a given problem (as opposed to, of course, the growing computing science field of automated proofs, see e.g. Mac95] A notable exception is Polya s How to Solve It [Pol57] In this seminal work, the famous mathematician George Polya addresses the task of finding correct, elegant, and general solutions for mathematical problems. Inspired by this work, we have set ourselves a similar task trying to facilitate the process of formalizing methods and techniques in the ....

G. Polya. How to Solve It: A New Aspect of Mathematical Method. Princeton University Press, Princeton, New Jersey, 1957. Second Edition.

....genetics [Stefik, 1981a, 1981b] everyday activities remain an enigma. Even outside of AI, everyday activities themselves are poorly understood, especially when compared to the extensive work available on more specific and intuitively complex activities (e.g. mathematical problem solving [Polya, 1957], medical problem solving [Cutler, 1985] This dissertation addresses everyday activities through an examination of their characteristics, an examination of the inadequacies of previous approaches, and the design and implementation of an intelligent system specifically intended for engaging in ....

....of their mundane nature, but mainly because of their wide ranging applicability, little practical work is available on the nature of everyday activities and the reasoning behind them. While the principles of problem solving and the nature of such tasks have been relatively well defined (e.g. [Polya, 1957; Cutler, 1985] practical guidelines for everyday activity are rare. Because the domain is wide ranging and the activities mundane, it is easy to make general statements about how everyday activities should be conducted, but difficult to apply them practically. For example, wise and revered ....

[Article contains additional citation context not shown here]

Polya, George, How to Solve it: a New Aspect of Mathematical Method (Princeton, NJ: Princeton University Press), 1957. 253 pp.

....knowledge representation, and implementation of this system, and gives an example of user interaction. 1. Introduction Problem solving has been an object of study for centuries. Most contemporary authors on problem solving (Bransford and Stein, 1984; Hayes, 1981; Kahney, 1986; Mayer, 1977; Polya, 1973) have arrived at models of the problem solving process that mirror each other in obvious ways. In brief, the modern conception of problem solving can be broken into five essential steps: Identifying a problem; Specifying the problem; Analyzing the problem, Counteracting the problem, and Reviewing ....

Polya, G. (1973). How to Solve It: A New Aspect of Mathematical Method. Princeton: Princeton University Press.

....For the combination of programs, a loop pair determines whether the process of rule finding abduction is infinite. On the other hand, the loop elimination is a transformation of a program. By using loop elimination, we can delete all the infinite processes of rule finding abduction. Analogy [Pol54a, Pol54b, Pol57], which is also a kind of methodology to solve a problem, is an inference based on similarity between objects. Haraguchi and Arikawa [Har85, HaA86, HiA94b] have formulated such analogy mathematically, and have pointed out that it is an important tool for machine learning. It acquires unknown ....

Polya, G.: How to solve it: a new aspect of mathematical method (2nd edn.), Princeton University Press, 1957.

....some degree of independence, judgment, originality, creativity. Therefore, the first and foremost duty . in teaching mathematics is to emphasize methodical work in problem solving . What Polya says for mathematics holds just as much for computing science. In his book How to Solve It [21], Polya states four phases of problem solving. These steps are important for programming as well. 1. Understand the problem. 2. Devise a plan. 3. Carry out the plan, checking each step. 4. Reexamine and reconsider the solution. And, of course, reexamine the understanding of the problem, the plan, ....

G. Polya. How to Solve It: A New Aspect of Mathematical Method. Princeton Unversity Press, second edition, 1957.

....the major areas of computer science. The textbook was weak in the problem solving area and contained no material on social and ethical issues or high level software tools such as Maple V. For the problem solving I made extensive use of material from general and mathematical problem solving books [1, 3, 5, 6, 8]. These books contain a wealth of examples and problems. Next time I teach the class I will use Schneider and Gersting [ 7 ] This text covers basic hardware and software, history, and social and ethical issues. It also contains material on the major areas in computer science. However, it is weak ....

G. Polya, How to Solve It: A New Aspect of Mathematical Method. Princeton University Press, Princeton, NJ, 1973.

....examined the timecourse of reasoning with ERs. We sought to identify the major events at each of four stages of problem solving with ERs including how subjects resolved impasses and the role of prior knowledge about ER formalisms. The stages of reasoning with ERs parallel the four phase plan of Polya (1957) understanding the problem, devising a plan, carrying out the plan and examining the solution (reflection) In the case of solving analytical reasoning problems with ERs, these phases correspond to: problem comprehension, ER selection, ER construction and ER use. A computer based system ....

Polya, G. [1957] How to solve it: A new aspect of mathematical method , Princeton, NJ: Princeton University Press.

....categorization, and transferal by analogy are generally acknowledged to be techniques utilized by the mind to retrieve the information necessary to facilitate understanding and to solve problems. Another identified technique is that of the heuristic search, first suggested by Polya in 1945 [Pol45], which can be described as suggestions to facilitate more extensive search for useful possibilities and evidence. to encourage active open mindedness. Bar88 p. 64] Heuristics serve to jog our memories, recalling information that otherwise would have remained in secondary storage . An ....

Polya, G., How To Solve It: A New Aspect of Mathematical Method, Princeton Univ Press, Princeton, NJ, 1945.

....86) Organisation, categorisation, and transferal by analogy are generally acknowledged to be techniques utilised by the mind to retrieve the information necessary to facilitate understanding and to solve problems. Another identified technique is that of the heuristic search, first suggested by Polya in 1945 (Polya 1945) which can be described as suggestions to facilitate more extensive search for useful possibilities and evidence. to encourage active open mindedness. Baron 1988 p. 64) Heuristics serve to jog our memories, recalling information that otherwise would have remained in secondary ....

....categorisation, and transferal by analogy are generally acknowledged to be techniques utilised by the mind to retrieve the information necessary to facilitate understanding and to solve problems. Another identified technique is that of the heuristic search, first suggested by Polya in 1945 (Polya 1945), which can be described as suggestions to facilitate more extensive search for useful possibilities and evidence. to encourage active open mindedness. Baron 1988 p. 64) Heuristics serve to jog our memories, recalling information that otherwise would have remained in secondary storage . An ....

Polya, G., How To Solve It: A New Aspect of Mathematical Method, Princeton University Press, Princeton, N.J., 1945.

....proof is at the heart of mathematics, relatively few attention is given to the notion of a correct and elegant proof. Furthermore, hardly any literature at all is devoted to the intuitive process of proving: How to find a proof for a given problem A notable exception is Polya s How to Solve It [Pol57] In this seminal work, the famous mathematician George Polya addresses the task of finding correct, elegant, and general solutions for mathematical problems. Inspired by this work, we have set ourselves a similar task trying to facilitate the process of formalizing methods and techniques in the ....

G. Polya. How to Solve It: A New Aspect of Mathematical Method. Princeton University Press, Princeton, New Jersey, 1957. Second Edition.

No context found.

G. Polya. How to Solve It: A New Aspect of Mathematical Method. Princeton University Press, Princeton, New Jersey, USA, 1957. Second Edition.

No context found.

G. Polya, How to Solve It---A New Aspect of the Mathematical Method, Princeton: Princeton University Press (1988). 223 Redmond: Microsoft Press (1987).

No context found.

G. Polya, How to Solve It: A New Aspect of the Mathematical Method, Princeton University Press, Princeton, New Jersey, 1988.

No context found.

Polya, G. How to Solve It: A New Aspect of Mathematical Method, 2nd Ed. Princeton U. Press, Princeton, NJ, 1957.

No context found.

George Polya, How To Solve It: A New Aspect of Mathematical Method, Second Edition, Princeton University Press, Princeton, NJ, 1973.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC