Książka - szczegóły

CONTENTS
List of the mostly used symbols................................................................................ 6
1. Introduction and summary...................................................................................... 7
2. Basic language......................................................................................................... 10
3. Semantics of the basic language......................................................................... 11
4. Flow-algorithms........................................................................................................ 12
5. Algorithmically definable functions....................................................................... 16
6. Operations on algorithms....................................................................................... 17
7. Normal models......................................................................................................... 23
8. Relations definable in normal models................................................................ 30
9. The main theorem on normal models................................................................. 33
10. Canonical algorithms............................................................................................ 37
11. The algebra of algorithms.................................................................................... 39
12. An abstract programming language.................................................................. 43
13. Final remarks and open problems..................................................................... 40
Acknowledgements...................................................................................................... 51
References.................................................................................................................... 52