previous up next
Go backward to C Logic Evaluator Definitions
Go up to Top
Go forward to Footnotes
RISC-Linz logo

Index

  • Absolute Value
  • absolute value
  • abstraction
  • Ackerman's function
  • Additional Knowledge
  • adjacency matrix
  • Adjacency Matrix
  • adjazent
  • ancestor
  • antisymmetric
  • Antisymmetric
  • antisymmetry
  • arcs
  • arguments
  • arithmetic sequence
  • arithmetic series
  • arity
  • assignment
  • Associativity of Function Composition
  • Asymptotic Classes
  • Asymptotic of Polynomial Sequences
  • asymptotically dominates
  • atomic formula
  • Atomic Formula
  • attributes
  • axioms
  • Backus Naur Form
  • base formula
  • base term
  • Big O Quantor
  • bijective
  • binary
  • binomial coefficient
  • Binomial Coefficient
  • Binomial Identities
  • blocks
  • BNF
  • Boolean value
  • bottom up
  • bound
  • Bounds and Limits
  • cardinality
  • Cartesian coordinates
  • Cartesian Product
  • Cartesian Product
  • Cauchy-sequence
  • Cauchy-Sequence
  • ceiling
  • chain
  • child
  • circuit
  • class
  • Class
  • closed
  • closed
  • closed
  • closed
  • coefficients
  • commutative diagram
  • commute
  • Complete Induction
  • Complex Conjugate
  • complex conjugate
  • Complex Number Operations
  • complex numbers
  • Complex Numbers
  • Complex Root
  • Complex Root Function
  • Complex Roots
  • Complex Square Root
  • composition
  • Composition of Bijective Functions
  • Composition of Permutations
  • Composition of Relations
  • computing
  • Computing
  • Conditional Formula
  • Conditional Term
  • Congruence Properties
  • congruent
  • conjugate
  • conjunction
  • Conjunctive Laws
  • connective
  • constant
  • constant function
  • Constant Polynomials
  • constrained function definition
  • Constrained Function Definition
  • constrained predicate definition
  • Constrained Predicate Definition
  • constructive
  • constructors
  • continuous
  • contradiction
  • Contraposition
  • contraposition
  • Convergence and Limit
  • converges
  • cosine
  • cotangent
  • countable
  • Countable Sets
  • cycle
  • de Morgan
  • De Morgan's Laws
  • De Morgan's Laws
  • decomposition
  • Decomposition of Conjunctions
  • Decomposition of Disjunctions
  • Decomposition of Equivalences
  • Decomposition of Existential Quantifications
  • Decomposition of Implications
  • Decomposition of Universal Quantifications
  • definiendum
  • definiens
  • definition
  • Definition
  • Degree
  • degree
  • denominator
  • descendant
  • diagonalization
  • Difference
  • Difference
  • Difference
  • Difference
  • direct proof
  • directed graph
  • Directed Graph
  • discrete
  • Disjoint Equivalence Classes
  • disjunction
  • Disjunctive Laws
  • divergent
  • divides
  • domain
  • domain
  • Domain
  • Domain, Range
  • Domain, Range
  • edges
  • elementary
  • elementary term
  • embeds
  • Empty Set
  • enumeration
  • Equality
  • Equality and Subset
  • Equality Axioms
  • Equality of Sets
  • Equality of Tuples
  • Equivalence
  • equivalence
  • equivalence class
  • Equivalence Laws
  • Equivalence of Formulas
  • equivalence relation
  • Equivalence Relation
  • Equivalence Relation Defines Partition
  • Equivalence Relations and Partitions
  • equivalent
  • Euclid's algorithm
  • Euler's Number
  • Evaluation Laws
  • exclusive disjunction
  • Exclusive Disjunction
  • Existence of Real Roots
  • Existential Quantification in Knowledge
  • explicit function definition
  • Explicit Function Definition
  • explicit predicate definition
  • Explicit Predicate Definition
  • Explicitly Defined Functions
  • Explicitly Defined Predicates
  • Exponential and Logarithm Properties
  • Exponential Function and Logarithm Function
  • Exponentiation
  • Exponentiation of Relations
  • factorial
  • Factorial
  • false
  • Fibonacci Numbers
  • finite
  • finite sequence
  • Finite Sets
  • first order objects
  • first order predicate logic
  • floor
  • Floor and Ceiling
  • Floor and Ceiling
  • Floor and Ceiling Removal
  • Floor and Ceiling Shifts
  • formula
  • Formulas of Propositional Logic
  • free
  • Free Variable Substitution
  • function
  • Function
  • Function Application
  • function application
  • Function Composition
  • Function Composition
  • function constant
  • Function Constant
  • Function Properties
  • functions
  • Fundamental Theorem of Algebra
  • General Exponentiation and Logarithm Function
  • geometric sequence
  • geometric series
  • grammars
  • Graph Isomorphism
  • greatest common divisor
  • greatest element
  • Hasse diagram
  • height
  • Height of Binary Trees
  • higher order objects
  • hold
  • holds on
  • homomorphism
  • Homomorphism
  • Identity Function
  • identity function
  • iff
  • image
  • Image
  • imaginary constant
  • imaginary part
  • implementation
  • implication
  • Implicative Laws
  • implicit function definition
  • Inclusive and Exclusive Disjunction
  • Incomparable
  • indegree
  • indirect proof
  • Induced Relation
  • induction axioms
  • induction base
  • induction hypothesis
  • Induction over Term Values
  • induction step
  • inductive definition
  • Inductive Function Definition
  • Inductive Predicate Definition
  • Inductive Set Definition
  • infimum
  • infimum
  • Infimum and Supremum
  • infinite
  • infinite sequence
  • initial node
  • injective
  • input condition
  • input condition
  • Integer Conversions
  • Integer Numbers
  • integer numbers
  • Integer Numbers
  • Integer Operations
  • interpretation
  • Intersection
  • intervals
  • Intervals
  • intractable
  • inverse
  • Inverse Function Properties
  • inverse image
  • Inverse of a Function
  • Inverse of a Relation
  • Inversion of Negation
  • irreflexive
  • Irreflexive
  • is element of
  • isomorphic
  • isomorphism
  • Isomorphism of Integer Constructions
  • Isomorphism of Rational Constructions
  • leaf
  • Least and Greatest Element
  • least common multiple
  • least element
  • left closed
  • length
  • length
  • level
  • Level and Height
  • lexicographic order
  • lexicographic ordering
  • limit
  • Limit Laws
  • Limit of Geometric Series
  • Limit Quantor
  • linear function
  • linear order
  • Local Definitions
  • Logical Connective
  • logical constants
  • lower bound
  • lower bound
  • mappings
  • Mathematical Induction
  • Matrices over the Reals
  • matrix
  • Matrix
  • Matrix Operations
  • maximal element
  • Minimal and Maximal Element
  • minimal element
  • minimum
  • Minimum and Maximum Functions
  • Minimum and Maximum Quantifier
  • modular arithmetic
  • Modular Arithmetic, Direct Approach
  • Modular Arithmetic, Residue Classes
  • Modular Congruence
  • Modular Integer Numbers
  • Modus Ponens
  • modus ponens
  • monotonically decreasing
  • monotonically increasing
  • Monotonicity
  • multigraph
  • name
  • Natural Number Laws
  • Natural Number Operations
  • Natural Number Subsets
  • natural numbers
  • Natural Numbers
  • Natural Numbers from Set
  • Natural Numbers Operations
  • Natural Numbers Operations
  • negation
  • Node Relations
  • nodes
  • Non-Empty Equivalence Classes
  • null matrix
  • Number of Permutations
  • Number of Set Elements
  • Number Quantifier
  • numerator
  • O Manipulation
  • object constant
  • objects
  • one-to-one
  • onto
  • Order Laws
  • Order Predicates
  • outdegree
  • output condition
  • output condition
  • parameterization
  • parent
  • partial function
  • partial order
  • Partial Order
  • partition
  • Partition
  • Partition Defines Equivalence Relation
  • Pascal's triangle
  • path
  • Path
  • Peano Arithmetic
  • period
  • periodic
  • Periodic Functions
  • permutation
  • Permutation
  • Pointwise Function Definition
  • polar coordinates
  • polynomial
  • Polynomial Evaluation
  • polynomial function
  • Polynomial Function
  • Polynomial Operations
  • Polynomials over the Reals
  • Powerset
  • predecessor
  • Predecessor
  • predicate constant
  • Predicate Constant
  • predicates
  • prime
  • Prime Number Factorization
  • Product Quantifier
  • Product Quantifier
  • projections
  • proof
  • Proof by Case Distinction
  • Proof by Contradiction
  • Proof Completion
  • proof rule
  • proof tree
  • properties
  • proposition
  • proposition
  • propositional consequence
  • Propositional Consequences
  • propositional tautology
  • Quantified Formulas
  • quantifier
  • Quantifier
  • Quantifier Consequences
  • quasi order
  • Quasi Order
  • Quasi Order from Partial Order
  • Quasi Orders Are Antisymmetric
  • Quotient
  • quotient
  • Quotient and Remainder
  • Quotient and Remainder
  • quotient set
  • Quotient Set
  • range
  • rational function
  • Rational Function
  • Rational Number Operations
  • Rational Numbers
  • rational numbers
  • Rational Numbers
  • Reachability is Closure of Edge Relation
  • reachable
  • Reachable
  • real matrices
  • Real Numbers
  • real numbers
  • Real Numbers
  • real part
  • Real Remainder
  • Real Root Function
  • realsection
  • reciprocal function
  • recursion formula
  • recursion term
  • recursive function definition
  • Recursive Function Definition
  • recursive predicate definition
  • Recursive Predicate Definition
  • reduction
  • reflexive
  • Reflexive and Transitive Closure
  • Reflexive Closure
  • reflexive closure
  • reflexivity
  • Reflexivity
  • regularity
  • relation
  • Relation
  • Relation Laws
  • Relation Properties
  • relations
  • relatively prime
  • remainder
  • Remainder Laws
  • Replacement of Local Definitions
  • residue class
  • Residue Class
  • result
  • right closed
  • root
  • Russel Paradox
  • same cardinality
  • same size
  • semantics
  • Semantics of Atomic Formulas
  • Semantics of Conjunction
  • Semantics of Disjunction
  • Semantics of Equivalence
  • Semantics of Implication
  • Semantics of Local Definitions
  • Semantics of Logical Constants
  • Semantics of Negation
  • Semantics of Quantified Formulas
  • Semantics of Terms
  • sequence
  • sequence
  • Sequence
  • Sequence Quantor
  • Sequence Updates
  • series
  • Series
  • Series Limit Quantor
  • set
  • Set Cardinalities
  • Set Enumeration
  • Set Functions
  • Set Identities
  • Set Quantifier
  • set reduction
  • Set Sizes
  • set theory
  • simple
  • sine
  • Sine and Cosine
  • Sine and Cosine
  • Sine and Cosine Values
  • size
  • Size of Function Space
  • Size of Powerset
  • sorting
  • specification
  • Specification
  • square function
  • square function
  • stepwise refinement
  • Strictly Dominated
  • strictly monotonically decreasing
  • strictly monotonically increasing
  • Structural Induction
  • structurally equal
  • structure
  • subset
  • Subset
  • Subset Properties
  • Substitutions
  • successor
  • such quantifier
  • Such Quantifier
  • Sum Quantifier
  • Sum Quantifier
  • supremum
  • supremum
  • surjective
  • symmetric
  • Symmetry
  • syntax
  • Syntax of Terms
  • tangent
  • Tangent and Cotangent
  • Tangent and Cotangent Properties
  • Tangent and Cotangent Values
  • Tautology
  • term
  • Term
  • term algebra
  • Term Algebra
  • terminal node
  • termination function
  • termination term
  • theory
  • Theory
  • top down
  • total degree
  • total function
  • total order
  • Total Order
  • transitive
  • Transitive Closure
  • Transitive Closure
  • transitive closure
  • transitivity
  • Transitivity
  • tree
  • Tree
  • Trees and Cycles
  • Trigonometric Functions
  • true
  • truncated part
  • Truncation
  • Truncation
  • truth table
  • truth value
  • Truth Value, Formula
  • tuple
  • Tuple
  • tuple constructor
  • tuple selectors
  • undirected graph
  • Undirected Graph
  • Unicity of Bijection
  • Unicity of Limits
  • Union
  • Unique Root Paths
  • Uniqueness
  • unity matrix
  • Universal Quantification in Knowledge
  • Upper and Lower Bound
  • Upper and Lower Bounds
  • upper bound
  • upper bound
  • upper bound
  • upper limit
  • valid
  • value
  • values
  • variable
  • variable domain
  • Variable, Assignment
  • Venn diagram
  • verify
  • vertices
  • weighted graph
  • Well-Founded Ordering
  • witness
  • zero

  • Author: Wolfgang Schreiner
    Last Modification: October 4, 1999

    previous up next