Abstract
To go from calculus of scalar functions of one variable to multivariate calculus of vector-valued functions is a steep learning curve for many students. It takes a lot of practice to get used to the new concepts such as the directional derivatives, the di.erentiability, the many types of first order di.erential operators, parameterization of surfaces and the fundamental theorems of integrals, e.g. the Divergence Theorem and the Stokes Theorem. Along the learning process of mastering the skills, the students often need to check whether the intermediate steps in the tedious calculations are correct. Unfortunately, this is beyond the capability of an ordinary calculator and the answers provided at the end of the books. This is where computer algebra software, such as Mathematica, can come to students' help. With the developed symbolic computation tools, the students can tweak a given problem, solve a new one by hand and then check the answer against the result obtained by using the computer algebra software.
Recommendations
Applying Universal Algebra to Lambda Calculus*
The aim of this article is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (equational extensions of untyped λ-calculus) and the models of lambda calculus via universal algebra. ...
Algebra and Sequent Calculus for Epistemic Actions
We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii) ...
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus
Lambda abstraction algebras are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order logic; they are intended as an alternative to combinatory algebras in this regard. Like ...
Comments