GLOBAL KNOWLEDGE ARK

Reference library

Foundations

Explore concepts, laws, equations and methods, with clear explanations of their use and sources. Choose an area of study or find a specific entry.

More filters

Reference entries

Showing 1651–1680 of 1709 reference entries

Mathematics & logicOrder of arithmetic operations

Grouping and equal-priority arithmetic evaluation.

MethodMathematics & logicScientific notation

A normalized decimal coefficient with an integer power of ten.

DefinitionMathematics & logicDirect and inverse proportion

Constant-ratio and constant-product relationships.

DefinitionMathematics & logicAngles, intersecting lines and parallel lines

Euclidean line-angle relationships.

Mathematical statementMathematics & logicAngle sums of polygons

Interior and exterior angle sums for convex polygons.

Mathematical statementMathematics & logicSine and cosine rules for triangles

Side-angle laws beyond right triangles.

Mathematical statementMathematics & logicPigeonhole principle

A finite assignment forces a shared output when inputs outnumber outputs.

Mathematical statementMathematics & logicTotal probability and event Bayes' theorem

Finite-partition probabilities and reversal of event conditioning.

Mathematical statementMathematics & logicLeast common multiple

The smallest positive common multiple of positive integers.

DefinitionMathematics & logicPolynomials and degree

Finite sums of nonnegative integer powers with fixed coefficients.

DefinitionMathematics & logicDecimal rounding and significant digits

Decimal places, retained significant digits and rounding ties.

MethodMathematics & logicCone and sphere volume and surface area

Euclidean cone and sphere mensuration.

Mathematical statementMathematics & logicCircle angles and tangents

Inscribed angles and radius-tangent perpendicularity.

Mathematical statementMathematics & logicStraight-line equations

Slope-intercept form of a nonvertical line.

Mathematical statementInformationProgram names, bindings and assignment

Names refer to values through an execution environment.

DefinitionInformationSequence, conditionals and loops

Selection and repetition determine which program statements execute.

DefinitionInformationFunction definitions, parameters and calls

A call connects arguments with local parameter bindings.

DefinitionInformationRecursive procedures and base cases

Self-calls reduce a problem toward a terminating case.

MethodInformationData types and checking

Types describe values and permitted operations; checks occur at different stages.

DefinitionInformationPrograms and processes

An operating system manages a program's execution as a process.

DefinitionInformationVirtual address spaces

A process's address view is distinct from physical memory placement.

DefinitionInformationFiles, directories and persistence

File contents, directory names and durable storage have distinct roles.

DefinitionMathematics & logicPolygon perimeter and parallel-base areas

Boundary length and enclosed area measure different properties of a plane shape.

MethodPhysics · ChemistryOpen, closed, isolated and adiabatic systems

A system boundary determines which transfers count as exchanges.

DefinitionPhysicsHypothesis, law and scientific theory

These terms name different scientific roles rather than steps in a promotion ladder.

DefinitionPhysicsConduction, convection and thermal radiation

Heat can be transferred by microscopic interactions, fluid motion or electromagnetic radiation.

DefinitionPhysicsConvective heat-transfer coefficient

The coefficient h represents a specified surface–fluid transfer situation.

ModelPhysicsLumped thermal relaxation and Biot criterion

An approximately uniform-temperature body can have an exponential thermal response.

ModelPhysicsNet radiation exchange and gray surfaces

Emission and absorption must both enter a net radiative heat balance.

ModelMeasurement · PhysicsSolid angle and steradian

A solid angle measures a cone of directions rather than a plane rotation.

Definition
MethodSource checked

Recursive procedures and base cases

Information

Self-calls reduce a problem toward a terminating case.

Key knowledge

A recursive procedure calls itself, directly or through other procedures. For a terminating recursive computation, calls must reach a base case; a common argument is that a nonnegative integer measure decreases strictly along each recursive call. The base result is then used as calls return.

Conditions and scope

  • Declare the allowed inputs, base cases and a well-founded decrease argument.
  • A self-call alone does not ensure termination; actual machines also have finite resources.
Sources · 2

References

Sources retain their recorded scope. A source link alone does not establish verification of every statement.

  1. Composing Programs, 1.7: Recursive functionsJohn DeNero / University of California, BerkeleyTextbook chaptercomposingprograms.comRead source
  2. Python Programming MOOC · RecursionErkki Kaila, Antti Laaksonen and Matti Luukkainen, University of HelsinkiTeaching resourceprogramming-26.mooc.fiRead source

Evidence and review

Self-calls reduce a problem toward a terminating case.

2026-10-10 · Independent Physics and Measurement reference editor (AI editorial bounded review). Exact bounded introductory reference claims and this practical concept inventory are approved after closure. Existing university/research proof and source scopes remain separate; no universal knowledge-completeness or experimental-validation assertion.

Foundational review

2026-10-10 · Independent AI editorial inspection of this new compact reference entry, its equations, applicability, sources and knowledge connections.

Sources from other places

Scope or convention differs

A base case and decreasing nonnegative integer factorial argument lead to termination in the mathematical model.

Python still has recursion limits; arbitrary indirect recursion requires a separate argument.

Related reference entries

Explore relationships within this area of study and its connections to other areas.

Showing 1–2 of 2 relationships

Scientific relationships · 2 / 2

The relationship type describes the connection. Its linked statements, sources and conditions define the scope.

  1. Uses definition
    Relationship sources · 1

    Linked statements

    • A recursive procedure calls itself, directly or through other procedures. For a terminating recursive computation, calls must reach a base case; a common argument is that a nonnegative integer measure decreases strictly along each recursive call. The base result is then used as calls return.

    Recursive computations reuse the function-call mechanism.

  2. Related to
    Relationship sources · 1

    Linked statements

    • A recursive procedure calls itself, directly or through other procedures. For a terminating recursive computation, calls must reach a base case; a common argument is that a nonnegative integer measure decreases strictly along each recursive call. The base result is then used as calls return.

    A decrease toward base cases supports inductive reasoning.

Entry detailsPermanent link to this entry ↗
Record identity
foundation-info-recursive-procedures
Revision
foundations-audit.1
Structured reference record
Foundational core completion