Fundamental Concepts in Computer Science

✍ Scribed by Erol Gelenbe, Erol Gelenbe, Jean-Pierre Kahane

• Publisher: Imperial College Press
• Year: 2009
• Tongue: English
• Leaves: 172
• Series: Advances in Computer Science and Engineering: Texts
• Category: Library

✦ Synopsis

This book presents fundamental contributions to computer science as written and recounted by those who made the contributions themselves. As such, it is a highly original approach to a living history of the field of computer science. The scope of the book is broad in that it covers all aspects of computer science, going from the theory of computation, the theory of programming, and the theory of computer system performance, all the way to computer hardware and to major numerical applications of computers.

✦ Table of Contents

CONTENTS......Page 10
Preface......Page 6
1. Introduction......Page 14
2. B¨ohm’s Theoremfor Trees......Page 17
3. B¨ohm’s Theorem for λ-Calculus......Page 21
4.2. Generalizations of B¨ohm’s theorem......Page 23
4.4. B¨ohm trees and B¨ohm-out-technique......Page 24
References......Page 25
2. Membrane Computing: History and Brief Introduction Gheorghe Paun......Page 30
1.1. The pre-history......Page 31
1.2. The first years......Page 34
1.3. The recent years......Page 37
1.4. The next years......Page 40
2.1. The three main classes of P systems......Page 41
2.2. Cell-like P systems: An informal presentation......Page 42
2.3. Basic ingredients of P systems......Page 44
2.4. A large number of variants......Page 47
2.5. Computational completeness......Page 49
2.6. Computational efficiency......Page 50
2.7. Applications......Page 52
References......Page 54
1. Fromthe Alphabet to theMachine......Page 56
2. The Elementary and the Complex......Page 59
3. Imitations and Models......Page 61
3.1. Models, processes, and unpredictability......Page 66
4. Calculus, Physics, and Living Phenomena......Page 71
5. But. . . Natural ProcessesCompute?......Page 74
6. Mnemonic Interlude......Page 78
7. Conclusion: A Question of Principles......Page 80
References......Page 82
1. Introduction......Page 84
2. The GNN and Its Extensions......Page 86
2.1. Stationary or steady-state solution......Page 88
2.2. The bipolar GNN or BGNN......Page 89
3. Approximation of Functions of One Variable by the GNN with a Bounded Number of Layers......Page 90
3.1. Technical premises......Page 91
3.2. BGNN approximation of continuous functions of one variable......Page 94
3.3. CGNN approximation of continuous functions of one variable......Page 97
4. Approximation of Continuous Functions of s Variables......Page 100
References......Page 104
1. Experience in Industry, 1960–1968......Page 110
2. Research in Belfast, 1968–1977......Page 115
3. Move to Oxford, 1977–1999......Page 119
4. Back in Industry, 1999......Page 124
References......Page 126
1. Acorn Computer Ltd......Page 130
2. The BBCMicro......Page 132
3. Why Design aMicroprocessor?.......Page 133
4. The ARMDesign Process......Page 135
5. The Formation of ARM Ltd......Page 138
6. A 20-year Perspective......Page 139
References......Page 140
1. Introduction......Page 142
2. The Dissertation......Page 143
3. Carl Adam Petri, The Man......Page 146
4. The Years Until 1980......Page 148
5. The Years Since 1980......Page 149
6. Honors......Page 150
7. WhatWill the Future Bring?......Page 151
References......Page 152
1. Stochastic Processes and the Central Server Model......Page 154
2. Early Concerns About Stochastic Modeling......Page 156
3. Impact of Empirical Success......Page 157
4. Lectures at Serre Chevalier and Bologna......Page 158
5. Emergence of Operational Analysis......Page 159
References......Page 161
1. Computational Fluid Dynamics......Page 164
2. Open Problems......Page 167
3. Computational Fluid Dynamics and Computer Science......Page 169
References......Page 171

✦ Subjects

Библиотека;Компьютерная литература;