Formal Operation

An formal operation is an abstract entity that produces a new state with a formal specification.

• AKA: Op, Formally Specified Operation, Operation (Mathematics).
• Context:
  • It can be a Part Of a Formal System.
  • It can be represented by an Operator.
  • It can be:
    • a Function (such as a Relation Function) produces a new state of available Information.
    • an Event
  • It can be:
    • an Associative Operation.
    • a Commutative Operation.
    • a Distributive Operation.
  • It can be, based on the number of Operands (Operation Arity):
    • a Unary Operation.
    • a Binary Operation.
    • an n-Ary Operation.
  • It can be defined/performed by an Algorithm.
  • …
• Example(s):
  • a Mathematical Operation (Arithmetic Operation, Vector Operation).
  • a Set Operation such as Subset Operation or Union Set Operation.
  • a Logic Operation (Deductive Logic Operation, Inductive Logic Operation, Abductive Logic Operation).
  • a Natural Language Syntax Operation.
  • a Set Member Operation, Sequence Member Operation, String Member Operation.
  • an Algorithm.
  • …
• Counter-Example(s):
  • an Informal Operation.
• See: Process, Task, Activity, Operator (Mathematics), Vector Space, Arithmetic Operation, Unary Operation, Binary Operation, Negation, Trigonometric Function.

---

---

References

2009

• (WordNet, 2009) ⇒ http://wordnetweb.princeton.edu/perl/webwn?s=operation
  • S: (n) operation ((computer science) data processing in which the result is completely specified by a rule (especially the processing that results from a single instruction)) "it can perform millions of operations per second"
  • S: (n) operation, procedure (a process or series of acts especially of a practical or mechanical nature involved in a particular form of work) "the operations in building a house"; "certain machine tool operations"
  • S: (n) process, cognitive process, mental process, operation, cognitive operation ((psychology) the performance of some composite cognitive activity; an operation that affects mental contents) "the process of thinking"; "the cognitive operation of remembering"
  • S: (n) mathematical process, mathematical operation, operation ((mathematics) calculation by mathematical methods) "the problems at the end of the chapter demonstrated the mathematical processes involved in the derivation"; "they were learning the basic operations of arithmetic"
• http://en.wiktionary.org/wiki/operation
  • 4. (mathematics) a procedure for generating a value from one or more other values (the operands; the value for any particular operands is unique)

---