Bruno Buchberger
Abstract
In this note we formulate a didactic principle that can govern the use of symbolic computation software systems in math courses. The principle states that, in the treatment of each subarea of mathematics, one must distinguish between a "white-box" and a "black box" phase. In the "white box" phase, algorithms must be studied thoroughly, i.e. the underlying theory must be treated completely and algorithmic examples must be studied in all details. In the black box phase, problem instances from the area can be solved by using symbolic computation software systems. This principle can be applied recursively.
Index Terms
- Should Students Learn Integration Rules?
Recommendations
Improving efficiency of merging symbolic rules into integrated rules: splitting methods and mergability criteria
Neurules are a type of neuro-symbolic rules integrating neurocomputing and production rules. Each neurule is represented as an adaline unit. Neurules exhibit characteristics such as modularity, naturalness and ability to perform interactive and ...
Dynamic Refinement of Classification Rules
ICTAI '02: Proceedings of the 14th IEEE International Conference on Tools with Artificial IntelligenceGiven a set of training examples in the form of (input, output) pairs, induction generates a set of rules that when applied to an input example, can come up with a target output or class for that example. At deduction time, these rules can be applied to ...
Comparing Decision Rules for Siting Interconnected Wind Farms
HICSS '11: Proceedings of the 2011 44th Hawaii International Conference on System SciencesThe variability and non-dispatchability of wind power creates many challenges for the operators of electric transmission systems. Current U.S. wind energy policies are focused on encouraging quantities of wind power without much attention paid to ...
Comments