Abstract
The concept of a function is arguably one of the most fundamental in computer science. It is frequently also one of the most problematic. In particular, students often have difficulty inferring, in a mathematically well-supported manner, equality of functions from equality of function values. That is, the transitions they make from demonstrations of equality of values of functions to demonstrations of equality of those functions themselves are often not well reasoned. In this complementary paper to [GK97] we describe one line of reasoning which we have found helps elucidate the mathematical principles according to which such inferences can correctly be made.
- {GK97} Gates, A. Q. and Kreinovich, V. Why is a Function Defined as a Set of Ordered Pairs? SIGCSE Bulletin 29, 4(1997), p. 57. Google Scholar
Digital Library
Index Terms
A funny thing happened on the way to the formula: demonstrating equality of functions and programs
Recommendations
A funny thing happened on the way to the formula: demonstrating equality of functions and programs
ITiCSE-WGR '99: Working group reports from ITiCSE on Innovation and technology in computer science educationThe concept of a function is arguably one of the most fundamental in computer science. It is frequently also one of the most problematic. In particular, students often have difficulty inferring, in a mathematically well-supported manner, equality of ...
Efficient Speed-Up of Radial Basis Functions Approximation and Interpolation Formula Evaluation
Computational Science and Its Applications – ICCSA 2020AbstractThis paper presents a method for efficient Radial basis function (RBF) evaluation if compactly supported radial basis functions (CSRBF) are used. Application of CSRBF leads to sparse matrices, due to limited influence of radial basis functions in ...
The Complexity of the Warranted Formula Problem in Propositional Argumentation
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive defeat: an argument is warranted if each of its counter-arguments is itself ...






Comments