Book picks similar to
Metamath by Norman Megill


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

Get Your Hands Dirty on Clean Architecture: A hands-on guide to creating clean web applications with code examples in Java


Tom Hombergs - 2019
    

Computational Geometry: Algorithms and Applications


Mark de Berg - 1997
    The focus is on algorithms and hence the book is well suited for students in computer science and engineering. Motivation is provided from the application areas: all solutions and techniques from computational geometry are related to particular applications in robotics, graphics, CAD/CAM, and geographic information systems. For students this motivation will be especially welcome. Modern insights in computational geometry are used to provide solutions that are both efficient and easy to understand and implement. All the basic techniques and topics from computational geometry, as well as several more advanced topics, are covered. The book is largely self-contained and can be used for self-study by anyone with a basic background in algorithms. In the second edition, besides revisions to the first edition, a number of new exercises have been added.

Bayesian Statistics the Fun Way: Understanding Statistics and Probability with Star Wars, Lego, and Rubber Ducks


Will Kurt - 2019
    But many people use data in ways they don't even understand, meaning they aren't getting the most from it. Bayesian Statistics the Fun Way will change that.This book will give you a complete understanding of Bayesian statistics through simple explanations and un-boring examples. Find out the probability of UFOs landing in your garden, how likely Han Solo is to survive a flight through an asteroid shower, how to win an argument about conspiracy theories, and whether a burglary really was a burglary, to name a few examples.By using these off-the-beaten-track examples, the author actually makes learning statistics fun. And you'll learn real skills, like how to:- How to measure your own level of uncertainty in a conclusion or belief- Calculate Bayes theorem and understand what it's useful for- Find the posterior, likelihood, and prior to check the accuracy of your conclusions- Calculate distributions to see the range of your data- Compare hypotheses and draw reliable conclusions from themNext time you find yourself with a sheaf of survey results and no idea what to do with them, turn to Bayesian Statistics the Fun Way to get the most value from your data.

Introduction to Superstrings and M-Theory


Michio Kaku - 1989
    Called by some, "the theory of everything," superstrings may solve a problem that has eluded physicists for the past 50 years, the final unification of the two great theories of the twentieth century, general relativity and quantum field theory. Now, here is a thoroughly revised, second edition of a course-tested comprehensive introductory graduate text on superstrings which stresses the most current areas of interest, not covered in other presentations, including: - Four-dimensional superstrings - Kac-Moody algebras - Teichm�ller spaces and Calabi-Yau manifolds - M-theory Membranes and D-branes - Duality and BPS relations - Matrix models The book begins with a simple discussion of point particle theory, and uses Feynman path integrals to unify the presentation of superstrings. It has been updated throughout, and three new chapters on M-theory have been added. Prerequisites are an acquaintance with quantum mechanics and relativity.

Deep Learning


Ian Goodfellow - 2016
    Because the computer gathers knowledge from experience, there is no need for a human computer operator to formally specify all the knowledge that the computer needs. The hierarchy of concepts allows the computer to learn complicated concepts by building them out of simpler ones; a graph of these hierarchies would be many layers deep. This book introduces a broad range of topics in deep learning.The text offers mathematical and conceptual background, covering relevant concepts in linear algebra, probability theory and information theory, numerical computation, and machine learning. It describes deep learning techniques used by practitioners in industry, including deep feedforward networks, regularization, optimization algorithms, convolutional networks, sequence modeling, and practical methodology; and it surveys such applications as natural language processing, speech recognition, computer vision, online recommendation systems, bioinformatics, and videogames. Finally, the book offers research perspectives, covering such theoretical topics as linear factor models, autoencoders, representation learning, structured probabilistic models, Monte Carlo methods, the partition function, approximate inference, and deep generative models.Deep Learning can be used by undergraduate or graduate students planning careers in either industry or research, and by software engineers who want to begin using deep learning in their products or platforms. A website offers supplementary material for both readers and instructors.

The Universal History of Numbers: From Prehistory to the Invention of the Computer


Georges Ifrah - 1981
    A riveting history of counting and calculating, from the time of the cave dwellers to the twentieth century, this fascinating volume brings numbers to thrilling life, explaining their development in human terms, the intriguing situations that made them necessary, and the brilliant achievements in human thought that they made possible. It takes us through the numbers story from Europe to China, via ancient Greece and Rome, Mesopotamia, Latin America, India, and the Arabic countries. Exploring the many ways civilizations developed and changed their mathematical systems, Ifrah imparts a unique insight into the nature of human thought–and into how our understanding of numbers and the ways they shape our lives have changed and grown over thousands of years.

Sacred Number: The Secret Quality of Quantities


Miranda Lundy - 2005
    Beautifully illustrated with old engravings as well as contemporary imagery, Sacred Number introduces basic counting systems; significant numbers from major religious texts; the importance of astronomy, geometry, and music to number quality; how numbers affect architecture. Lundy explains why the ideas of Pythagoras still resonate, and she profiles each number from one to ten to show its distinct qualities: why, for example, the golden section is associated with five, and seven with the Virgin Mary.

Calculus Made Easy


Silvanus Phillips Thompson - 1910
    With a new introduction, three new chapters, modernized language and methods throughout, and an appendix of challenging and enjoyable practice problems, Calculus Made Easy has been thoroughly updated for the modern reader.

Introducing Python: Modern Computing in Simple Packages


Bill Lubanovic - 2013
    In addition to giving a strong foundation in the language itself, Lubanovic shows how to use it for a range of applications in business, science, and the arts, drawing on the rich collection of open source packages developed by Python fans.It's impressive how many commercial and production-critical programs are written now in Python. Developed to be easy to read and maintain, it has proven a boon to anyone who wants applications that are quick to write but robust and able to remain in production for the long haul.This book focuses on the current version of Python, 3.x, while including sidebars about important differences with 2.x for readers who may have to deal with programs in that version.

Computational Complexity


Sanjeev Arora - 2007
    Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and seminars. More than 300 exercises are included with a selected hint set.

The Art of Doing Science and Engineering: Learning to Learn


Richard Hamming - 1996
    By presenting actual experiences and analyzing them as they are described, the author conveys the developmental thought processes employed and shows a style of thinking that leads to successful results is something that can be learned. Along with spectacular successes, the author also conveys how failures contributed to shaping the thought processes. Provides the reader with a style of thinking that will enhance a person's ability to function as a problem-solver of complex technical issues. Consists of a collection of stories about the author's participation in significant discoveries, relating how those discoveries came about and, most importantly, provides analysis about the thought processes and reasoning that took place as the author and his associates progressed through engineering problems.

75 Worksheets for Daily Math Practice: Addition, Subtraction, Multiplication, Division: Maths Workbook


Kapoo Stem - 2014
    There is one worksheet for each type of math problem including different digits with operations of addition, subtraction, multiplication and division. These varying level of mathematical ability activities help in improving adding, subtracting, multiplying and dividing operation skills of the student by frequent practicing of the worksheets provided.There is nothing more effective than a pencil and paper for practicing some math skills. These math worksheets are ideal for teachers, parents, students, and home schoolers. The companion ebook allows you to take print outs of these worksheets instantly or you can save them for later use. The learner can significantly improve math knowledge by developing a simple habit to daily practice the math drills.Tutors and homeschoolers use the maths worksheets to test and measure the child's mastery of basic math skills. These math drill sheets can save you precious planning time when homeschooling as you can use these work sheets to give extra practice of essential math skills. Parents use these mathematics worksheets for their kids homework practice too.Designed for after school study and self study, it is used by homeschooler, special needs and gifted kids to add to the learning experience in positive ways. You can also use the worksheets during the summer to get your children ready for the upcoming school term. It helps your child excel in school as well as in building good study habits. If a workbook or mathematic textbook is not allowing for much basic practise, these sheets give you the flexibility to follow the practice that your student needs for an education curriculum.These worksheets are not designed to be grade specific for students, rather depend on how much practice they've had at the skill in the past and how the curriculum in your school is organized. Kids work at their own level and their own pace through these activities. The learner can practice one worksheet a day, two worksheets a day, one every alternate day, one per week, two per week or can follow any consistent pattern. Make best use of your judgement.

The Quark and the Jaguar: Adventures in the Simple and the Complex


Murray Gell-Mann - 1994
    Nobel laureate Murray Gell-Mann offers a uniquely personal and unifying vision of the relationship between the fundamental laws of physics and the complexity and diversity of the natural world.

Linear Algebra Done Right


Sheldon Axler - 1995
    The novel approach taken here banishes determinants to the end of the book and focuses on the central goal of linear algebra: understanding the structure of linear operators on vector spaces. The author has taken unusual care to motivate concepts and to simplify proofs. For example, the book presents - without having defined determinants - a clean proof that every linear operator on a finite-dimensional complex vector space (or an odd-dimensional real vector space) has an eigenvalue. A variety of interesting exercises in each chapter helps students understand and manipulate the objects of linear algebra. This second edition includes a new section on orthogonal projections and minimization problems. The sections on self-adjoint operators, normal operators, and the spectral theorem have been rewritten. New examples and new exercises have been added, several proofs have been simplified, and hundreds of minor improvements have been made throughout the text.

Mathematical Methods for Physics and Engineering: A Comprehensive Guide


K.F. Riley - 1998
    As well as lucid descriptions of all the topics and many worked examples, it contains over 800 exercises. New stand-alone chapters give a systematic account of the 'special functions' of physical science, cover an extended range of practical applications of complex variables, and give an introduction to quantum operators. Further tabulations, of relevance in statistics and numerical integration, have been added. In this edition, half of the exercises are provided with hints and answers and, in a separate manual available to both students and their teachers, complete worked solutions. The remaining exercises have no hints, answers or worked solutions and can be used for unaided homework; full solutions are available to instructors on a password-protected web site, www.cambridge.org/9780521679718.