Computation in Science (Second Edition). Konrad Hinsen
Чтение книги онлайн.
Читать онлайн книгу Computation in Science (Second Edition) - Konrad Hinsen страница 2
3.2 From computing machines to automata theory
3.4 Restricted models of computation
4 Automating computation
4.1.1 Processors and working memory
4.1.2 Processor instruction sets
4.1.3 Special-purpose processors
4.2.2 Social and psychological aspects
4.3 Observing program execution
4.3.1 Debuggers: watching execution unfold
4.3.2 Profilers: measuring execution time
5 Taming complexity
5.1 Chaos and complexity in computation
5.2 Verification, validation, and testing
5.2.1 Verification versus validation
5.2.5 Proving the correctness of software
5.2.6 The pitfalls of numerical computation
5.3.3 Object-oriented programming
5.4.1 Identifying state in a program
5.5 Incidental complexity and technical debt
6 Computational reproducibility
6.1 Reproducibility: a core value of science
6.2 Repeating, reproducing, replicating