Computability & Representability

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


From the view point of functionality, there are two kinds of knowledge about a specific domain: one is specificational 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 Formal Theory Turing Machine Recursive Function Assignment Statement 
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

© Birkhäuser Verlag AG 2010

Authors and Affiliations

  • Wei Li
    • 1
  1. 1.State Key Laboratory of Software Development EnvironmentBeihang UniversityBeijingChina

Personalised recommendations