Introduction to Computer science

Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a unif

Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a unif

Written by the department head of materials science and engineering at MIT, this concise and stringent introduction takes readers from the fundamental theory to in-depth knowledge. It sets out with a

This book is a collection of lectures given in July 2007 at the Les Houches Summer School on "Dynamos".‧ Provides a pedagogical introduction to topics in Dynamos ‧ Addresses each topic from the basis

Learn Ajax the easy way! If you are new to programming with Ajax and are looking for a solid introduction, this is the book for you. Developed by computer science instructors, books in the ?for the a

'Metaphor' is the phenomenon whereby we talk and, potentially, think about something in terms of something else. In this book Elena Semino discusses metaphor as a common linguistic occurrence, which is varied in its textual appearance, versatile in the functions it may perform, and central to many different types of communication, from informal interaction to political speeches. She discusses the use of metaphor across a variety of texts and genres from literature, politics, science, education, advertising and the discourse of mental illness. Each chapter includes detailed case studies focusing on specific texts, from election leaflets to specialist scientific articles. Also included is a detailed consideration of corpus (computer-based) methods of analysis. Wide-ranging and informative, this book will be invaluable to those interested in metaphor from a range of disciplines.

'Metaphor' is the phenomenon whereby we talk and, potentially, think about something in terms of something else. In this book Elena Semino discusses metaphor as a common linguistic occurrence, which is varied in its textual appearance, versatile in the functions it may perform, and central to many different types of communication, from informal interaction to political speeches. She discusses the use of metaphor across a variety of texts and genres from literature, politics, science, education, advertising and the discourse of mental illness. Each chapter includes detailed case studies focusing on specific texts, from election leaflets to specialist scientific articles. Also included is a detailed consideration of corpus (computer-based) methods of analysis. Wide-ranging and informative, this book will be invaluable to those interested in metaphor from a range of disciplines.

An introduction to the science and technology of locating, drilling, transporting, and refining oil discusses the history of its use, environmental concerns, and alternatives for the future.

This textbook describes some of the most effective and straightforward quantitative techniques for modeling Earth surface processes. By emphasizing a core set of equations and solution techniques, the book presents state-of-the-art models currently employed in Earth surface process research, as well as a set of simple but practical research tools. Detailed case studies demonstrate application of the methods to a wide variety of processes including hillslope, fluvial, aeolian, glacial, tectonic, and climatic systems. Exercises at the end of each chapter begin with simple calculations and then progress to more sophisticated problems that require computer programming. All the necessary computer codes are available online at www.cambridge.org/9780521855976. Assuming some knowledge of calculus and basic programming experience, this quantitative textbook is designed for advanced geomorphology courses and as a reference book for professional researchers in Earth and planetary science looking

Galen of Pergamum (AD 129–c.216) was the most influential doctor of later antiquity, whose work was to influence medical theory and practice for more than fifteen hundred years. He was a prolific writer on anatomy, physiology, diagnosis and prognosis, pulse-doctrine, pharmacology, therapeutics, and the theory of medicine; but he also wrote extensively on philosophical topics, making original contributions to logic and the philosophy of science, and outlining a scientific epistemology which married a deep respect for empirical adequacy with a commitment to rigorous rational exposition and demonstration. He was also a vigorous polemicist, deeply involved in the doctrinal disputes among the medical schools of his day. This volume offers an introduction to and overview of Galen's achievement in all these fields, while seeking also to evaluate that achievement in the light of the advances made in Galen scholarship over the past thirty years.

Construction Management Fundamentals is intended as an introduction to both technical and business sides of construction, and is intended for use in an undergraduate Civil Engineering curriculum or fo

Written for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and recognition, Turing machines, and other language classes. Many topics often absent from other textbooks, such as repetitions in words, state complexity, the interchange lemma, 2DPDAs, and the incompressibility method, are covered here. The author places particular emphasis on the resources needed to represent certain languages. The book also includes a diverse collection of more than 200 exercises, suggestions for term projects, and research problems that remain open.

This new entry in the popular series that includes Art School, Science School, and Nature School offers children a fun introduction to the world of theatre and film. Award-winning author/illustrator t

This updated textbook is an excellent way to introduce probability and information theory to new students in mathematics, computer science, engineering, statistics, economics, or business studies. Only requiring knowledge of basic calculus, it starts by building a clear and systematic foundation to the subject: the concept of probability is given particular attention via a simplified discussion of measures on Boolean algebras. The theoretical ideas are then applied to practical areas such as statistical inference, random walks, statistical mechanics and communications modelling. Topics covered include discrete and continuous random variables, entropy and mutual information, maximum entropy methods, the central limit theorem and the coding and transmission of information, and added for this new edition is material on Markov chains and their entropy. Lots of examples and exercises are included to illustrate how to use the theory in a wide range of applications, with detailed solutions to

This updated textbook is an excellent way to introduce probability and information theory to new students in mathematics, computer science, engineering, statistics, economics, or business studies. Only requiring knowledge of basic calculus, it starts by building a clear and systematic foundation to the subject: the concept of probability is given particular attention via a simplified discussion of measures on Boolean algebras. The theoretical ideas are then applied to practical areas such as statistical inference, random walks, statistical mechanics and communications modelling. Topics covered include discrete and continuous random variables, entropy and mutual information, maximum entropy methods, the central limit theorem and the coding and transmission of information, and added for this new edition is material on Markov chains and their entropy. Lots of examples and exercises are included to illustrate how to use the theory in a wide range of applications, with detailed solutions to

Information is a central topic in computer science, cognitive science and philosophy. In spite of its importance in the 'information age', there is no consensus on what information is, what makes it possible, and what it means for one medium to carry information about another. Drawing on ideas from mathematics, computer science and philosophy, this book addresses the definition and place of information in society. The authors, observing that information flow is possible only within a connected distribution system, provide a mathematically rigorous, philosophically sound foundation for a science of information. They illustrate their theory by applying it to a wide range of phenomena, from file transfer to DNA, from quantum mechanics to speech act theory.

Natural Language Processing and Information Retrieval is a textbook designed to meet the requirements of engineering students pursuing undergraduate and postgraduate programs in computer science and i

Materials in Today's World is an entry-level introduction to the exciting world of materials science and engineering, especially for those with little or no background in the field. The 3rd edition i

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap betwe

The authors (a professor of and a PhD candidate in political science at Northern Arizona U.) present an introduction to the concept of globalization that includes the perspectives of neoliberals, inst

Semantic Relations and the Lexicon explores the many paradigmatic semantic relations between words, such as synonymy, antonymy and hyponymy, and their relevance to the mental organization of our vocabularies. Drawing on a century's research in linguistics, psychology, philosophy, anthropology and computer science, M. Lynne Murphy proposes a pragmatic approach to these relations. Whereas traditional approaches have claimed that paradigmatic relations are part of our lexical knowledge, Dr Murphy argues that they constitute metalinguistic knowledge, which can be derived through a single relational principle, and may also be stored as part of our extra-lexical, conceptual representations of a word. Part I shows how this approach can account for the properties of lexical relations in ways that traditional approaches cannot, and Part II examines particular relations in detail. This book will serve as an informative handbook for all linguists and cognitive scientists interested in the mental

Laser Fundamentals provides a clear and comprehensive introduction to the physical and engineering principles of laser operation and design. Simple explanations, based throughout on key underlying concepts, lead the reader logically from the basics of laser action to advanced topics in laser physics and engineering. Much new material has been added to this second edition, especially in the areas of solid-state lasers, semiconductor lasers, and laser cavities. This 2004 edition contains a new chapter on laser operation above threshold, including extensive discussion of laser amplifiers. The clear explanations, worked examples, and many homework problems will make this book invaluable to undergraduate and first-year graduate students in science and engineering taking courses on lasers. The summaries of key types of lasers, the use of many unique theoretical descriptions, and the extensive bibliography will also make this a valuable reference work for researchers.

Sixty international academics contribute 33 chapters reporting on research and studies of innovative theoretical and practical approaches to language learning and teaching in the area of computer assi

Polycycles and symmetric polyhedra appear as generalisations of graphs in the modelling of molecular structures, such as the Nobel prize winning fullerenes, occurring in chemistry and crystallography. The chemistry has inspired and informed many interesting questions in mathematics and computer science, which in turn have suggested directions for synthesis of molecules. Here the authors give access to new results in the theory of polycycles and two-faced maps together with the relevant background material and mathematical tools for their study. Organised so that, after reading the introductory chapter, each chapter can be read independently from the others, the book should be accessible to researchers and students in graph theory, discrete geometry, and combinatorics, as well as to those in more applied areas such as mathematical chemistry and crystallography. Many of the results in the subject require the use of computer enumeration; the corresponding programs are available from the a

The theory of modular forms and especially the so-called 'Ramanujan Conjectures' have been applied to resolve problems in combinatorics, computer science, analysis and number theory. This tract, based on the Wittemore Lectures given at Yale University, is concerned with describing some of these applications. In order to keep the presentation reasonably self-contained, Professor Sarnak begins by developing the necessary background material in modular forms. He then considers the solution of three problems: the Ruziewicz problem concerning finitely additive rotationally invariant measures on the sphere; the explicit construction of highly connected but sparse graphs: 'expander graphs' and 'Ramanujan graphs'; and the Linnik problem concerning the distribution of integers that represent a given large integer as a sum of three squares. These applications are carried out in detail. The book therefore should be accessible to a wide audience of graduate students and researchers in mathematics

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

Creativity is a topic that has traditionally interested psychologists, historians and biographers. Developments in cognitive science and artificial intelligence have provided a powerful computational framework in which creativity can be studied and the creative process can be described and explained. In this book, creativity in technology is discussed using such a computational approach. Using an important historical episode in computer technology as a case study, namely the invention of microprogramming by Maurice Wilkes in 1951, the author presents a plausible explanation of the process by which Wilkes may have arrived at his invention. Based on this case study, the author has also proposed some very general hypotheses concerning creativity that appear to corroborate the findings of some psychologists and historians and then suggests that creative thinking is not significantly different in nature from everyday thinking and reasoning.

Building on the strengths of the second edition, this highly regarded textbook continues to provide the best introduction to the strategies of comparative research in political science. Divided into t

Human factors is one of the critical issues in Information Technology, as industry realizes the need to change from technology-oriented goals to meet the demands of computer users. Human factors can help to improve Informatics Usability for real people, and to reduce the huge people-costs of human machine interactions. This book has been developed from lectures given at an Advanced Study course, sponsored by the European Science and Technology Research Committee of the Commission of the European Communities (CREST), and by the Science and Engineering Research Council (SERC) of the UK. It has three objectives: 1. To review the knowledge and methods available from the field of human factors for improving the usability of informatics systems; 2. To describe recent theoretical and methodological developments in the area; 3. To stimulate increased application of this expertise.

The interest in molecular organic materials is tremendous, driven by the need to find new materials with desirable properties. This book aims to bring the materials and surface science communities together, integrating physics and chemistry in a non-technical manner, ensuring this fascinating field can be understood by a multi disciplinary audience. Starting with basic physical concepts and synthetic techniques, the book describes how molecules assemble into highly ordered structures as single crystals and thin films, with examples of characterization, morphology and properties. Special emphasis is placed on the importance of surfaces and interfaces. The final chapter gives a personal view on future possibilities in the field. Written for beginners and experienced chemists, physicists and material scientists, this will be a useful introduction to the field of molecular organic materials.

This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.

This third edition builds on the international success of previous editions, offering an easy access critical introduction to social science theories of identity, for advanced undergraduates and postg

Domain theory is an established part of theoretical computer science, used in giving semantics to programming languages and logics. In mathematics and logic it has also proved to be useful in the study of algorithms. This book is devoted to providing a unified and self-contained treatment of the subject. The theory is presented in a mathematically precise manner which nevertheless is accessible to mathematicians and computer scientists alike. The authors begin with the basic theory including domain equations, various domain representations and universal domains. They then proceed to more specialized topics such as effective and power domains, models of lambda-calculus and so on. In particular, the connections with ultrametric spaces and the Kleene–Kreisel continuous functionals are made precise. Consequently the text will be useful as an introductory textbook (earlier versions have been class-tested in Uppsala, Gothenburg, Passau, Munich and Swansea), or as a general reference for prof

Bipartite graphs are perhaps the most basic of objects in graph theory, both from a theoretical and practical point of view. However, sometimes they have been considered only as a special class in some wider context. This book deals solely with bipartite graphs. Together with traditional material, the reader will also find many unusual results. Essentially all proofs are given in full; many of these have been streamlined specifically for this text. Numerous exercises of all standards have also been included. The theory is illustrated with many applications especially to problems in timetabling, chemistry, communication networks and computer science. For the most part the material is accessible to any reader with a graduate understanding of mathematics. However, the book contains advanced sections requiring much more specialized knowledge, which will be of interest to specialists in combinatorics and graph theory.

Bayesian probability theory has emerged not only as a powerful tool for building computational theories of vision, but also as a general paradigm for studying human visual perception. This 1996 book provides an introduction to and critical analysis of the Bayesian paradigm. Leading researchers in computer vision and experimental vision science describe general theoretical frameworks for modelling vision, detailed applications to specific problems and implications for experimental studies of human perception. The book provides a dialogue between different perspectives both within chapters, which draw on insights from experimental and computational work, and between chapters, through commentaries written by the contributors on each others' work. Students and researchers in cognitive and visual science will find much to interest them in this thought-provoking collection.

This is a self-contained and systematic account of affine differential geometry from a contemporary view, not only covering the classical theory, but also introducing more modern developments. In order both to cover as much as possible and to keep the text of a reasonable size, the authors have concentrated on the significant features of the subject and their relationship and application to such areas as Riemannian, Euclidean, Lorentzian and projective differential geometry. In so doing, they also provide a modern introduction to the last. Some of the important geometric surfaces considered are illustrated by computer graphics, making this a physically and mathematically attractive book for all researchers in differential geometry, and for mathematical physicists seeking a quick entry to the subject.

Markov chains are an important idea, related to random walks, which crops up widely in applied stochastic analysis. They are used, for example, in performance modelling and evaluation of computer networks, queuing networks, and telecommunication systems. The main point of the present book is to provide methods, based on the construction of Lyapunov functions, of determining when a Markov chain is ergodic, null recurrent, or transient. These methods can also be extended to the study of questions of stability. Of particular concern are reflected random walks and reflected Brownian motion. The authors provide not only a self-contained introduction to the theory but also details of how the required Lyapunov functions are constructed in various situations.

A good grasp of the theory of structures - the theoretical basis by which the strength, stiffness and stability of a building can be understood - is fundamental to structural engineers and architects. Yet most modern structural analysis and design is carried out by computer, with the user isolated from the processes in action. Plastic Design of Frames; Volume 1. Fundamentals provides a broad introduction to the mathematics behind a range of structural processes. Some of the techniques used in this book may be familiar to the reader, and some may not, but each of the topics examined will give the structural engineer valuable insight into the basis of the subject. This companion book Plastic Design of Frames; Volume 2. Applications provides additional advanced topics and case studies. This lucid second volume provides a valuable read for structural engineers and others who wish to deepen their knowledge of the structural analysis and design of buildings.

Property (T) is a rigidity property for topological groups, first formulated by D. Kazhdan in the mid 1960's with the aim of demonstrating that a large class of lattices are finitely generated. Later developments have shown that Property (T) plays an important role in an amazingly large variety of subjects, including discrete subgroups of Lie groups, ergodic theory, random walks, operator algebras, combinatorics, and theoretical computer science. This monograph offers a comprehensive introduction to the theory. It describes the two most important points of view on Property (T): the first uses a unitary group representation approach, and the second a fixed point property for affine isometric actions. Via these the authors discuss a range of important examples and applications to several domains of mathematics. A detailed appendix provides a systematic exposition of parts of the theory of group representations that are used to formulate and develop Property (T).

New revised and expanded Spanish editions. The definitive introduction to the science and philosophy of yoga meditation. This life-transforming book opens the mind and heart to the spiritual possibi