Jacob T. Schwartz - Böcker
Visar alla böcker från författaren Jacob T. Schwartz. Handla med fri frakt och snabb leverans.
25 produkter
25 produkter
4 885 kr
Tillfälligt slut
This set features: Linear Operators, Part 1, General Theory (978-0-471-60848-6), Linear Operators, Part 2, Spectral Theory, Self Adjoint Operators in Hilbert Space (978-0-471-60847-9), and Linear Operators, Part 3, Spectral Operators (978-0-471-60846-2), all by Neilson Dunford and Jacob T. Schwartz. This classic text, written by two notable mathematicians, constitutes a comprehensive survey of the general theory of linear operations, together with applications to the diverse fields of more classical analysis. Dunford and Schwartz emphasize the significance of the relationships between the abstract theory and its applications. This text has been written for the student as well as for the mathematician—treatment is relatively self-contained. This is a paperback edition of the original work, unabridged, in three volumes.
2 193 kr
Skickas inom 7-10 vardagar
This classic text, written by two notable mathematicians, constitutes a comprehensive survey of the general theory of linear operations, together with applications to the diverse fields of more classical analysis. Dunford and Schwartz emphasize the significance of the relationships between the abstract theory and its applications. This text has been written for the student as well as for the mathematician—treatment is relatively self-contained. This is a paperback edition of the original work, unabridged, in three volumes.
Del 9 - Wiley Classics Library
Linear Operators, Part 2
Spectral Theory, Self Adjoint Operators in Hilbert Space
Häftad, Engelska, 1988
2 290 kr
Skickas inom 7-10 vardagar
This classic text, written by two notable mathematicians, constitutes a comprehensive survey of the general theory of linear operations, together with applications to the diverse fields of more classical analysis. Dunford and Schwartz emphasize the significance of the relationships between the abstract theory and its applications. This text has been written for the student as well as for the mathematician—treatment is relatively self-contained. This is a paperback edition of the original work, unabridged, in three volumes.
2 193 kr
Skickas inom 7-10 vardagar
This classic text, written by two notable mathematicians, constitutes a comprehensive survey of the general theory of linear operations, together with applications to the diverse fields of more classical analysis. Dunford and Schwartz emphasize the significance of the relationships between the abstract theory and its applications. This text has been written for the student as well as for the mathematician—treatment is relatively self-contained. This is a paperback edition of the original work, unabridged, in three volumes.
1 064 kr
Skickas inom 10-15 vardagar
This collection of essays and reviews on mathematics covers topics including logic, combinatorics, statistics, economics, artificial intelligence, computer science and other applications of maths. History and philosophy are also covered, including discussion of the work of Ulam, Kant, Heidegger and others.
905 kr
Skickas inom 10-15 vardagar
as anywhere today, it is becoming more d- ficult to tell the truth. To be sure, our store of accurate facts is more plentiful now than it has ever been, and the minutest details of history are being thoroughly recorded. Scientists, - men and scholars vie with each other in publishing excruciatingly definitive accounts of all that happens on the natural, political and historical scenes. Unfortunately, telling the truth is not quite the same thing as reciting a rosary of facts. Jos6 Ortega y Gasset, in an adm- able lesson summarized by Antonio Machado's three-line poem, prophetically warned us that the reason people so often lie is that they lack imagination: they don't realize that the truth, too, is a matter of invention. Sometime, in a future that is knocking at our door, we shall have to retrain ourselves or our children to properly tell the truth. The exercise will be particularly painful in mathematics. The enrapturing discoveries of our field systematically conceal, like footprints erased in the sand, the analogical train of thought that is the authentic life of mathematics. Shocking as it may be to a conservative logician, the day will come when currently MATHEMATICS, IN vague concepts such as motivation and purpose will be made formal and accepted as constituents of a revamped logic, where they will at last be allotted the equal status they deserve, si- by-side with axioms and theorems.
551 kr
Skickas inom 10-15 vardagar
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
352 kr
Tillfälligt slut
Robotics has come to attract the attention of mathematicians and theoretical computer scientists to a rapidly increasing degree. Initial investigations have shown that robotics is a rich source of deep theoretical problems, which range over computational geometry, control theory, and many aspects of physics, and whose solutions draw upon methods developed in subjects as diverse as automata theory, algebraic topology, and Fourier analysis. Also presented is some of this theoretical robotics research, emphasizing work relating to the geometric aspects of robot motion planning.
504 kr
Skickas inom 3-6 vardagar
371 kr
Skickas inom 3-6 vardagar
336 kr
Skickas inom 5-8 vardagar
168 kr
Skickas inom 5-8 vardagar
Identification of Partially Obscured Objects in two Dimensions by Matching of Noisy 'characteristic Curves, '
Inbunden, Engelska, 2023
336 kr
Skickas inom 5-8 vardagar
Internal, External, and Pragmatic Influences
Technical Perspectives in the Development of Programming Languages
Inbunden, Engelska, 2023
350 kr
Skickas inom 5-8 vardagar
Identification of Partially Obscured Objects in two Dimensions by Matching of Noisy 'characteristic Curves, '
Häftad, Engelska, 2023
168 kr
Skickas inom 5-8 vardagar
Internal, External, and Pragmatic Influences
Technical Perspectives in the Development of Programming Languages
Häftad, Engelska, 2023
182 kr
Skickas inom 5-8 vardagar
2 088 kr
Skickas inom 10-15 vardagar
First published in 1987, the seven chapters that comprise this book review contemporary work on the geometric side of robotics. The first chapter defines the fundamental goal of robotics in very broad terms and outlines a research agenda each of whose items constitutes a substantial area for further research. The second chapter presents recently developed techniques that have begun to address the geometric side of this research agenda and the third reviews several applied geometric ideas central to contemporary work on the problem of motion planning. The use of Voronoi diagrams, a theme opened in these chapters, is explored further later in the book. The fourth chapter develops a theme in computational geometry having obvious significance for the simplification of practical robotics problems — the approximation or decomposition of complex geometric objects into simple ones. The final chapters treat two examples of a class of geometric ‘reconstruction’ problem that have immediate application to computer-aided geometric design systems.
495 kr
Skickas inom 10-15 vardagar
First published in 1987, the seven chapters that comprise this book review contemporary work on the geometric side of robotics. The first chapter defines the fundamental goal of robotics in very broad terms and outlines a research agenda each of whose items constitutes a substantial area for further research. The second chapter presents recently developed techniques that have begun to address the geometric side of this research agenda and the third reviews several applied geometric ideas central to contemporary work on the problem of motion planning. The use of Voronoi diagrams, a theme opened in these chapters, is explored further later in the book. The fourth chapter develops a theme in computational geometry having obvious significance for the simplification of practical robotics problems — the approximation or decomposition of complex geometric objects into simple ones. The final chapters treat two examples of a class of geometric ‘reconstruction’ problem that have immediate application to computer-aided geometric design systems.
1 667 kr
Skickas inom 10-15 vardagar
This title, first published in 1965, provides an analysis of the forces and mechanisms governing the formation of the overall level of money prices. Even though this problem has a long history, and in spite of its obvious practical importance, it remains one of the most poorly understood questions in economic theory. This title will be of interest to students of monetary economics and the history of economic thought.
552 kr
Skickas inom 10-15 vardagar
This title, first published in 1965, provides an analysis of the forces and mechanisms governing the formation of the overall level of money prices. Even though this problem has a long history, and in spite of its obvious practical importance, it remains one of the most poorly understood questions in economic theory. This title will be of interest to students of monetary economics and the history of economic thought.
Design for Optimizations of the Bitvectoring Class. By J.T. Schwartz and M. Sharir
Inbunden, Engelska, 2015
456 kr
Skickas inom 3-6 vardagar
Design for Optimizations of the Bitvectoring Class. By J.T. Schwartz and M. Sharir
Häftad, Engelska, 2018
299 kr
Skickas inom 3-6 vardagar
251 kr
Skickas inom 3-6 vardagar
551 kr
Skickas inom 10-15 vardagar
This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn’s lemma.
299 kr
Skickas inom 3-6 vardagar