(heuristics)
sztuka dokonywania odkryc, stawiania hipotez i podejmowania dobrych wyborów bez formalnego dowodu; umiejetnosc przydatna takze w informatyce, np. w niektórych zagadnieniach dotyczacych algorytmów.
- HEURYSTYKA, (nauk.)
- HEURYSTYKA, (hist.)
- program dowodzenia twierdzen, (theorem prove r)