الصفحة 375
الصفحة 375
A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn Gödel’s incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like a branch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all the basic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory, and computability.
A Course in Enumeration
Leads the reader in a leisurely way from the basic notions to a variety of topics, ranging from algebra to statistical physics. Its aim is to introduce the student to a fascinating field, and to be a source of information for the professional mathematician who wants to learn more about the subject.
A Course in Credibility Theory and its Applications
It covers the subject of Credibility Theory extensively and includes most aspects of this topic from the simplest case to the most general dynamic model. The first four chapters contain plenty of material The book therefore treats explicitly the tasks which the actuary encounters in his daily work such as estimation of loss ratios, claim frequencies and claim sizes. The models are worked out in detail (including the estimation of structural parameters) so that they can immediately be applied in practice. Most exercises are based on real insurance data and real situations from practice and many of them have the characteristics of a case study. The extension to practical problems arising from the general area of finance is often quite straightforward. This book deserves a place on the bookshelf of every actuary and mathematician who works, teaches or does research in the area of insurance and finance.for a first course on Credibility.
A cost based approach to project management : Planning and controlling construction project costs
Illustrates the principles of project management and the essentials of cost planning and control with easy-to-understand examples from the construction industry. Includes step-by-step details of project planning, cost estimating, and management processes. Offers clear, cost-based methods for defining scope, preparing bids, and planning for contingencies, as well as monitoring progress and determining when to take remedial action. Contains a user-friendly guide to project management acronyms and terminology. Provides sample construction schedules, budgets, and progress report forms
A Concise Introduction to Software Engineering
This text focuses on the essential elements, providing readers with the basic skills and introductory knowledge required to execute a software project successfully.
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows the lecturer to select the material for a one-semester course on a topic more easily. These initial chapters cover just the material for an introductory course on mathematical logic combined with the necessary material from set theory. Chapter 3 is partly of a descriptive nature, providing a view towards decision problems, automated theorem proving, non-standard models and related subjects. The other chapters contain material on logic programming for computer scientists, model theory, recursion theory, Gödel's Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed where appropriate.
A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science.
A Concise Introduction to Data Compression
Compressing data is an option naturally selected when faced with problems of high costs or restricted space. Written by a renowned expert in the field, this book offers readers a succinct, reader-friendly foundation to the chief approaches, methods and techniques currently employed in the field of data compression.
A Computer Scientists Guide to Cell Biology
Provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist with the tools necessary to read and understand current literature in the field.After a brief introduction to cell biology, the text focuses on the principles behind the most-widely used experimental procedures and mechanisms, relating them to well-understood concepts in computer science. The presentation of the material has been prepared for the reader’s quick grasp of the topic: comments on nomenclature and background notes can be ascertained at a glance, and essential vocabulary is boldfaced throughout the text for easy identification.
A Computational Model of Natural Language Communication : Interpretation, Inference, and Production in Database Semantics
Presents a high-level description of an artificial agent which humans can freely communicate with in their accustomed language. Part II analyzes the major constructions of natural language, i.e., intra- and extrapropositional functor - argument structure, coordination, and coreference, in the speaker and the hearer mode. Part III defines declarative specifications for fragments of English, which are used for an implementation in Java.
A Computational Differential Geometry Approach to Grid Generation
This monograph gives a detailed treatment of applications of geometric methods to advanced grid technology. It focuses on and describes a comprehensive approach based on the numerical solution of inverted Beltramian and diffusion equations with respect to monitor metrics for generating both structured and unstructured grids in domains and on surfaces.
A Comprehensive Guide to Child Custody Evaluations : Mental Health and Legal Perspectives
A Comprehensive Guide to Child Custody Evaluations covers these three essential areas to walk readers through the evaluation process clearly and concisely. This unique interdisciplinary book emphasizes professional ethics, children’s psychological well-being, and clear communication among all parties as keys to resolving disputes with efficiency and thoroughness, and minimizing the chances of children and their families getting lost in red tape.
A Comprehensible Universe : The Interplay of Science and Theology
Why is our world comprehensible? This question seems so trivial that few people have dared to ask it. In this book we explore the deep roots of the mystery of rationality. The inquiry into the rationality of the world began over two-and-a-half-thousand years ago, when a few courageous people tried to understand the world with the help of reason alone, rejecting the comforting fabric of myth and legend.
A compendium of principles and practice of laser biophotonics in oral medicine
The application of photonics technologies and principles to medicine and life sciences is known as biophotonics. Laser is one of the most important inventions of the twentieth century in biophotonic technology. This book a concise but comprehensive body of information, written in a simple tone, attempting to cruise the readers' vision through every perspective, to seek objective information on all aspects of the instrument and its uses, fostering a preliminary step towards efficient laser diagnosis and therapy.
A Common Consolidated Corporate Tax Base for Europe = Eine einheitliche Körperschaftsteuerbemessungsgrundlage für Europa
This book contains the proceedings of the International Tax Conference on the c- th th mon consolidated corporate tax base (CCCTB) that was held in Berlin Three panels of tax experts evaluated the common tax base with respect to structural elements, consolidation, allocation, international aspects and administration.
A Classical Introduction to Cryptography Exercise Book
A Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications Security covers a majority of the subjects that make up today's cryptology, such as symmetric or public-key cryptography, cryptographic protocols, design, cryptanalysis, and implementation of cryptosystems. Exercises do not require a large background in mathematics, since the most important notions are introduced and discussed in many of the exercises.
A Classical Introduction to Cryptography : Applications for Communications Security
This advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra and number theory for cryptologists; public key cryptography and cryptanalysis of these schemes; and other cryptographic protocols, e.g. secret sharing, zero-knowledge proofs and undeniable signature schemes.
A City in Blue and Green : The Singapore Story
Highlights Singapore’s development into a city in which water and greenery, along with associated environmental, technical, social and political aspects have been harnessed and cultivated into a liveable sustainable way of life. It is also a story about a unique and thoroughgoing approach to large-scale and potentially transferable water sustainability, within largely urbanized circumstances, which can be achieved, along with complementary roles of environmental conservation, ecology, public open-space management and the greening of buildings, together with infrastructural improvements.
A Changing World : Challenges for Landscape Research
"Written primarily for researchers and advanced students in environmental and social sciences, this latest book in Springer’s Landscape Series looks at some of the emerging fields and new challenges in landscape research. These include: the role of value systems in perceiving, appreciating, and managing landscapes / the ‘space’ and ‘place’ concept in landscape research GIS and remote sensing techniques for gathering and processing spatially and temporally explicit land cover, vegetation, and land use data / methods of landscape history / landscape genetics and genetic methods to test landscape connectivity and dispersal of plant and animal species"
A Century of Ideas : Perspectives from Leading Scientists of the 20th Century
Shortly after its inauguration in 1985 the Birla Science Centre, Hyderabad, India, started a series of lectures by Nobel Laureates and other scientists of international renown, usually in Physics and Astronomy, sometimes in Life Sciences and Chemistry. The present collection mostly consists of lectures on frontier topics. The transcript of each lecture is preceded by a short biography of the Nobel Laureate/Scientist in question.
