Buch, Englisch, 176 Seiten, Print PDF, Format (B × H): 154 mm x 241 mm, Gewicht: 282 g
A Guide for Computer Scientists
Buch, Englisch, 176 Seiten, Print PDF, Format (B × H): 154 mm x 241 mm, Gewicht: 282 g
ISBN: 978-0-19-853840-0
Verlag: Oxford University Press
This is a textbook for final year undergraduates/first year graduates in computer science, as well as a useful introduction for research students seeking a solid introduction to more specialist literature. This text emphasises the role of calculus in programming language design and implementation, denotational semantics, and domain theory. Alternative books on the subject have been written by logicians, but this is the first to have been written from a computer science prespective, invaluable in emphasising the practical relevance of the key theortical ideas.
Fachgebiete
- Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
Weitere Infos & Material
- Introduction
- 1: Notation and basic theory
- 2: Reduction
- 3: Combinatory logic
- 4: Semantics
- 5: Computability
- 6: Types
- 7: Practical issues
- 8: Other calculi
- 9: Further reading
- Bibliography
- Index
