Hardback ISBN: 9781108427319
Hardback publication date: 06 December 2018
Refine search
Refine search
Access
Author
Keyword
Actions for selected content
112 results for in Mathematics
112 results in Mathematics
Can't find the content you are looking for?
To expand your search, find other books and research journals at Cambridge Core , or browse our catalogue at cambridge.org
Introduction to Linear Algebra
6th edition
, Massachusetts Institute of Technology
Textbook
Linear algebra now rivals or surpasses calculus in importance for people working in quantitative fields of all kinds: engineers, scientists, economists and business people. Gilbert Strang has taught linear algebra at MIT for more than 50 years and the course he developed has become a model for teaching around the world. His video lectures on MIT OpenCourseWare have been viewed over ten million times and his twelve textbooks are popular with readers worldwide. This sixth edition of Professor Strang's most popular book, Introduction to Linear Algebra, introduces the ideas of independent columns and the rank and column space of a matrix early on for a more active start. Then the book moves directly to the classical topics of linear equations, fundamental subspaces, least squares, eigenvalues and singular values – in each case expressing the key idea as a matrix factorization. The final chapters of this edition treat optimization and learning from data: the most active application of linear algebra today. Everything is explained thoroughly in Professor Strang's characteristic clear style. It is sure to delight and inspire the delight and inspire the next generation of learners.
Linear algebra now rivals or surpasses calculus in importance for people working in quantitative fields of all kinds: engineers, scientists, economists and business people. Gilbert Strang has taught linear algebra at MIT for more than 50 years and the course he developed has become a model for teaching around the world. His video lectures on MIT OpenCourseWare have been viewed over ten million times and his twelve textbooks are popular with readers worldwide. This sixth edition of Professor Strang's most popular book, Introduction to Linear Algebra, introduces the ideas of independent columns and the rank and column space of a matrix early on for a more active start. Then the book moves directly to the classical topics of linear equations, fundamental subspaces, least squares, eigenvalues and singular values – in each case expressing the key idea as a matrix factorization. The final chapters of this edition treat optimization and learning from data: the most active application of linear algebra today. Everything is explained thoroughly in Professor Strang's characteristic clear style. It is sure to delight and inspire the delight and inspire the next generation of learners.
Vibrations
3rd edition
, University of Maryland, College Park, , University of Maryland, College Park
Online ISBN: 9781108615839
Online publication date:
12 December 2018
Textbook
This new edition explains how vibrations can be used in a broad spectrum of applications and how to meet the challenges faced by engineers and system designers. The text integrates linear and nonlinear systems, and covers the time domain and the frequency domain, responses to harmonic and transient excitations, and discrete and continuous system models. It focuses on modeling, analysis, prediction, and measurement to provide a complete understanding of the underlying physical vibratory phenomena and their relevance for engineering design. Knowledge is put into practice through numerous examples with real-world applications in a range of disciplines, detailed design guidelines applicable to various vibratory systems, and over forty online interactive graphics which provide a visual summary of system behaviors and enable students to carry out their own parametric studies. Some thirteen new tables act as a quick reference for self-study, detailing key characteristics of physical systems and summarizing important results. This is an essential text for undergraduate and graduate courses in vibration analysis, and a valuable reference for practicing engineers.
This new edition explains how vibrations can be used in a broad spectrum of applications and how to meet the challenges faced by engineers and system designers. The text integrates linear and nonlinear systems, and covers the time domain and the frequency domain, responses to harmonic and transient excitations, and discrete and continuous system models. It focuses on modeling, analysis, prediction, and measurement to provide a complete understanding of the underlying physical vibratory phenomena and their relevance for engineering design. Knowledge is put into practice through numerous examples with real-world applications in a range of disciplines, detailed design guidelines applicable to various vibratory systems, and over forty online interactive graphics which provide a visual summary of system behaviors and enable students to carry out their own parametric studies. Some thirteen new tables act as a quick reference for self-study, detailing key characteristics of physical systems and summarizing important results. This is an essential text for undergraduate and graduate courses in vibration analysis, and a valuable reference for practicing engineers.
Supply Chain Management
A Learning Perspective
3rd edition
, Korea Advanced Institute of Science and Technology (KAIST)
Online ISBN: 9781316480984
Online publication date:
21 June 2018
Paperback ISBN: 9781316502761
Paperback publication date: 16 March 2018
Hardback ISBN: 9781107137745
Hardback publication date: 16 March 2018
Textbook
This edition of Supply Chain Management (SCM) was revised to appeal to a wider readership besides students taking SCM courses. Global supply chain managers and researchers in the fields of SCM and operations strategy would find it a useful reference. Rather than discuss the technical issues of SCM, the book focuses on the strategic perspectives and approaches of SCM. Students learn to identify SCM issues from the top management's perspective. The book also presents real-world managerial problems and incorporates case studies for connecting theories with practices. By exploring the fundamental issues of SCM, managers acquire a new learning perspective that enables them to solve problems in a more sustainable and innovative manner rather than use short-term, ad hoc solutions. Finally, it distils various theoretical concepts to allow researchers to observe real SCM issues in a managerial context which allows for practical, meaningful and impactful research to be carried out.
This edition of Supply Chain Management (SCM) was revised to appeal to a wider readership besides students taking SCM courses. Global supply chain managers and researchers in the fields of SCM and operations strategy would find it a useful reference. Rather than discuss the technical issues of SCM, the book focuses on the strategic perspectives and approaches of SCM. Students learn to identify SCM issues from the top management's perspective. The book also presents real-world managerial problems and incorporates case studies for connecting theories with practices. By exploring the fundamental issues of SCM, managers acquire a new learning perspective that enables them to solve problems in a more sustainable and innovative manner rather than use short-term, ad hoc solutions. Finally, it distils various theoretical concepts to allow researchers to observe real SCM issues in a managerial context which allows for practical, meaningful and impactful research to be carried out.
Numbers and Functions
Steps into Analysis
3rd edition
, University of Exeter
Online ISBN: 9781316018392
Online publication date:
11 May 2018
Paperback ISBN: 9781107444539
Paperback publication date: 06 April 2015
Textbook
The transition from studying calculus in schools to studying mathematical analysis at university is notoriously difficult. In this third edition of Numbers and Functions, Professor Burn invites the student reader to tackle each of the key concepts in turn, progressing from experience through a structured sequence of more than 800 problems to concepts, definitions and proofs of classical real analysis. The sequence of problems, of which most are supplied with brief answers, draws students into constructing definitions and theorems for themselves. This natural development is informed and complemented by historical insight. Carefully corrected and updated throughout, this new edition also includes extra questions on integration and an introduction to convergence. The novel approach to rigorous analysis offered here is designed to enable students to grow in confidence and skill and thus overcome the traditional difficulties.
The transition from studying calculus in schools to studying mathematical analysis at university is notoriously difficult. In this third edition of Numbers and Functions, Professor Burn invites the student reader to tackle each of the key concepts in turn, progressing from experience through a structured sequence of more than 800 problems to concepts, definitions and proofs of classical real analysis. The sequence of problems, of which most are supplied with brief answers, draws students into constructing definitions and theorems for themselves. This natural development is informed and complemented by historical insight. Carefully corrected and updated throughout, this new edition also includes extra questions on integration and an introduction to convergence. The novel approach to rigorous analysis offered here is designed to enable students to grow in confidence and skill and thus overcome the traditional difficulties.
How to Think about Algorithms
2nd edition
, York University, Toronto
Online ISBN: 9781009302180
Expected online publication date:
June 2024
Paperback ISBN: 9781009302135
Paperback publication date: 02 May 2024
Hardback ISBN: 9781009302142
Hardback publication date: 02 May 2024
Textbook
Understand algorithms and their design with this revised student-friendly textbook. Unlike other algorithms books, this one is approachable, the methods it explains are straightforward, and the insights it provides are numerous and valuable. Without grinding through lots of formal proof, students will benefit from step-by-step methods for developing algorithms, expert guidance on common pitfalls, and an appreciation of the bigger picture. Revised and updated, this second edition includes a new chapter on machine learning algorithms, and concise key concept summaries at the end of each part for quick reference. Also new to this edition are more than 150 new exercises: selected solutions are included to let students check their progress, while a full solutions manual is available online for instructors. No other text explains complex topics such as loop invariants as clearly, helping students to think abstractly and preparing them for creating their own innovative ways to solve problems.
Understand algorithms and their design with this revised student-friendly textbook. Unlike other algorithms books, this one is approachable, the methods it explains are straightforward, and the insights it provides are numerous and valuable. Without grinding through lots of formal proof, students will benefit from step-by-step methods for developing algorithms, expert guidance on common pitfalls, and an appreciation of the bigger picture. Revised and updated, this second edition includes a new chapter on machine learning algorithms, and concise key concept summaries at the end of each part for quick reference. Also new to this edition are more than 150 new exercises: selected solutions are included to let students check their progress, while a full solutions manual is available online for instructors. No other text explains complex topics such as loop invariants as clearly, helping students to think abstractly and preparing them for creating their own innovative ways to solve problems.
Mathematics for Economics and Finance
Methods and Modelling
2nd edition
, London School of Economics and Political Science, , London School of Economics and Political Science
Online ISBN: 9781108560177
Online publication date:
24 May 2024
Hardback ISBN: 9781108472395
Expected Hardback publication date: 25 July 2024
Paperback ISBN: 9781108459433
Expected Paperback publication date: 25 July 2024
Textbook
Accessible, concise, and interactive, this book introduces the mathematical methods that are indispensable in economics and finance. Fully updated to be as student friendly as possible, this edition contains extensive problems, worked examples and exercises (with full solutions at the end of the book). Two brand new chapters cover coupled systems of recurrence/differential equations, and matrix diagonalisation. All topics are motivated by problems from economics and finance, demonstrating to students how they can apply the mathematical techniques covered. For undergraduate students of economics, mathematics, or both, this book will be welcomed for its clarity and breadth and the many opportunities it provides for readers to practise and test their understanding.
Accessible, concise, and interactive, this book introduces the mathematical methods that are indispensable in economics and finance. Fully updated to be as student friendly as possible, this edition contains extensive problems, worked examples and exercises (with full solutions at the end of the book). Two brand new chapters cover coupled systems of recurrence/differential equations, and matrix diagonalisation. All topics are motivated by problems from economics and finance, demonstrating to students how they can apply the mathematical techniques covered. For undergraduate students of economics, mathematics, or both, this book will be welcomed for its clarity and breadth and the many opportunities it provides for readers to practise and test their understanding.
Matrix Mathematics
A Second Course in Linear Algebra
2nd edition
, Pomona College, California, , University of Utah
Online ISBN: 9781108938426
Online publication date:
29 September 2023
Hardback ISBN: 9781108837101
Hardback publication date: 25 May 2023
Textbook
Using a modern matrix-based approach, this rigorous second course in linear algebra helps upper-level undergraduates in mathematics, data science, and the physical sciences transition from basic theory to advanced topics and applications. Its clarity of exposition together with many illustrations, 900+ exercises, and 350 conceptual and numerical examples aid the student's understanding. Concise chapters promote a focused progression through essential ideas. Topics are derived and discussed in detail, including the singular value decomposition, Jordan canonical form, spectral theorem, QR factorization, normal matrices, Hermitian matrices, and positive definite matrices. Each chapter ends with a bullet list summarizing important concepts. New to this edition are chapters on matrix norms and positive matrices, many new sections on topics including interpolation and LU factorization, 300+ more problems, many new examples, and color-enhanced figures. Prerequisites include a first course in linear algebra and basic calculus sequence. Instructor's resources are available.
Using a modern matrix-based approach, this rigorous second course in linear algebra helps upper-level undergraduates in mathematics, data science, and the physical sciences transition from basic theory to advanced topics and applications. Its clarity of exposition together with many illustrations, 900+ exercises, and 350 conceptual and numerical examples aid the student's understanding. Concise chapters promote a focused progression through essential ideas. Topics are derived and discussed in detail, including the singular value decomposition, Jordan canonical form, spectral theorem, QR factorization, normal matrices, Hermitian matrices, and positive definite matrices. Each chapter ends with a bullet list summarizing important concepts. New to this edition are chapters on matrix norms and positive matrices, many new sections on topics including interpolation and LU factorization, 300+ more problems, many new examples, and color-enhanced figures. Prerequisites include a first course in linear algebra and basic calculus sequence. Instructor's resources are available.
Intermediate Dynamics for Engineers
Newton-Euler and Lagrangian Mechanics
2nd edition
, University of California, Berkeley
Online ISBN: 9781108644297
Online publication date:
08 February 2020
Hardback ISBN: 9781108494212
Hardback publication date: 12 March 2020
Textbook
Suitable for both senior-level and first-year graduate courses, this fully revised edition provides a unique and systematic treatment of engineering dynamics that covers Newton–Euler and Lagrangian approaches. New to this edition are: two completely revised chapters on the constraints on, and potential energies for, rigid bodies, and the dynamics of systems of particles and rigid bodies; clearer discussion on coordinate singularities and their relation to mass matrices and configuration manifolds; additional discussion of contravariant basis vectors and dual Euler basis vectors, as well as related works in robotics; improved coverage of navigation equations; inclusion of a 350-page solutions manual for instructors, available online; a fully updated reference list. Numerous structured examples, discussion of various applications, and exercises covering a wide range of topics are included throughout, and source code for exercises, and simulations of systems are available online.
Suitable for both senior-level and first-year graduate courses, this fully revised edition provides a unique and systematic treatment of engineering dynamics that covers Newton–Euler and Lagrangian approaches. New to this edition are: two completely revised chapters on the constraints on, and potential energies for, rigid bodies, and the dynamics of systems of particles and rigid bodies; clearer discussion on coordinate singularities and their relation to mass matrices and configuration manifolds; additional discussion of contravariant basis vectors and dual Euler basis vectors, as well as related works in robotics; improved coverage of navigation equations; inclusion of a 350-page solutions manual for instructors, available online; a fully updated reference list. Numerous structured examples, discussion of various applications, and exercises covering a wide range of topics are included throughout, and source code for exercises, and simulations of systems are available online.
Elements of Numerical Analysis
2nd edition
, Indian Institute of Technology, Roorkee
Online ISBN: 9781316212516
Online publication date:
28 May 2018
Paperback ISBN: 9781107500495
Paperback publication date: 14 May 2015
Textbook
Numerical analysis deals with the manipulation of numbers to solve a particular problem. This book discusses in detail the creation, analysis and implementation of algorithms to solve the problems of continuous mathematics. An input is provided in the form of numerical data or it is generated as required by the system to solve a mathematical problem. Subsequently, this input is processed through arithmetic operations together with logical operations in a systematic manner and an output is produced in the form of numbers. Covering the fundamentals of numerical analysis and its applications in one volume, this book offers detailed discussion on relevant topics including difference equations, Fourier series, discrete Fourier transforms and finite element methods. In addition, the important concepts of integral equations, Chebyshev Approximation and Eigen Values of Symmetric Matrices are elaborated upon in separate chapters. The book will serve as a suitable textbook for undergraduate students in science and engineering.
Numerical analysis deals with the manipulation of numbers to solve a particular problem. This book discusses in detail the creation, analysis and implementation of algorithms to solve the problems of continuous mathematics. An input is provided in the form of numerical data or it is generated as required by the system to solve a mathematical problem. Subsequently, this input is processed through arithmetic operations together with logical operations in a systematic manner and an output is produced in the form of numbers. Covering the fundamentals of numerical analysis and its applications in one volume, this book offers detailed discussion on relevant topics including difference equations, Fourier series, discrete Fourier transforms and finite element methods. In addition, the important concepts of integral equations, Chebyshev Approximation and Eigen Values of Symmetric Matrices are elaborated upon in separate chapters. The book will serve as a suitable textbook for undergraduate students in science and engineering.
Introduction to Bayesian Econometrics
2nd edition
, Washington University, St Louis
Online ISBN: 9781139058414
Online publication date:
05 December 2012
Hardback ISBN: 9781107015319
Hardback publication date: 12 November 2012
Paperback ISBN: 9781107436770
Paperback publication date: 21 August 2014
Textbook
This textbook explains the basic ideas of subjective probability and shows how subjective probabilities must obey the usual rules of probability to ensure coherency. It defines the likelihood function, prior distributions and posterior distributions. It explains how posterior distributions are the basis for inference and explores their basic properties. Various methods of specifying prior distributions are considered, with special emphasis on subject-matter considerations and exchange ability. The regression model is examined to show how analytical methods may fail in the derivation of marginal posterior distributions. The remainder of the book is concerned with applications of the theory to important models that are used in economics, political science, biostatistics and other applied fields. New to the second edition is a chapter on semiparametric regression and new sections on the ordinal probit, item response, factor analysis, ARCH-GARCH and stochastic volatility models. The new edition also emphasizes the R programming language.
This textbook explains the basic ideas of subjective probability and shows how subjective probabilities must obey the usual rules of probability to ensure coherency. It defines the likelihood function, prior distributions and posterior distributions. It explains how posterior distributions are the basis for inference and explores their basic properties. Various methods of specifying prior distributions are considered, with special emphasis on subject-matter considerations and exchange ability. The regression model is examined to show how analytical methods may fail in the derivation of marginal posterior distributions. The remainder of the book is concerned with applications of the theory to important models that are used in economics, political science, biostatistics and other applied fields. New to the second edition is a chapter on semiparametric regression and new sections on the ordinal probit, item response, factor analysis, ARCH-GARCH and stochastic volatility models. The new edition also emphasizes the R programming language.
Aerodynamics for Engineers
6th edition
, US Air Force Academy, , US Air Force Academy
Online ISBN: 9781009105842
Online publication date:
04 September 2021
Hardback ISBN: 9781009098625
Hardback publication date: 12 August 2021
Textbook
Now reissued by Cambridge University Press, this sixth edition covers the fundamentals of aerodynamics using clear explanations and real-world examples. Aerodynamics concept boxes throughout showcase real-world applications, chapter objectives provide readers with a better understanding of the goal of each chapter and highlight the key 'take-home' concepts, and example problems aid understanding of how to apply core concepts. Coverage also includes the importance of aerodynamics to aircraft performance, applications of potential flow theory to aerodynamics, high-lift military airfoils, subsonic compressible transformations, and the distinguishing characteristics of hypersonic flow. Supported online by a solutions manual for instructors, MATLAB® files for example problems, and lecture slides for most chapters, this is an ideal textbook for undergraduates taking introductory courses in aerodynamics, and for graduates taking preparatory courses in aerodynamics before progressing to more advanced study.
Now reissued by Cambridge University Press, this sixth edition covers the fundamentals of aerodynamics using clear explanations and real-world examples. Aerodynamics concept boxes throughout showcase real-world applications, chapter objectives provide readers with a better understanding of the goal of each chapter and highlight the key 'take-home' concepts, and example problems aid understanding of how to apply core concepts. Coverage also includes the importance of aerodynamics to aircraft performance, applications of potential flow theory to aerodynamics, high-lift military airfoils, subsonic compressible transformations, and the distinguishing characteristics of hypersonic flow. Supported online by a solutions manual for instructors, MATLAB® files for example problems, and lecture slides for most chapters, this is an ideal textbook for undergraduates taking introductory courses in aerodynamics, and for graduates taking preparatory courses in aerodynamics before progressing to more advanced study.
Connecting Discrete Mathematics and Computer Science
2nd edition
, Carleton College, Minnesota
Online ISBN: 9781009150484
Online publication date:
16 December 2022
Hardback ISBN: 9781009150491
Hardback publication date: 03 November 2022
Textbook
Computer science majors taking a non-programming-based course like discrete mathematics might ask 'Why do I need to learn this?' Written with these students in mind, this text introduces the mathematical foundations of computer science by providing a comprehensive treatment of standard technical topics while simultaneously illustrating some of the broad-ranging applications of that material throughout the field. Chapters on core topics from discrete structures – like logic, proofs, number theory, counting, probability, graphs – are augmented with around 60 'computer science connections' pages introducing their applications: for example, game trees (logic), triangulation of scenes in computer graphics (induction), the Enigma machine (counting), algorithmic bias (relations), differential privacy (probability), and paired kidney transplants (graphs). Pedagogical features include 'Why You Might Care' sections, quick-reference chapter guides and key terms and results summaries, problem-solving and writing tips, 'Taking it Further' asides with more technical details, and around 1700 exercises, 435 worked examples, and 480 figures.
Computer science majors taking a non-programming-based course like discrete mathematics might ask 'Why do I need to learn this?' Written with these students in mind, this text introduces the mathematical foundations of computer science by providing a comprehensive treatment of standard technical topics while simultaneously illustrating some of the broad-ranging applications of that material throughout the field. Chapters on core topics from discrete structures – like logic, proofs, number theory, counting, probability, graphs – are augmented with around 60 'computer science connections' pages introducing their applications: for example, game trees (logic), triangulation of scenes in computer graphics (induction), the Enigma machine (counting), algorithmic bias (relations), differential privacy (probability), and paired kidney transplants (graphs). Pedagogical features include 'Why You Might Care' sections, quick-reference chapter guides and key terms and results summaries, problem-solving and writing tips, 'Taking it Further' asides with more technical details, and around 1700 exercises, 435 worked examples, and 480 figures.
Two-Phase Flow, Boiling, and Condensation
In Conventional and Miniature Systems
2nd edition
, Georgia Institute of Technology
Online ISBN: 9781316597392
Online publication date:
01 February 2019
Hardback ISBN: 9781107153301
Hardback publication date: 11 January 2017
Textbook
Providing a comprehensive introduction to the fundamentals and applications of flow and heat transfer in conventional and miniature systems, this fully enhanced and updated edition covers all the topics essential for graduate courses on two-phase flow, boiling, and condensation. Beginning with a concise review of single-phase flow fundamentals and interfacial phenomena, detailed and clear discussion is provided on a range of topics, including two-phase hydrodynamics and flow regimes, mathematical modeling of gas-liquid two-phase flows, pool and flow boiling, flow and boiling in mini and microchannels, external and internal-flow condensation with and without noncondensables, condensation in small flow passages, and two-phase choked flow. Numerous solved examples and end-of-chapter problems that include many common design problems likely to be encountered by students, make this an essential text for graduate students. With up-to-date detail on the most recent research trends and practical applications, it is also an ideal reference for professionals and researchers in mechanical, nuclear, and chemical engineering.
Providing a comprehensive introduction to the fundamentals and applications of flow and heat transfer in conventional and miniature systems, this fully enhanced and updated edition covers all the topics essential for graduate courses on two-phase flow, boiling, and condensation. Beginning with a concise review of single-phase flow fundamentals and interfacial phenomena, detailed and clear discussion is provided on a range of topics, including two-phase hydrodynamics and flow regimes, mathematical modeling of gas-liquid two-phase flows, pool and flow boiling, flow and boiling in mini and microchannels, external and internal-flow condensation with and without noncondensables, condensation in small flow passages, and two-phase choked flow. Numerous solved examples and end-of-chapter problems that include many common design problems likely to be encountered by students, make this an essential text for graduate students. With up-to-date detail on the most recent research trends and practical applications, it is also an ideal reference for professionals and researchers in mechanical, nuclear, and chemical engineering.
Conceptual Mathematics
A First Introduction to Categories
2nd edition
, State University of New York, Buffalo, , State University of New York, Buffalo
Online ISBN: 9780511804199
Online publication date:
05 June 2012
Paperback ISBN: 9780521719162
Paperback publication date: 31 August 2009
Textbook
In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics introduces this tool for the learning, development, and use of mathematics, to beginning students and also to practising mathematical scientists. This book provides a skeleton key that makes explicit some concepts and procedures that are common to all branches of pure and applied mathematics. The treatment does not presuppose knowledge of specific fields, but rather develops, from basic definitions, such elementary categories as discrete dynamical systems and directed graphs; the fundamental ideas are then illuminated by examples in these categories. This second edition provides links with more advanced topics of possible study. In the new appendices and annotated bibliography the reader will find concise introductions to adjoint functors and geometrical structures, as well as sketches of relevant historical developments.
In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics introduces this tool for the learning, development, and use of mathematics, to beginning students and also to practising mathematical scientists. This book provides a skeleton key that makes explicit some concepts and procedures that are common to all branches of pure and applied mathematics. The treatment does not presuppose knowledge of specific fields, but rather develops, from basic definitions, such elementary categories as discrete dynamical systems and directed graphs; the fundamental ideas are then illuminated by examples in these categories. This second edition provides links with more advanced topics of possible study. In the new appendices and annotated bibliography the reader will find concise introductions to adjoint functors and geometrical structures, as well as sketches of relevant historical developments.
Logic in Computer Science
Modelling and Reasoning about Systems
2nd edition
, Imperial College of Science, Technology and Medicine, London, , University of Birmingham
Online ISBN: 9780511810275
Online publication date:
05 June 2012
Paperback ISBN: 9780521543101
Paperback publication date: 30 August 2004
Textbook
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.
An Introduction to Classical and Modal Logics
The Outlines of Knowledge
, Carnegie Mellon University, Pennsylvania
Coming soon
Online ISBN: 9781009450669
Expected online publication date:
August 2024
Paperback ISBN: 9781009450676
Expected Paperback publication date: 31 August 2024
Hardback ISBN: 9781009450690
Expected Hardback publication date: 31 August 2024
Textbook
Classical logic – which studies the structural features of purported claims of fact – and modal logic – which studies relations of necessity and possibility – are different but complementary areas of logical thought. In this lively and accessible textbook, Adam Bjorndahl provides a comprehensive and unified introduction to the two subjects, treating them with the same level of rigour and detail and showing how they fit together. The core material appears in the main text, with hundreds of supplemental examples, comments, clarifications, and connections presented throughout in easy-to-read sidenotes, giving the book a distinct conversational feel. A detailed, multi-part appendix covers important background mathematical material that some students may lack, such as induction or the concept of countable infinity. A fully self-contained learning resource, this book will be ideal for a semester-long upper-level university course on either or both of the topics.
Classical logic – which studies the structural features of purported claims of fact – and modal logic – which studies relations of necessity and possibility – are different but complementary areas of logical thought. In this lively and accessible textbook, Adam Bjorndahl provides a comprehensive and unified introduction to the two subjects, treating them with the same level of rigour and detail and showing how they fit together. The core material appears in the main text, with hundreds of supplemental examples, comments, clarifications, and connections presented throughout in easy-to-read sidenotes, giving the book a distinct conversational feel. A detailed, multi-part appendix covers important background mathematical material that some students may lack, such as induction or the concept of countable infinity. A fully self-contained learning resource, this book will be ideal for a semester-long upper-level university course on either or both of the topics.
Mechanics of Fluids
, University of Notre Dame, Indiana
Online ISBN: 9781009026307
Online publication date:
14 July 2023
Hardback ISBN: 9781316515693
Hardback publication date: 29 June 2023
Textbook
Providing a modern approach to classical fluid mechanics, this textbook presents an accessible and rigorous introduction to the field, with a strong emphasis on both mathematical exposition and physical problems. It includes a consistent treatment of a broad range of fluid mechanics topics, including governing equations, vorticity, potential flow, compressible flow, viscous flow, instability, and turbulence. It has enhanced coverage of geometry, coordinate transformations, kinematics, thermodynamics, heat transfer, and nonlinear dynamics. To round out student understanding, a robust emphasis on theoretical fundamentals and underlying mathematical details is provided, enabling students to gain confidence and develop a solid framework for further study. Included also are 180 end-of-chapter problems, with full solutions and sample course syllabi available for instructors. With sufficient coverage for a one- or two-semester sequence, this textbook provides an ideal flexible teaching pathway for graduate students in aerospace, mechanical, chemical, and civil engineering, and applied mathematics.
Providing a modern approach to classical fluid mechanics, this textbook presents an accessible and rigorous introduction to the field, with a strong emphasis on both mathematical exposition and physical problems. It includes a consistent treatment of a broad range of fluid mechanics topics, including governing equations, vorticity, potential flow, compressible flow, viscous flow, instability, and turbulence. It has enhanced coverage of geometry, coordinate transformations, kinematics, thermodynamics, heat transfer, and nonlinear dynamics. To round out student understanding, a robust emphasis on theoretical fundamentals and underlying mathematical details is provided, enabling students to gain confidence and develop a solid framework for further study. Included also are 180 end-of-chapter problems, with full solutions and sample course syllabi available for instructors. With sufficient coverage for a one- or two-semester sequence, this textbook provides an ideal flexible teaching pathway for graduate students in aerospace, mechanical, chemical, and civil engineering, and applied mathematics.
Introduction to Proofs and Proof Strategies
, University of Toronto
Online ISBN: 9781009089005
Online publication date:
08 June 2023
Paperback ISBN: 9781009096287
Paperback publication date: 22 June 2023
Textbook
Emphasizing the creative nature of mathematics, this conversational textbook guides students through the process of discovering a proof. The material revolves around possible strategies to approaching a problem without classifying 'types of proofs' or providing proof templates. Instead, it helps students develop the thinking skills needed to tackle mathematics when there is no clear algorithm or recipe to follow. Beginning by discussing familiar and fundamental topics from a more theoretical perspective, the book moves on to inequalities, induction, relations, cardinality, and elementary number theory. The final supplementary chapters allow students to apply these strategies to the topics they will learn in future courses. With its focus on 'doing mathematics' through 200 worked examples, over 370 problems, illustrations, discussions, and minimal prerequisites, this course will be indispensable to first- and second-year students in mathematics, statistics, and computer science. Instructor resources include solutions to select problems.
Emphasizing the creative nature of mathematics, this conversational textbook guides students through the process of discovering a proof. The material revolves around possible strategies to approaching a problem without classifying 'types of proofs' or providing proof templates. Instead, it helps students develop the thinking skills needed to tackle mathematics when there is no clear algorithm or recipe to follow. Beginning by discussing familiar and fundamental topics from a more theoretical perspective, the book moves on to inequalities, induction, relations, cardinality, and elementary number theory. The final supplementary chapters allow students to apply these strategies to the topics they will learn in future courses. With its focus on 'doing mathematics' through 200 worked examples, over 370 problems, illustrations, discussions, and minimal prerequisites, this course will be indispensable to first- and second-year students in mathematics, statistics, and computer science. Instructor resources include solutions to select problems.
Computing in Scilab
, University of Delhi
Online ISBN: 9781009214179
Online publication date:
15 October 2023
Paperback ISBN: 9781009214193
Paperback publication date: 23 February 2023
Textbook
SciLab is a free open-source computing and graphics tool that allows students to learn physical and mathematical concepts with ease. Computing in SciLab has been designed for undergraduate students of physics and electronics following the CBCS-LOCF syllabus, and with extensive coverage of concepts, it focuses primarily on the applications of SciLab in improving the problem-solving skills of readers. All these tools are classroom-tested and focus on data visualization and numerical computing with SCILAB. The book covers important topics like linear algebra, matrices, plotting tools, curve fitting, differential equations, integral calculus, Fourier analysis, and equation solving.
SciLab is a free open-source computing and graphics tool that allows students to learn physical and mathematical concepts with ease. Computing in SciLab has been designed for undergraduate students of physics and electronics following the CBCS-LOCF syllabus, and with extensive coverage of concepts, it focuses primarily on the applications of SciLab in improving the problem-solving skills of readers. All these tools are classroom-tested and focus on data visualization and numerical computing with SCILAB. The book covers important topics like linear algebra, matrices, plotting tools, curve fitting, differential equations, integral calculus, Fourier analysis, and equation solving.
Computer Architecture for Scientists
Principles and Performance
, University of Chicago
Online ISBN: 9781009000598
Online publication date:
25 March 2022
Hardback ISBN: 9781316518533
Hardback publication date: 12 May 2022
Textbook
The dramatic increase in computer performance has been extraordinary, but not for all computations: it has key limits and structure. Software architects, developers, and even data scientists need to understand how exploit the fundamental structure of computer performance to harness it for future applications. Ideal for upper level undergraduates, Computer Architecture for Scientists covers four key pillars of computer performance and imparts a high-level basis for reasoning with and understanding these concepts: Small is fast – how size scaling drives performance; Implicit parallelism – how a sequential program can be executed faster with parallelism; Dynamic locality – skirting physical limits, by arranging data in a smaller space; Parallelism – increasing performance with teams of workers. These principles and models provide approachable high-level insights and quantitative modelling without distracting low-level detail. Finally, the text covers the GPU and machine-learning accelerators that have become increasingly important for mainstream applications.
The dramatic increase in computer performance has been extraordinary, but not for all computations: it has key limits and structure. Software architects, developers, and even data scientists need to understand how exploit the fundamental structure of computer performance to harness it for future applications. Ideal for upper level undergraduates, Computer Architecture for Scientists covers four key pillars of computer performance and imparts a high-level basis for reasoning with and understanding these concepts: Small is fast – how size scaling drives performance; Implicit parallelism – how a sequential program can be executed faster with parallelism; Dynamic locality – skirting physical limits, by arranging data in a smaller space; Parallelism – increasing performance with teams of workers. These principles and models provide approachable high-level insights and quantitative modelling without distracting low-level detail. Finally, the text covers the GPU and machine-learning accelerators that have become increasingly important for mainstream applications.