Book picks similar to
Metamath by Norman Megill


03-logic
68-computer-science
computer-science
major-non-fiction

Electronic Devices and Circuit Theory


Robert L. Boylestad - 2005
    Boylestad and Nashelsky offer students a complete and comprehensive survey, focusing on all the essentials they will need to succeed on the job. This very readable presentation is supported by strong pedagogy and content that is ideal for new students of this rapidly changing field. Its colorful, student-friendly layout boasts a large number of stunning photographs. A broad range of ancillary materials is available for instructor support.

Numerical Recipes in C: The Art of Scientific Computing


William H. Press - 1988
    In a self-contained manner it proceeds from mathematical and theoretical considerations to actual practical computer routines. With over 100 new routines bringing the total to well over 300, plus upgraded versions of the original routines, the new edition remains the most practical, comprehensive handbook of scientific computing available today.

Linear Algebra


Stephen H. Friedberg - 1979
     This top-selling, theorem-proof text presents a careful treatment of the principal topics of linear algebra, and illustrates the power of the subject through a variety of applications. It emphasizes the symbiotic relationship between linear transformations and matrices, but states theorems in the more general infinite-dimensional case where appropriate.

Mathematics and Its History


John Stillwell - 1997
    Even when dealing with standard material, Stillwell manages to dramatize it and to make it worth rethinking. In short, his book is a splendid addition to the genre of works that build royal roads to mathematical culture for the many." (Mathematical Intelligencer)This second edition includes new chapters on Chinese and Indian number theory, on hypercomplex numbers, and on algebraic number theory. Many more exercises have been added, as well as commentary to the exercises explaining how they relate to the preceding section, and how they foreshadow later topics.

Grace Hopper: Queen of Computer Code


Laurie Wallmark - 2017
    Who was Grace Hopper? A software tester, workplace jester, cherished mentor, ace inventor, avid reader, naval leader—AND rule breaker, chance taker, and troublemaker. Grace Hopper coined the term “computer bug” and taught computers to “speak English,” and throughout her life succeeded in doing what no one had ever done before. Delighting in difficult ideas and in defying expectations, the insatiably curious Hopper truly is “Amazing Grace” . . . and a role model for science- and math-minded girls and boys.

An Introduction to Game Theory


Martin J. Osborne - 2003
    An Introduction to Game Theory, by Martin J. Osborne, presents the main principles of game theory and shows how they can be used to understand economic, social, political, and biological phenomena. The book introduces in an accessible manner the main ideas behind the theory rather than their mathematical expression. All concepts are defined precisely, and logical reasoning is used throughout. The book requires an understanding of basic mathematics but assumes no specific knowledge of economics, political science, or other social or behavioral sciences. Coverage includes the fundamental concepts of strategic games, extensive games with perfect information, and coalitional games; the more advanced subjects of Bayesian games and extensive games with imperfect information; and the topics of repeated games, bargaining theory, evolutionary equilibrium, rationalizability, and maxminimization. The book offers a wide variety of illustrations from the social and behavioral sciences and more than 280 exercises. Each topic features examples that highlight theoretical points and illustrations that demonstrate how the theory may be used. Explaining the key concepts of game theory as simply as possible while maintaining complete precision, An Introduction to Game Theory is ideal for undergraduate and introductory graduate courses in game theory.

The Mathematical Theory of Communication


Claude Shannon - 1949
    Republished in book form shortly thereafter, it has since gone through four hardcover and sixteen paperback printings. It is a revolutionary work, astounding in its foresight and contemporaneity. The University of Illinois Press is pleased and honored to issue this commemorative reprinting of a classic.

Quantum Mechanics: Concepts and Applications


Nouredine Zettili - 2001
    It combines the essential elements of the theory with the practical applications. Containing many examples and problems with step-by-step solutions, this cleverly structured text assists the reader in mastering the machinery of quantum mechanics. * A comprehensive introduction to the subject * Includes over 65 solved examples integrated throughout the text * Includes over 154 fully solved multipart problems * Offers an indepth treatment of the practical mathematical tools of quantum mechanics * Accessible to teachers as well as students

The Origins of Order: Self-Organization and Selection in Evolution


Stuart A. Kauffman - 1993
    The book drives to the heart of the exciting debate on the origins of life and maintenance of order in complex biological systems. It focuses on the concept of self-organization: the spontaneous emergence of order that is widely observed throughout nature Kauffman argues that self-organization plays an important role in the Darwinian process of natural selection. Yet until now no systematic effort has been made to incorporate the concept of self-organization into evolutionary theory. The construction requirements which permit complex systems to adapt are poorly understood, as is the extent to which selection itself can yield systems able to adapt more successfully. This book explores these themes. It shows how complex systems, contrary to expectations, can spontaneously exhibit stunning degrees of order, and how this order, in turn, is essential for understanding the emergence and development of life on Earth. Topics include the new biotechnology of applied molecular evolution, with its important implications for developing new drugs and vaccines; the balance between order and chaos observed in many naturally occurring systems; new insights concerning the predictive power of statistical mechanics in biology; and other major issues. Indeed, the approaches investigated here may prove to be the new center around which biological science itself will evolve. The work is written for all those interested in the cutting edge of research in the life sciences.

Linear Algebra


Georgi E. Shilov - 1971
    Shilov, Professor of Mathematics at the Moscow State University, covers determinants, linear spaces, systems of linear equations, linear functions of a vector argument, coordinate transformations, the canonical form of the matrix of a linear operator, bilinear and quadratic forms, Euclidean spaces, unitary spaces, quadratic forms in Euclidean and unitary spaces, finite-dimensional algebras and their representations, with an appendix on categories of finite-dimensional spaces.The author begins with elementary material and goes easily into the advanced areas, covering all the standard topics of an advanced undergraduate or beginning graduate course. The material is presented in a consistently clear style. Problems are included, with a full section of hints and answers in the back.Keeping in mind the unity of algebra, geometry and analysis in his approach, and writing practically for the student who needs to learn techniques, Professor Shilov has produced one of the best expositions on the subject. Because it contains an abundance of problems and examples, the book will be useful for self-study as well as for the classroom.

Django for Beginners: Learn web development with Django 2.0


William S. Vincent - 2018
    Proceed step-by-step through five progressively more complex web applications: from a "Hello World" app all the way to a robust Newspaper app with a custom user model, complete user authentication flow, foreign key relationships, and more. Learn current best practices around class-based views, templates, urls, user authentication, testing, and deployment. The material is up-to-date with the latest versions of both Django (2.0) and Python (3.6). TABLE OF CONTENTS: * Introduction * Chapter 1: Initial Setup * Chapter 2: Hello World app * Chapter 3: Pages app * Chapter 4: Message Board app * Chapter 5: Blog app * Chapter 6: Forms * Chapter 7: User Accounts * Chapter 8: Custom User Model * Chapter 9: User Authentication * Chapter 10: Bootstrap * Chapter 11: Password Change and Reset * Chapter 12: Email * Chapter 13: Newspaper app * Chapter 14: Permissions and Authorizations * Chapter 15: Comments * Conclusion

Godel: A Life Of Logic, The Mind, And Mathematics


John L. Casti - 2000
    His Incompleteness Theorem turned not only mathematics but also the whole world of science and philosophy on its head. Equally legendary were Gö's eccentricities, his close friendship with Albert Einstein, and his paranoid fear of germs that eventually led to his death from self-starvation. Now, in the first popular biography of this strange and brilliant thinker, John Casti and Werner DePauli bring the legend to life. After describing his childhood in the Moravian capital of Brno, the authors trace the arc of Gö's remarkable career, from the famed Vienna Circle, where philosophers and scientists debated notions of truth, to the Institute for Advanced Study in Princeton, New Jersey, where he lived and worked until his death in 1978. In the process, they shed light on Gö's contributions to mathematics, philosophy, computer science, artificial intelligence -- even cosmology -- in an entertaining and accessible way.

Naive Set Theory


Paul R. Halmos - 1960
    This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set- theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the standard mathematical tools; the expert specialist will find nothing new here. Scholarly bibliographical credits and references are out of place in a purely expository book such as this one. The student who gets interested in set theory for its own sake should know, however, that there is much more to the subject than there is in this book. One of the most beautiful sources of set-theoretic wisdom is still Hausdorff's Set theory. A recent and highly readable addition to the literature, with an extensive and up-to-date bibliography, is Axiomatic set theory by Suppes.

Signals and Systems


Alan V. Oppenheim - 1982
    KEY TOPICS: The major changes of the revision are reorganization of chapter material and the addition of a much wider range of difficulties.

Data Science


John D. Kelleher - 2018
    Today data science determines the ads we see online, the books and movies that are recommended to us online, which emails are filtered into our spam folders, and even how much we pay for health insurance. This volume in the MIT Press Essential Knowledge series offers a concise introduction to the emerging field of data science, explaining its evolution, current uses, data infrastructure issues, and ethical challenges.It has never been easier for organizations to gather, store, and process data. Use of data science is driven by the rise of big data and social media, the development of high-performance computing, and the emergence of such powerful methods for data analysis and modeling as deep learning. Data science encompasses a set of principles, problem definitions, algorithms, and processes for extracting non-obvious and useful patterns from large datasets. It is closely related to the fields of data mining and machine learning, but broader in scope. This book offers a brief history of the field, introduces fundamental data concepts, and describes the stages in a data science project. It considers data infrastructure and the challenges posed by integrating data from multiple sources, introduces the basics of machine learning, and discusses how to link machine learning expertise with real-world problems. The book also reviews ethical and legal issues, developments in data regulation, and computational approaches to preserving privacy. Finally, it considers the future impact of data science and offers principles for success in data science projects.