scrambled
Home//Concepts/Sequence
scrambled
Overviewjust now
154
2
4
1082
3
2
24
633
Dimensional inference rule formatjust nowAbstract binding graphjust nowAbstract binding tree abtjust nowAbstract binding tree abt valence abstractorjust nowAbstract data typejust now
408
11
4
Overviewjust now
154
2
4
1082
3
2
24
633
Dimensional inference rule formatjust nowAbstract binding graphjust nowAbstract binding tree abtjust nowAbstract binding tree abt valence abstractorjust nowAbstract data typejust now
408
11
4
Concept

Sequence

Modified just now
Books
  • Chapter 2. Mathematical preliminaries
JourneyProgramming Language Theory Statusmastered Tags
  • order-lattice-theory
  • set-theory-relation

An ordered collection of elements indexed by natural numbers - formally, a function from N\mathbb{N}N to some set, denoted (a0,a1,a2,...)(a_0, a_1, a_2, ...)(a0​,a1​,a2​,...) or (ai)i∈N(a_i)_i\in\mathbb{N}(ai​)i​∈N.

Previous in ConceptsSentence diagramNext in Concepts Sequential evaluation
Books
  • Chapter 2. Mathematical preliminaries
JourneyProgramming Language Theory
Statusmastered
Tags
  • order-lattice-theory
  • set-theory-relation