Think Before You Compute: A Prelude to Computational Fluid Dynamics, E. J. Hinch
Автор: Strang Gilbert Название: Linear Algebra and Learning from Data ISBN: 0692196382 ISBN-13(EAN): 9780692196380 Издательство: Cambridge Academ Рейтинг: Цена: 9978.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Linear algebra and the foundations of deep learning, together at last! From Professor Gilbert Strang, acclaimed author of Introduction to Linear Algebra, comes Linear Algebra and Learning from Data, the first textbook that teaches linear algebra together with deep learning and neural nets. This readable yet rigorous textbook contains a complete course in the linear algebra and related mathematics that students need to know to get to grips with learning from data. Included are: the four fundamental subspaces, singular value decompositions, special matrices, large matrix computation techniques, compressed sensing, probability and statistics, optimization, the architecture of neural nets, stochastic gradient descent and backpropagation.
Автор: Nederpelt Название: Type Theory and Formal Proof ISBN: 110703650X ISBN-13(EAN): 9781107036505 Издательство: Cambridge Academ Рейтинг: Цена: 10611.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
Автор: J.-J. Ch. Meyer, W. van der Hoek Название: Epistemic Logic for AI and Computer Science ISBN: 0521602807 ISBN-13(EAN): 9780521602808 Издательство: Cambridge Academ Рейтинг: Цена: 9186.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included with their solutions.
Описание: This guide to computational fluid mechanics is for any beginning graduate student who is thinking of computing a flow. The text starts with a quick introduction to enable students to solve numerically a simple problem by a simple method, before detailing all the key essentials and discussing optional advanced topics.
Автор: Chi Tat Chong, Liang Yu Название: Recursion Theory: Computational Aspects of Definability ISBN: 3110275554 ISBN-13(EAN): 9783110275551 Издательство: Walter de Gruyter Цена: 20712.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory.The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent results on the structure theory of Turing and hyperdegrees. It also features a chapter on the applications of these investigations to higher randomness.
Автор: von zur Gathen Название: Modern Computer Algebra ISBN: 1107039037 ISBN-13(EAN): 9781107039032 Издательство: Cambridge Academ Рейтинг: Цена: 17582.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Designed to accompany one- or two-semester courses for advanced undergraduate or graduate students, this textbook is widely regarded as the `bible of computer algebra`. Its comprehensiveness and reliability also makes it an essential reference for professionals. This updated edition includes an overview of recent improvements in areas like primality testing.
Описание: This book focuses mainly on the recent developments of all types of theoretical, mathematical, and computational conceptions, as well as modelling and simulation of specific research themes covering all scientific and technical disciplines from chemistry, physics, and engineering to biology and medicine. The book contains timely reviews and research covering fundamental and applied research aspects in all disciplines of natural sciences, including their historical representations and philosophical perspectives. The book discusses the fact that the largest and smallest values of the fukui function and local softness do not necessarily correspond to the softness and hardness regions of the molecules such as porphyrins. The authors have adopted two popular calculation procedures for this venture. One is the very old Huckel molecular orbital calculation, and the other is one of best semi-empirical AM-1 procedures for such systems. Our finding is that neither the fukui functions nor the local softnesses can predict the preferred donor sites of porphyrins toward metal ions.
Автор: Nadezhda M. Afanasyeva,Victor S. Borisov,Aleksandr Название: Computational Technologies: A First Course ISBN: 3110359928 ISBN-13(EAN): 9783110359923 Издательство: Walter de Gruyter Цена: 7429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book wedescribe the basic elements of present computational technologies that use the algorithmic languages C/C++. The emphasis is on GNU compilers and libraries, FOSS for the solution of computational mathematics problems and visualization of the obtained data. At the beginning, a brief introduction to C is given with emphasis on its easy use in scientific and engineering computations.We describe the basic elements of the language, such as variables, data types, executable statements, functions, arrays, pointers, dynamic memory and file management. After that, we present some observations on the C++ programming language.We discuss the issues of program compiling, linking, and debugging. A quick guide to Eclipse is also presented in the book. The main features for editing, compiling, debugging and application assembling are considered.As examples, wesolve the standard problems of computational mathematics: operations with vectors and matrices, linear algebra problems, solution of nonlinear equations, numerical differentiation and integration, interpolation, initial value problems for ODEs and so on. Finally, basic features ofcomputational technologies are illustrated with model problems. All programs are implemented in C/C++ with using the GSL library. Gnuplot is employed to visualize the results of computations.
Автор: Wazwaz Abdul-Majid Название: A First Course in Integral Equations: Solutions Manual: 2nd Edition ISBN: 9814675156 ISBN-13(EAN): 9789814675154 Издательство: World Scientific Publishing Рейтинг: Цена: 5069.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The second edition of A First Course in Integral Equations integrates the newly developed methods with classical techniques to give modern and robust approaches for solving integral equations.
Автор: Petr N. Vabishchevich Название: Computational Technologies: Advanced Topics ISBN: 3110359944 ISBN-13(EAN): 9783110359947 Издательство: Walter de Gruyter Цена: 9288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses questions of numerical solutions of applied problems on parallel computing systems. Nowadays, engineering and scientific computations are carried out on parallel computing systems, which provide parallel data processing on a few computing nodes. In the development of up-to-date applied software, this feature of computers must be taken into account for the maximum efficient usage of their resources. In constructing computational algorithms, we should separate relatively independent subproblems in order to solve them on a single computing node.
Автор: Kehui Sun Название: Chaotic Secure Communication: Principles and Technologies ISBN: 3110426889 ISBN-13(EAN): 9783110426885 Издательство: Walter de Gruyter Рейтинг: Цена: 18586.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The monograph begins with a systematic introduction of chaos and chaos synchronization, and then extends to the methodologies and technologies in secure communication system design and implementation. The author combines theoretical frameworks with empirical studies, making the book a pratical reference for both academics and industrial engineers.
Автор: Dingyu Xue Название: [Set MATLAB] ISBN: 3110675927 ISBN-13(EAN): 9783110675924 Издательство: Walter de Gruyter Цена: 44629.00 р. Наличие на складе: Нет в наличии.
Описание:
This MATLAB SET is from the viewpoint of an engineering professor, concentrating on solving various applied mathematical problems with tools. Many innovative skills and general-purpose solvers are provided to solve problems with MATLAB, whereas not possible by any other existing solvers, so as to better illustrate the applications of computer tools in solving mathematical problems in every mathematics branches.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
