Computability and Representability

Part of the Progress in Computer Science and Applied Logic book series (PCS, volume 25)


From the view point of functionality, there are two kinds of knowledge about a specific domain: one is specification knowledge and the other is implementational knowledge. The latter is also called constructive knowledge. In computer science, the former is the specification for the software while the latter consists of the actual algorithms and programs used to implement the software. These two kinds of knowledge describe two different aspects of the same thing. Specificational knowledge describes the object by its properties. These might include principles, laws and theorems as well as describing functionality and other requirements. Implementational knowledge explains how to construct the object; it usually includes algorithms, rules of operation and methods of implementation as well as examples.


Natural Number Turing Machine Sequential Statement Operational Semantic Recursive Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Basel 2014

Authors and Affiliations

  1. 1.School of Computer Science and EngineeringBeihang University State Key Lab. SoftwareBeijingChina

Personalised recommendations