Revision #797 → #1242 · back to history
addedFunction (informal)5cc9794bf3d1
addedGraph of a function152466608f49
addedFunction, domain and codomain3dc1ce387a2f
addedImage of a function (range)dcfac4e461b5
addedPartial function (informal)4c62415ea10c
addedFunction on a set S117a0e7734df
addedBinary relatione5470a8b1c57
addedFunction as functional relation (set-theoretic)d8e47801610a
addedFunctional relationa151f1499bb9
addedPartial function (formal)3377bfb38636
addedDomain of definition; total function11c9d82b58e2
addedReal function (real-valued function of a real variable)f85c08d24273
addedFunction of a complex variablecc17682d0bb5
addedGeneral recursive functione4f5bde0fd03
addedUndecidability of recursive-function membership (Halting problem)21d5cc3509bd
addedMultivariate function6382ca7404f9
addedFunction of n variables307d6183d112
addedMultiplication of integers as bivariate function98914ee1e68a
addedCartesian product of n setsbfd8c5ca88c1
addedFunctional notationd3f9a3a2fba1
addedArrow notationdac99090cac5
addedIndex notation; sequence2eb6fcbe541d
addedPlaceholder notation11e8dc6313c7
addedFunction of two variables: sum of squares7b3044ee207b
addedMap / mapping3ac3e6568076
addedFunction defined by listing values on a finite set37c684784aa0
addedQuadratic function41855fac1b66
addedPolynomial function8fd5045f5a78
addedRational functiona5e780b05daf
addedAlgebraic function947d088f7617
addedElementary function3e72ed996d26
addedBijective function and inverse function10fb6ab624a1
addedImplicit function (from a relation)af2196a7fe0f
addedImplicit functions defined by the unit circle4443d6bcaa51
addedBring radical as an implicit function5bac1ae69799
addedImplicit function theoremc725fd684d05
addedFunction defined as an antiderivative38fde9aadf2e
addedExponential function as solution of a differential equation1ff8034f78de
addedFunction defined by a power seriesf0d39e689bc6
addedDefinition by recurrence1dcb9ea4027a
addedFactorial function by recurrence22a44bdbdea3
addedGraph of a function (formal)73bc2ec039f0
addedGraph of the square function: parabola / Fermat's spiral9f0540adad07
addedFunction represented by a table of values8b6977dc0ffc
addedBar chart representation of a functionbb5090d9660f
addedEmpty functiona33480fa3b47
addedCanonical surjection onto imagefb347c417b2a
addedInclusion map6c459bd3ccb9
addedIdentity function55338538398a
addedFunction composition48b7c41a4f6a
addedNon-commutativity of composition44979050fbe8
addedAssociativity of function composition81b09bb758f1
addedIdentity functions are left/right identities7f525dcf955d
addedImage of a subset under a functionf6cef2faac07
addedPreimage of an element4d60b77ab1dd
addedPreimage of a subset3b1e0da1e7d2
addedFiber of a point46e51dd712df
addedInjective function433553702c70
addedInjective iff has a left inversefc5005e13503
addedSurjective function27d4703b6487
addedSurjective iff has a right inverse (uses choice)748566b8eb84
addedBijective function70af2dcceac9
addedBijective iff admits an inverse function44255e872fc5
addedCanonical factorization of a function930ea2a5483c
addedRestriction of a function53dd25e7aa87
addedExtension of a functiondc48f9e59413
addedHomography of the real line2e1f0dc59b61
addedReal function (calculus section)382e39de73b8
addedPointwise operations on real functions1be3a1c2437f
addedPolynomial / rational real functions5432a3a06674
addedAntiderivative; the natural logarithm80528a4892c8
addedMonotonic real function485a3bd097e9
addedMonotonic function has an inverse8b32795c3313
addedVector-valued functioneb8e152a6fb9
addedVector field982753f31c75
addedFunction spaceb5e4b569b431
addedSquare root as a multi-valued functiond5d3b010feea
addedMulti-valued function; branch cut; principal value; monodromyb4c07a6553bf
addedReplacement axiom (NBG set theory)adc197b4c94b
addedGeneral recursive functions (operators)a3da8e2e35d7
addedEquivalence of models of computation; Church–Turing thesis1a6110c6ac64
addedLambda calculus4d7cfad9b231