# Formal Operation

(Redirected from formal operation)

Jump to navigation
Jump to search
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:
- 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):****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)