London mathematical society student texts, Tointon, Matthew C. H. (university Of Cambridge)
Автор: Daniel J. Velleman Название: How to Prove It : A Structured Approach ISBN: 1108439535 ISBN-13(EAN): 9781108439534 Издательство: Cambridge Academ Рейтинг: Цена: 5861.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling text`s third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs, with a new chapter on number theory and over 150 new exercises.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108411398 ISBN-13(EAN): 9781108411394 Издательство: Cambridge Academ Рейтинг: Цена: 4434.00 р. Наличие на складе: Поставка под заказ.
Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.
Автор: Dingyu Xue Название: Solving Optimization Problems with MATLAB ISBN: 3110663643 ISBN-13(EAN): 9783110663648 Издательство: Walter de Gruyter Цена: 11148.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book focuses on solving optimization problems with MATLAB. Descriptions and solutions of nonlinear equations of any form are studied first. Focuses are made on the solutions of various types of optimization problems, including unconstrained and constrained optimizations, mixed integer, multiobjective and dynamic programming problems. Comparative studies and conclusions on intelligent global solvers are also provided.
Автор: Dingyu Xue Название: Linear Algebra and Matrix Computations With MATLAB ISBN: 3110663635 ISBN-13(EAN): 9783110663631 Издательство: Walter de Gruyter Цена: 11148.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book focuses the solutions of linear algebra and matrix analysis problems, with the exclusive use of MATLAB. The topics include representations, fundamental analysis, transformations of matrices, matrix equation solutions as well as matrix functions. Attempts on matrix and linear algebra applications are also explored.
Автор: Dingyu Xue Название: Calculus Problem Solutions With MATLAB ISBN: 3110663627 ISBN-13(EAN): 9783110663624 Издательство: Walter de Gruyter Цена: 11148.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book focuses on solving practical problems in calculus with MATLAB. Descriptions and sketching of functions and sequences are introduced first, followed by the analytical solutions of limit, differentiation, integral and function approximation problems of univariate and multivariate functions. Advanced topics such as numerical differentiations and integrals, integral transforms as well as fractional calculus are also covered in the book.
Автор: Dingyu Xue Название: MATLAB Programming: Mathematical Problem Solutions ISBN: 3110663562 ISBN-13(EAN): 9783110663563 Издательство: Walter de Gruyter Цена: 11148.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book presents fundamentals in MATLAB programming, including data and statement structures, control structures, function writing and bugging in MATLAB programming, followed by the presentations of algebraic computation, transcendental function evaluations and data processing. Advanced topics such as MATLAB interfacing, object-oriented programming and graphical user interface design are also addressed.
Описание: Our self-contained volume provides an accessible introduction to linear and multilinear algebra as well as tensor calculus. Besides the standard techniques for linear algebra, multilinear algebra and tensor calculus, many advanced topics are included where emphasis is placed on the Kronecker product and tensor product. The Kronecker product has widespread applications in signal processing, discrete wavelets, statistical physics, Hopf algebra, Yang-Baxter relations, computer graphics, fractals, quantum mechanics, quantum computing, entanglement, teleportation and partial trace. All these fields are covered comprehensively.The volume contains many detailed worked-out examples. Each chapter includes useful exercises and supplementary problems. In the last chapter, software implementations are provided for different concepts. The volume is well suited for pure and applied mathematicians as well as theoretical physicists and engineers.New topics added to the third edition are: mutually unbiased bases, Cayley transform, spectral theorem, nonnormal matrices, Gateaux derivatives and matrices, trace and partial trace, spin coherent states, Clebsch-Gordan series, entanglement, hyperdeterminant, tensor eigenvalue problem, Carleman matrix and Bell matrix, tensor fields and Ricci tensors, and software implementations.
Описание: A comprehensive introduction to the multidisciplinary applications of mathematical methods, revised and updated The second edition of Essentials of Mathematical Methods in Science and Engineering offers an introduction to the key mathematical concepts of advanced calculus, differential equations, complex analysis, and introductory mathematical physics for students in engineering and physics research. The book's approachable style is designed in a modular format with each chapter covering a subject thoroughly and thus can be read independently. This updated second edition includes two new and extensive chapters that cover practical linear algebra and applications of linear algebra as well as a computer file that includes Matlab codes.
To enhance understanding of the material presented, the text contains a collection of exercises at the end of each chapter. The author offers a coherent treatment of the topics with a style that makes the essential mathematical skills easily accessible to a multidisciplinary audience. This important text: - Includes derivations with sufficient detail so that the reader can follow them without searching for results in other parts of the book - Puts the emphasis on the analytic techniques - Contains two new chapters that explore linear algebra and its applications - Includes Matlab codes that the readers can use to practice with the methods introduced in the book Written for students in science and engineering, this new edition of Essentials of Mathematical Methods in Science and Engineering maintains all the successful features of the first edition and includes new information.
Автор: Watrous, John (university Of Waterloo, Ontario) Название: The theory of quantum information ISBN: 1107180562 ISBN-13(EAN): 9781107180567 Издательство: Cambridge Academ Рейтинг: Цена: 11563.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intended for graduate students and researchers, this book presents a formal development of the mathematical theory of quantum information. Largely self-contained, with clear proofs and a wide range of exercises, it will help the reader grasp the fundamental facts and techniques that form the mathematical foundations of the subject.
Автор: Smullyan Raymond M Название: Beginner`S Further Guide To Mathematical Logic, A ISBN: 9814725722 ISBN-13(EAN): 9789814725729 Издательство: World Scientific Publishing Рейтинг: Цена: 3168.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on G del's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.
Автор: Mazur Название: Prime Numbers and the Riemann Hypothesis ISBN: 1107101921 ISBN-13(EAN): 9781107101920 Издательство: Cambridge Academ Рейтинг: Цена: 8395.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces prime numbers and explains the celebrated, unsolved Riemann hypothesis in a direct manner. Suitable for both scholars and those with a minimal mathematical background.
Автор: Eisenbud Название: 3264 and All That ISBN: 1107017084 ISBN-13(EAN): 9781107017085 Издательство: Cambridge Academ Рейтинг: Цена: 15206.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book can form the basis of a second course in algebraic geometry. As motivation, it takes concrete questions from enumerative geometry and intersection theory, and provides intuition and technique so that the student develops the ability to solve geometric problems. It also contains abundant examples, exercises and solutions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
