The thing about the essence of computer science. Algorithmics

This is a new, completely changed edition of books on algorithmics, well known all over the world, also in Poland. It covers the topics that form the basis of IT knowledge. The book now consists of five parts. The first authors discuss basic concepts, high-level languages, compilers and programming paradigms. The second part is devoted to algorithms and evaluation of their quality, that is, correctness and efficiency. In the third part, the reader learns about the achievements and development directions of software engineering. The fourth part deals with parallelism and concurrency, and also presents probabilistic algorithms and issues of cryptography. In the fifth part there are two new chapters; about software engineering and reality systems, and ends with a chapter on artificial intelligence.
The book is written very easily. It contains many examples and tasks. This is an excellent textbook designed for IT students at all universities.

Table of Contents

Preface to the first issue
thanks

PART ONE. ADMISSION

1. Introduction and historical overview
What is it about

2. Algorithms and data
how to do it

3. Languages and programming paradigms
how to do it using a computer

PART TWO. METHODS AND ANALYSIS

4. Algorithmic methods
how to do it methodically

5. The correctness of algorithms
how to do it properly

6. The efficiency of algorithms
how to do it sparingly

PART THREE. LIMITATIONS AND IMMUNITY

7. Inefficiency and unsolvability
that you will not always do it cheaply

8. Unpredictability and undecidability
about sometimes you will not do it at all

9. Algorithmic universality and resistance
about the simplest machine that will do it

PART FOUR. DECREASE OF THE RULES

10. Parallelism, concurrency and alternative models
how to do a lot at once

11. Probabilistic algorithms
how to do it by tossing a coin

12. Cryptography and reliable interaction
how to do it in secret

PART FIVE. A LOOK LOOK

13. Software engineering
how to deal with something bigger

14. Reactive systems
how to make the behavior correct also in the time dimension

15. Algorithmics and intelligence
about whether they are better than us

P.S
Selected solutions
Bibliographic notes
Index