Introduction to Computer science

The past quarter of a century has seen dramatic developments in social and political thought. These essays offer an indispensable introduction to some of the most influential amongst them. Quentin Skinner's Introduction traces broad transformations such as the erosion of empiricist assumptions and the undermining of the positivist ideal of the unification of the sciences by the impact of foreign traditions on English-speaking social science. The essays themselves discuss major figures such as Gadamer, Derrida, Foucault, Habermas, Althusser and Levi-Strauss, giving valuably lucid introductory studies of some difficult but unquestionably major thinkers of our time. Professor Skinner has been awarded the Balzan Prize Life Time Achievement Award for Political Thought, History and Theory. Full details of this award can be found at http://www.balzan.it/News_eng.aspx?ID=2474

This second edition of Basic Content Analysis is completely updated and offers a concise introduction to content analysis methods from a social science perspective. It includes new

This outstanding collection is designed to address the fundamental issues and principles underlying the task of Artificial Intelligence. The editors have selected not only papers now recognized as classics but also many specially commissioned papers which examine the methodological and theoretical foundations of the discipline from a wide variety of perspectives: computer science and software engineering, cognitive psychology, philosophy, formal logic and linguistics. Carefully planned and structured, the volume tackles many of the contentious questions of immediate concern to AI researchers and interested observers. Is Artificial Intelligence in fact a discipline, or is it simply part of computer science? What is the role of programs in AI and how do they relate to theories? What is the nature of representation and implementation, and how should the challenge of connectionism be viewed? Can AI be characterized as an empirical science? The comprehensiveness of this collection is furthe

John Barnes's collection of essays covers a variety of topics in sociology and anthropology, including lineage systems, social networks, colonialism, underlying assumptions of social science, and the significance of time in social analysis. Together they identify the author's particular view of social science: he is primarily interested in 'what really happens'. Rather than revamp articles written with a distinctive set of assumptions to bring them into line with current intellectual fashion, Professor Barnes has chosen to let them stand as they are, products of identifiable theoretical stance and modes of exposition. But introductory notes to each chapter set out the context in which the piece was originally written and draw attention to later publications and events that bear on it. An introduction discusses in detail the author's view of social science as the construction of models rather than a search for social laws, while the final chapter presents a model of the modelling proces

In this volume the author gives an introduction to the theory of group representations and their applications in image science. The main feature of the presentation is a systematic treatment of the in

This is an introduction to the field of efficient parallel algorithms and to the techniques for efficient parallelisation. It is self-contained and presumes no special knowledge of parallel computers or particular mathematics. The book emphasises designing algorithms within the timeless and abstracted context of a high-level programming language rather than within highly specific computer architectures. This is an approach which concentrates on the essence of algorithmic theory, determining and taking advantage of the inherently parallel nature of certain types of problem. The authors present regularly-used techniques and a range of algorithms which includes some of the more celebrated and well-known. Efficient Parallel Algorithms is targeted at non-specialists who are considering entering the field of parallel algorithms. It will be particularly useful for courses aimed at advanced undergraduate or new postgraduate students of computer science and mathematics.

This 1989 book is about chaos, fractals and complex dynamics, and is addressed to all people who have some familiarity with computers and enjoy using them. The mathematics has been kept simple, with few formulae, yet the reader is introduced to and can learn about an area of current scientific research which was scarcely possible before the availability of computers. The introduction is achieved through the extensive use of computer graphics. The book is divided into two main parts: in the first the most interesting problems are described, with, in each case, a solution in the form of a computer program. A large number of exercises enable the reader to undertake his or her own experimental work. In the second part, example programs are given for specific machines and operating systems; details refer to MS-DOC and Turbo-Pascal, UNIX 4.2 BSD with Berkley Pascal and C. Other implementations of the graphics routines are given for Apple Macintosh, Apple IIE and IIGS and Atari ST.

This 1989 book is about chaos, fractals and complex dynamics, and is addressed to all people who have some familiarity with computers and enjoy using them. The mathematics has been kept simple, with few formulae, yet the reader is introduced to and can learn about an area of current scientific research which was scarcely possible before the availability of computers. The introduction is achieved through the extensive use of computer graphics. The book is divided into two main parts: in the first the most interesting problems are described, with, in each case, a solution in the form of a computer program. A large number of exercises enable the reader to undertake his or her own experimental work. In the second part, example programs are given for specific machines and operating systems; details refer to MS-DOC and Turbo-Pascal, UNIX 4.2 BSD with Berkley Pascal and C. Other implementations of the graphics routines are given for Apple Macintosh, Apple IIE and IIGS and Atari ST.

This book is an important introduction to the critical interpretation of the work of the major French thinker Michel Foucault. Through comprehensive and detailed analyses of such important texts as The History of Madness in the Age of Reason, The Birth of the Clinic, The Order of Things, and The Archaeology of Knowledge, Professor Gutting provides a lucid exposition of Foucault's 'archaeological' approach to the history of thought - a method for uncovering the 'unconscious' structures that set boundaries on the thinking of a given epoch. The book also casts Foucault in a new light, relating his work to two major but neglected influences: Gaston Bachelard's philosophy of science and Georges Canguilhem's history of science. This perspective yields a new and valuable understanding of science, balancing and complementing the more common view that he was primarily a social critic and theorist. An excellent guide for those first approaching Foucault's work, the book will also be a challengin

This book is an important introduction to the critical interpretation of the work of the major French thinker Michel Foucault. Through comprehensive and detailed analyses of such important texts as The History of Madness in the Age of Reason, The Birth of the Clinic, The Order of Things, and The Archaeology of Knowledge, Professor Gutting provides a lucid exposition of Foucault's 'archaeological' approach to the history of thought - a method for uncovering the 'unconscious' structures that set boundaries on the thinking of a given epoch. The book also casts Foucault in a new light, relating his work to two major but neglected influences: Gaston Bachelard's philosophy of science and Georges Canguilhem's history of science. This perspective yields a new and valuable understanding of science, balancing and complementing the more common view that he was primarily a social critic and theorist. An excellent guide for those first approaching Foucault's work, the book will also be a challengin

This 1989 book is intended as an introductory survey of the philosophy of the social sciences. It is essentially a work of exposition which offers a toolbox of mechanisms - nuts and bolts, cogs and wheels - that can be used to explain complex social phenomena. Within a brief compass, Jon Elster covers a vast range of topics. His point of departure is the conflict we all face between our desires and our opportunities. How can rational choice theory help us understand our motivation and behaviour? More significantly, what happens when the theory breaks down but we still cleave to a belief in the power of the rational? Elster describes the fascinating range of forms of irrationality - wishful thinking, the phenomenon of sour grapes, discounting the future in noncooperative behaviour. This is a remarkably lucid and comprehensive introduction to the social sciences for students of political science, philosophy, sociology and economics.

This is the third edition of a successful textbook, now with material added to illustrate the potential of computers for biologists. It is a lucid introduction to the principles and more elementary techniques of statistical reasoning, particularly as they are relevant to the biologist. Special attention is paid to the validity and use of statistical procedures, the interpretation of results, and the meanings of the conclusions which can then be drawn. The understanding of statistical methods is aided by full explanations of how calculations are built up. A particular feature of this edition is the inclusion, of new material to demonstrate the potential usefulness of computers in biological statistical analysis and to this end computer analyses of a selection of the examples are presented, using several different statistical languages. The examples are designed to guide and encourage the biologist to pursue the use of these languages further. The book assumes no mathematical training an

This book is a self-contained introduction to the theory of atomic motion in proteins and nucleic acids. An understanding of such motion is essential because it plays a crucially important role in biological activity. The authors, both of whom are well known for their work in this field, describe in detail the major theoretical methods that are likely to be useful in the computer-aided design of drugs, enzymes and other molecules. A variety of theoretical and experimental studies is described and these are critically analyzed to provide a comprehensive picture of dynamic aspects of biomolecular structure and function. The book will be of interest to graduate students and research workers in structural biochemistry (X-ray diffraction and NMR), theoretical chemistry (liquids and polymers), biophysics, enzymology, molecular biology, pharmaceutical chemistry, genetic engineering and biotechnology.

Marvin Minsky -- one of the fathers of computer science and cofounder of the Artificial Intelligence Laboratory at MIT -- gives a revolutionary answer to the age-old question: "How does the mind work

The designer of a software system, like the architect of a building, needs to be aware of the construction techniques available and to choose the ones that are the most appropriate. This book provides the implementer of software systems with a guide to 25 different techniques for the complete development processes, from system definition through design and into production. The techniques are described against a common background of the traditional development path, its activities and deliverable items. In addition the concepts of metrics and indicators are introduced as tools for both technical and managerial monitoring and control of progress and quality. The book is intended to widen the mental toolkit of system developers and their managers, and will also introduce students of computer science to the practical side of software development. With its wide-ranging treatment of the techniques available and the practical guidance it offers, it will prove an important and valuable work.

This short textbook provides a succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. It will be suitable for all mathematics undergraduates coming to the subject for the first time. The book is based on lectures given at the University of Cambridge and covers the basic concepts of logic: first order logic, consistency, and the completeness theorem, before introducing the reader to the fundamentals of axiomatic set theory. There are also chapters on recursive functions, the axiom of choice, ordinal and cardinal arithmetic and the incompleteness theorems. Dr Johnstone has included numerous exercises designed to illustrate the key elements of the theory and to provide applications of basic logical concepts to other areas of mathematics. Consequently the book, while making an attractive first textbook for those who plan to specialise in logic, will be particularly valuable for mathematics and computer sc

This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.

This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages including Pascal, FORTRAN, COBOL, and Assembler. The book also includes chapters on abstract data types, analysing existing programs, and a small case study. First-year undergraduates in computer science and graduates taking courses in computing will find this a comprehensive introduction to program construction.

The Handbook brings together a systematic review of the research topics, empirical findings, and methods that comprise modern labor economics. It serves as an introduction to what has been done in thi

Herbals deal primarily with medicinal and culinary herbs, their real and supposed properties and virtues, and in origin they go back at least to the Ancient Greeks. During the 16th and 17th centuries they developed into attractively illustrated printed books, the forerunners of modern botanical and pharmaceutical textbooks. Agnes Arber's Herbals (first published in 1912, much revised in 1938) stands as the major survey of the period 1470 to 1670 when botany evolved into a scientific discipline separate from herbalism, a development reflected in contemporary herbals. Every work on herbals since 1912 has been indebted to Arber's classic. The present volume in the Cambridge Science Classics series, while retaining her main text unaltered, supplements this with two of her later writings on herbals, provides a biographical introduction, greatly extends the bibliography and has annotations modifying the original text through later enquiry. This added material will make this re-issue invaluab

This is an advanced text for the one- or two-semester course in analysis taught primarily to math, science, computer science, and electrical engineering majors at the junior, senior or graduate level

Few areas of study have led to such close and intense interactions among computer scientists, psychologists, and philosophers as the area now referred to as cognitive science. Within this discipline,

First published in 1986, the first ICMI study is concerned with the influence of computers and computer science on mathematics and its teaching in the last years of school and at tertiary level. In particular, it explores the way the computer has influenced mathematics itself and the way in which mathematicians work, likely influences on the curriculum of high-school and undergraduate students, and the way in which the computer can be used to improve mathematics teaching and learning. The book comprises a report of the meeting held in Strasbourg in March 1985, plus several papers contributed to that meeting.

The View Over Atlantis, John Michell''s unrivaled introduction to megalithic science, earth mysteries, and the inner meaning of number and measure, was described by Colin Wilson as "one of the great s

In this short book, the authors discuss three types of problems from combinatorial geometry: Borsuk's partition problem, covering convex bodies by smaller homothetic bodies, and the illumination problem. They show how closely related these problems are to each other. The presentation is elementary, with no more than high-school mathematics and an interest in geometry required to follow the arguments. Most of the discussion is restricted to two- and three-dimensional Euclidean space, though sometimes more general results and problems are given. Thus even the mathematically unsophisticated reader can grasp some of the results of a branch of twentieth-century mathematics that has applications in such disciplines as mathematical programming, operations research and theoretical computer science. At the end of the book the authors have collected together a set of unsolved and partially solved problems that a sixth-form student should be able to understand and even attempt to solve.

Agnes Arber's international reputation is due in part to her exceptional ability to interpret the German tradition of scholarship for the English-speaking world. The Mind and the Eye is an erudite book, revealing its author's familiarity with philosophy from Plato and Aristotle through Aquinas to Kant and Hegel; but it is not dull, because the quiet enthusiasm of the author shines through. In this book she turns from the work of a specialist in one science to those wider questions which any scientist must ask at intervals. What, in short, is the relationship between the eye that sees and the mind that weighs and pronounces? An important feature of this Cambridge Science Classics reissue is the introduction provided by Professor P. R. Bell, who as a Cambridge botany student at the time that Agnes Arber was writing The Natural Philosopby of Plant Form, is uniquely able to set The Mind and the Eye in the context of contemporary biological research.

In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. Without sacrificing readability, the presentation is essentially self-contained, with detailed proofs of all statements provided. Professor Salomaa is well known for his books in this area. The present work provides an insight into the basics, together with explanations of some of the more important developments in the field.

This is a collection of Isaac Levi's philosophical papers. Over the period represented by the work here, Professor Levi has developed an interrelated set of views, in the tradition of Peirce and Dewey, on epistemology and the philosophy of science and social science. This focus has been on the problem of induction and the growth of knowledge, the foundations of probability and the theory of rational decision-making. His most important essays in these areas are assembled here, with an introduction setting out their main themes and connections. As a whole the volume presents a coherent, elaborated position which will be of great interest to a range of philosophers, decision theorists, welfare and social choice theorists and cognitive scientists.

This volume surveys the way that understanding of the minds of animals and ideas about the relationship between animal and human behaviour developed from around 1870 to 1930. In describing the research and theories which contributed to these developments, this book looks at the people who undertook such studies and the reasons why they did so. Its main purpose is to examine the different ways in which the outcome of this work affected their ideas about the human mind and exerted such a formative influence on psychology in general. This book will be used by first and second year undergraduates studying psychology, and will also appeal to students of the history of science and philosophy. In addition, the lucid, non-technical style of this book will provide an excellent introduction to the general reader who would like to know more about this interesting subject.

Beginning with a long and extensively rewritten introduction surveying the predecessors of the Presocratics, this book traces the intellectual revolution initiated by Thales in the sixth century BC to its culmination in the metaphysics of Parmenides and the complex physical theories of Anaxagoras and the Atomists in the fifth century it is based on a selection of some six hundred texts, in Greek and a close English translation which in this edition is given more prominence. These provide the basis for a detailed critical study of the principal individual thinkers of the time. Besides serving as an essential text for undergraduate and graduate courses in Greek philosophy and in the history of science, this book will appeal to a wide range of readers with interests in philosophy, theology, the history of ideas and of the ancient world, and indeed to anyone who wants an authoritative account of the Presocratics.

This 1983 book is a lively and clearly written introduction to the philosophy of natural science, organized around the central theme of scientific realism. It has two parts. 'Representing' deals with the different philosophical accounts of scientific objectivity and the reality of scientific entities. The views of Kuhn, Feyerabend, Lakatos, Putnam, van Fraassen, and others, are all considered. 'Intervening' presents the first sustained treatment of experimental science for many years and uses it to give a new direction to debates about realism. Hacking illustrates how experimentation often has a life independent of theory. He argues that although the philosophical problems of scientific realism can not be resolved when put in terms of theory alone, a sound philosophy of experiment provides compelling grounds for a realistic attitude. A great many scientific examples are described in both parts of the book, which also includes lucid expositions of recent high energy physics and a remark

To perform computer simulation successfully, two rather different sets of skills are required. One of these relates to programming: a simulation program should do what its author intends and do it efficiently. The other is concerned with the collection and analysis of data: statistical tools have to be used in order to obtain with a minimum of effort, accurate and reliable estimates for the desired performance measures. Dr Mitrani covers both of these aspects of the simulation method. The important topics of point and interval estimation, simulation efficiency and the analysis of simulation experiments are discussed in detail. This book, first published in 1982, will be useful to both undergraduate and postgraduate students taking courses on simulation in departments of computer science, operations research and statistics in universities and polytechnics. It will be of benefit also to practitioners in the field.

Fortran is a computer language that has been around for a quarter of a century, and is still much used despite predictions throughout its life that it would be replaced by more elegant languages. But Fortran is still the only language in which it is possible to write truly portable programs. Using his own special formula, Donald Alcock now does for Fortran what he did for BASIC in his earlier book, Illustrating BASIC. The Fortran described and illustrated is that defined by the American National Standards Institute in 1966 but with allusions to the same Institute's standard published in 1978. For both the person who is new to computers and programming, and the person who has met only BASIC before, this book will give an excellent introduction to standard Fortran; it also provides a reference manual for the language.

Everyday questions such as "Should I take my umbrella?" involve probability,a topic important in daily life and in science. This witty, nontechnical introduction to the subject elucidates such

This is a reissue of Professor Batchelor's text on the theory of turbulent motion, which was first published by Cambridge Unviersity Press in 1953. It continues to be widely referred to in the professional literature of fluid mechanics, but has not been available for several years. This classic account includes an introduction to the study of homogeneous turbulence, including its mathematic representation and kinematics. Linear problems, such as the randomly-perturbed harmonic oscillator and turbulent flow through a wire gauze, are then treated. The author also presents the general dynamics of decay, universal equilibrium theory, and the decay of energy-containing eddies. There is a renewed interest in turbulent motion, which finds applications in atmospheric physics, fluid mechanics, astrophysics, and planetary science.

BCPL is a simple systems programming language with a portable compiler that has been implemented on many machines from large mainframes to mini computers and microprocessors. The book provides an introduction to the language, paying particular attention to programming style. In addition, it covers the more machine-independent parts of the BCPL library and outlines various debugging aids that most implementations provide. The syntax analysis phase of the compiler is described in detail, giving a realistic example of a typical application of the language. This and other substantial examples given in the book will be of interest both to serious users of BCPL and to computer writers. There is a chapter concerned with the portability code generator design. The reference for BCPL appears as the final chapter.

Habermas and earlier members of the Frankfurt School have presented critical theory as a radically new form of knowledge. It is differentiated from the natural sciences as essentially 'reflective': the knowledge it provides guides us towards enlightenment as to our true interests, and emancipation from often unsuspected forms of external and internal coercion. Its first paradigms are in the writings of Marx and Freud. In this book Raymond Geuss sets out these fundamental claims and asks whether they can be made good. Is a science which does not simply describe and explain social phenomena, but also criticizes? The concept of ideology plays a crucial role in this discussion. Geuss carefully analyses it here, its relation to our beliefs and interests, and the account of truth and confirmation required by its critique and the concomitant goal of self-knowledge. The book does not presuppose acquaintance with the works of the Frankfurt School and can serve as a lucid introduction to their c

Most functions that occur in mathematics cannot be used directly in computer calculations. Instead they are approximated by manageable functions such as polynomials and piecewise polynomials. The general theory of the subject and its application to polynomial approximation are classical, but piecewise polynomials have become far more useful during the last twenty years. Thus many important theoretical properties have been found recently and many new techniques for the automatic calculation of approximations to prescribed accuracy have been developed. This book gives a thorough and coherent introduction to the theory that is the basis of current approximation methods. Professor Powell describes and analyses the main techniques of calculation supplying sufficient motivation throughout the book to make it accessible to scientists and engineers who require approximation methods for practical needs. Because the book is based on a course of lectures to third-year undergraduates in mathematic

Recursion theory – now a well-established branch of pure mathematics, having grown rapidly over the last 35 years – deals with the general (abstract) theory of those operations which we conceive as being `computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR).