Formal Operation

From GM-RKB
(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.



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)