Skip to main content
View Cart

Books in Mathematics

The Mathematics collection presents a range of foundational and advanced research content across applied and discrete mathematics, including fields such as Computational Mathematics; Differential Equations; Linear Algebra; Modelling & Simulation; Numerical Analysis; Probability & Statistics.

  • Philosophy and Foundations of Mathematics

    L. E. J. Brouwer
    • 1st Edition
    • A. Heyting
    • English
    L.E.J. Brouwer: Collected Works, Volume 1: Philosophy and Foundations of Mathematics focuses on the principles, operations, and approaches promoted by Brouwer in studying the philosophy and foundations of mathematics. The publication first ponders on the construction of mathematics. Topics include arithmetic of integers, negative numbers, measurable continuum, irrational numbers, Cartesian geometry, similarity group, characterization of the linear system of the Cartesian or Euclidean and hyperbolic space, and non-Archimedean uniform groups on the one-dimensional continuum. The book then examines mathematics and experience and mathematics and logic. Topics include denumerably unfinished sets, continuum problem, logic of relations, consistency proofs for formal systems independent of their interpretation, infinite numbers, and problems of space and time. The text is a valuable reference for students, mathematicians, and researchers interested in the contributions of Brouwer in the studies on the philosophy and foundations of mathematics.

  • Non-Linear Structures

    Matrix Methods of Analysis and Design by Computers
    • 1st Edition
    • K. I. Majid
    • English
    Non-Linear Structures: Matrix Methods of Analysis and Design by Computers presents the use of matrix methods of structural analysis suitable for computers. The book consists of 10 chapters. In the first chapter a brief introduction to the behavior of structures in general is given with reference to the linear elastic and simple plastic methods of structural analysis. Chapter 2 is devoted to linear matrix methods, both force and displacement. Chapter 3 examines the stability of an individual member with various end conditions. It also derives the stability functions used in Matrix force and Matrix displacement methods. Chapter 4 tackles the elastic stability of complete frames. Chapter 5 deals with the elastic instability of frames. The sixth chapter covers the elastic-plastic analysis of frames. This is followed in Chapter 7 by a number of approximate methods for the evaluation of the failure load of frames without following the sequence of hinge formation. The last three chapters are devoted to the design of structures and the non-linear aspects of design problems. A description of non-linear programming by piecewise linearization is included in Chapter 10. Structural engineers, architects, researchers, and engineering students will find the book useful.

  • Microprocessor Architectures and Systems

    RISC, CISC and DSP
    • 1st Edition
    • Steve Heath
    • English
    Microprocessor Architectures and Systems: RISC, CISC, and DSP focuses on the developments of Motorola's CISC, RISC, and DSP processors and the advancements of the design, functions, and architecture of microprocessors. The publication first ponders on complex instruction set computers and 32-bit CISC processors. Discussions focus on MC68881 and MC68882 floating point coprocessors, debugging support, MC68020 32-bit performance standard, bus interfaces, MC68010 SUPERVISOR resource, and high-level language support. The manuscript then covers the RISC challenge, digital signal processing, and memory management and caches. Topics include implementing memory systems, multitasking and user/supervisor conflicts, partitioning the system, cache size and organization, DSP56000 family, MC88100 programming model, M88000 family, and the 80/20 rule. The text examines the selection of a microprocessor architecture, changing design cycle, semiconductor technology, multiprocessing, and real-time software, interrupts, and exceptions. Concerns include locating associated tasks, MC88100 interrupt service routines, single- and multiple-threaded operating systems, and the MC68300 family. The publication is a valuable reference for computer engineers and researchers interested in microprocessor architectures and systems.

  • A Course of Higher Mathematics

    Integration and Functional Analysis, Volume 5
    • 1st Edition
    • V. I. Smirnov
    • A. J. Lohwater
    • English
    A Course of Higher Mathematics, Volume V focuses on the theory of integration and elements of functional analysis. This book is organized into five chapters. Chapter I discusses the theory of the classical Stieltjes integral and space C of continuous functions, while Chapter II deals with the foundations of the metric theory of functions of a real variable and Lebesgue-Stieltjes integral. The theory of completely additive set functions and case of the one-dimensional Hellinger integral are analyzed in Chapter III. Chapter IV contains an exposition of the foundations of the general theory of metric and normed spaces. The general theory of Hilbert space is covered in Chapter V. This volume is suitable for engineers, physicists, and students of pure mathematics.

  • Mathematical Methods

    Linear Algebra / Normed Spaces / Distributions / Integration
    • 1st Edition
    • Jacob Korevaar
    • English
    Mathematical Methods, Volume I: Linear Algebra, Normed Spaces, Distributions, Integration focuses on advanced mathematical tools used in applications and the basic concepts of algebra, normed spaces, integration, and distributions. The publication first offers information on algebraic theory of vector spaces and introduction to functional analysis. Discussions focus on linear transformations and functionals, rectangular matrices, systems of linear equations, eigenvalue problems, use of eigenvectors and generalized eigenvectors in the representation of linear operators, metric and normed vector spaces, and delta sequences and convergence and approximation. The text then examines the Lebesgue integral, including approximation of integrable functions and applications, integration of sequences and series, functions of bounded variation and the Stieltjes integral, and multiple integrals. Curves and integrals, holomorphic functions and integrals in the complex plane, and multiple integrals are also discussed. The book is a valuable reference for students in the physical sciences, mathematics students interested in applications, and mathematically oriented engineering students.

  • Modern Mathematics

    Made Simple
    • 1st Edition
    • Patrick Murphy
    • English
    Modern Mathematics: Made Simple presents topics in modern mathematics, from elementary mathematical logic and switching circuits to multibase arithmetic and finite systems. Sets and relations, vectors and matrices, tesselations, and linear programming are also discussed. Comprised of 12 chapters, this book begins with an introduction to sets and basic operations on sets, as well as solving problems with Venn diagrams. The discussion then turns to elementary mathematical logic, with emphasis on inductive and deductive reasoning; conjunctions and disjunctions; compound statements and conditional statements; and biconditional sentences. Subsequent chapters focus on switching circuits; multibase arithmetic; finite systems; relations, vectors, and matrices; tessellations; and linear programming. The book concludes with an analysis of motion geometry and rubber sheet geometry, paying particular attention to radial enlargement and composite reflections as well as topological equivalence, networks for maps, and incidence matrices. This monograph is intended for students, parents, and teachers who are interested in modern mathematics.

  • Uncertainty in Artificial Intelligence

    Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence, The Catholic University of America, Washington, D.C. 1993
    • 1st Edition
    • David Heckerman + 1 more
    • English
    Uncertainty in Artificial Intelligence contains the proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence held at the Catholic University of America in Washington, DC, on July 9-11, 1993. The papers focus on methods of reasoning and decision making under uncertainty as applied to problems in artificial intelligence (AI) and cover topics ranging from knowledge acquisition and automated model construction to learning, planning, temporal reasoning, and machine vision. Comprised of 66 chapters, this book begins with a discussion on causality in Bayesian belief networks before turning to a decision theoretic account of conditional ought statements that rectifies glaring deficiencies in classical deontic logic and forms a sound basis for qualitative decision theory. Subsequent chapters explore trade-offs in constructing and evaluating temporal influence diagrams; normative engineering risk management systems; additive belief-network models; and sensitivity analysis for probability assessments in Bayesian networks. Automated model construction and learning as well as algorithms for inference and decision making are also considered. This monograph will be of interest to both students and practitioners in the fields of AI and computer science.

  • Readings in Artificial Intelligence

    • 1st Edition
    • Bonnie Lynn Webber + 1 more
    • English
    Readings in Artificial Intelligence focuses on the principles, methodologies, advancements, and approaches involved in artificial intelligence. The selection first elaborates on representations of problems of reasoning about actions, a problem similarity approach to devising heuristics, and optimal search strategies for speech understanding control. Discussions focus on comparison with existing speech understanding systems, empirical comparisons of the different strategies, analysis of distance function approximation, problem similarity, problems of reasoning about action, search for solution in the reduction system, and relationship between the initial search space and the higher level search space. The book then examines consistency in networks of relations, non-resolution theorem proving, using rewriting rules for connection graphs to prove theorems, and closed world data bases. The manuscript tackles a truth maintenance system, elements of a plan-based theory of speech acts, and reasoning about knowledge and action. Topics include problems in reasoning about knowledge, integration knowledge and action, models of plans, compositional adequacy, truth maintenance mechanisms, dialectical arguments, and assumptions and the problem of control. The selection is a valuable reference for researchers wanting to explore the field of artificial intelligence.

  • Designing Information Systems

    • 1st Edition
    • Stanley G. Blethyn + 1 more
    • English
    Designing Information Systems focuses on the processes, methodologies, and approaches involved in designing information systems. The book first describes systems, management and control, and how to design information systems. Discussions focus on documents produced from the functional construction function, users, operators, analysts, programmers and others, process management and control, levels of management, open systems, design of management information systems, and business system description, partitioning, and leveling. The text then takes a look at functional specification and functional analysis, procedures and rules, and data modeling and data analysis. Concerns cover charting conventions and data modeling concepts, domains and domain integrity, deciding the most appropriate design solutions, and presentation of solutions to the user community. The manuscript examines implementation, user participation, aspects of human-computer interaction, project management, and system evaluation. Topics include appraisal of the simple approach, system evaluation with multiple purposes, data flows, data analysis and the data model, approaches to user involvement, and post-implementation evaluation and audit. The text is a valuable source of data for computer programmers and researchers wanting to explore how information systems are designed.

  • The Handbook of Artificial Intelligence

    Volume 1
    • 1st Edition
    • Avron Barr + 1 more
    • English
    The Handbook of Artificial Intelligence, Volume I focuses on the progress in artificial intelligence (AI) and its increasing applications, including parsing, grammars, and search methods. The book first elaborates on AI, AI handbook and literature, problem representation, search methods, and sample search programs. The text then ponders on representation of knowledge, including survey of representation techniques and representation schemes. The manuscript explores understanding natural languages, as well as machine translation, grammars, parsing, test generation, and natural language processing systems. The book also takes a look at understanding spoken language, including systems architecture and the ARPA SUR projects. The text is a valuable source of information for computer science experts and researchers interested in pursuing further research in artificial intelligence.

Related subjects