Publication | Closed Access
Computation and Computational Thinking
573
Citations
6
References
2012
Year
EngineeringComputational LiteracyFormal VerificationPhilosophy Of Computer ScienceOperational SemanticsComputational ParadigmModel Of ComputationAlgorithmsCognitive ScienceComputational ThinkingNew FormalismsFormal ModelingTerm ComputationComputer ScienceSoftware DesignDeclarative ProgrammingProgram AnalysisAutomated ReasoningFormal Methods
We recommend using the term Computation in conjunction with a well-defined model of computation whose semantics is clear and which matches the problem being investigated. Computer science already has a number of useful clearly defined models of computation whose behaviors and capabilities are well understood. We should use such models as part of any definition of the term computation. However, for new domains of investigation where there are no appropriate models it may be necessary to invent new formalisms to represent the systems under study.
| Year | Citations | |
|---|---|---|
Page 1
Page 1