computer science

Prentice Hall International Series in Computer Science

Prentice Hall International Series in Computer Science is a computer science topic covered in the lgStudy science library. This page brings together a partial reference excerpt, illustrations, worked examples, real-world applications and a short study plan, so you can understand Prentice Hall International Series in Computer Science rather than just read about it. In short: Prentice Hall International Series in Computer Science was a series of books on computer science published by Prentice Hall. The series' founding editor was Tony Hoare.

Key takeaways

Prentice Hall International Series in Computer Science belongs to computer science; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Prentice Hall International Series in Computer Science to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Prentice Hall International Series in Computer Science from memory before moving on to harder problems.

Reference excerpt

Prentice Hall International Series in Computer Science was a series of books on computer science published by Prentice Hall. The series' founding editor was Tony Hoare. Richard Bird subsequently took over editing the series. Many of the books in the series have been in the area of formal methods in particular.

Selected books The following books were published in the series:

R. S. Bird, Introduction to Functional Programming using Haskell, 2nd edition, 1998. ISBN 0-13-484346-0. R. S. Bird and O. de Moor, Algebra of Programming, 1996. ISBN 0-13-507245-X. (100th volume in the series.) O.-J. Dahl, Verifiable Programming, 1992. ISBN 0-13-951062-1. D. M. Gabbay, Elementary Logics: A Procedural Perspective, 1998. ISBN 0-13-726365-1. I. J. Hayes (ed.), Specification Cases Studies, 2nd edition, 1993. ISBN 0-13-832544-8. M. G. Hinchey and J. P. Bowen (eds.), Applications of Formal Methods, 1996. ISBN 0-13-366949-1. C. A. R. Hoare, Communicating Sequential Processes, 1985. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback. C. A. R. Hoare and M. J. C. Gordon, Mechanized Reasoning and Hardware Design, 1998. ISBN 0-13-572405-8. C. A. R. Hoare and He Jifeng, Unifying Theories of Programming, 1998. ISBN 0-13-458761-8. INMOS Limited, Occam 2 Reference Manual, 1988. ISBN 0-13-629312-3. Cliff Jones, Systematic Software Development Using VDM, 1986. ISBN 0-13-880725-6 hardback or ISBN 0-13-880717-5 paperback. M. Joseph (ed.), Real-Time Systems: Specification, Verification and Analysis, 1996. ISBN 0-13-455297-0. Bertrand Meyer, Object-Oriented Software Construction (first edition only). Robin Milner, Communication and Concurrency, 1989. ISBN 0-13-115007-3 (for the paperback). C. C. Morgan, Programming from Specifications, 2nd edition, 1994. ISBN 0-13-123274-6. P. N. Nissanke, Realtime Systems, 1997. ISBN 0-13-651274-7. B. Potter, J. Sinclair and D. Till, An Introduction to Formal Specification and Z, 2nd edition, 1996. ISBN 0-13-242207-7. A. W. Roscoe (ed.), A Classical Mind: Essays in Honour of C. A. R. Hoare, 1994. ISBN 0-13-294844-3. A. W. Roscoe, The Theory and Practice of Concurrency, 1997. ISBN 0-13-674409-5. J. M. Spivey, The Z Notation: A Reference Manual, 2nd edition, 1992. ISBN 0-13-978529-9. J. C. P. Woodcock and J. W. Davies, Using Z: Specification, Refinement and Proof, 1996. ISBN 0-13-948472-8.

References

Worked examples

Example 1 — a first encounter with Prentice Hall International Series in Computer Science

Start with the simplest possible case. Write down what Prentice Hall International Series in Computer Science claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In computer science, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Prentice Hall International Series in Computer Science before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Prentice Hall International Series in Computer Science ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Prentice Hall International Series in Computer Science

In research: Prentice Hall International Series in Computer Science appears in computer science research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Prentice Hall International Series in Computer Science in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Prentice Hall International Series in Computer Science is common in secondary-school and first-year university syllabi. It links to neighbouring topics Book series, Computer book stubs, Computer science books, so understanding it makes those chapters shorter.
In everyday life: Look for Prentice Hall International Series in Computer Science outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

Affiliate

Preply — study more efficiently by working with a personal tutor. 50% off.

How to study Prentice Hall International Series in Computer Science in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Prentice Hall International Series in Computer Science means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Prentice Hall International Series in Computer Science out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Prentice Hall International Series in Computer Science in simple terms?

Prentice Hall International Series in Computer Science was a series of books on computer science published by Prentice Hall. The series' founding editor was Tony Hoare.

Why does Prentice Hall International Series in Computer Science matter?

Because it connects several computer science ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Prentice Hall International Series in Computer Science?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Prentice Hall International Series in Computer Science.