Book picks similar to
Set Theory, Logic and Their Limitations by Moshe Machover


mathematics
logic
foundations-and-philosophy-of-maths
theory

Graph Theory With Applications To Engineering And Computer Science


Narsingh Deo - 2004
    GRAPH THEORY WITH APPLICATIONS TO ENGINEERING AND COMPUTER SCIENCE-PHI-DEO, NARSINGH-1979-EDN-1

Elements of Partial Differential Equations


Ian N. Sneddon - 2006
    It emphasizes forms suitable for students and researchers whose interest lies in solving equations rather than in general theory. Solutions to odd-numbered problems appear at the end. 1957 edition.

50 Mathematical Ideas You Really Need to Know


Tony Crilly - 2007
    Who invented zero? Why are there 60 seconds in a minute? Can a butterfly's wings really cause a storm on the far side of the world? In 50 concise essays, Professor Tony Crilly explains the mathematical concepts that allow use to understand and shape the world around us.

Introduction to the Theory of Computation


Michael Sipser - 1996
    Sipser's candid, crystal-clear style allows students at every level to understand and enjoy this field. His innovative "proof idea" sections explain profound concepts in plain English. The new edition incorporates many improvements students and professors have suggested over the years, and offers updated, classroom-tested problem sets at the end of each chapter.

Multiple View Geometry in Computer Vision


Richard Hartley - 2000
    This book covers relevant geometric principles and how to represent objects algebraically so they can be computed and applied. Recent major developments in the theory and practice of scene reconstruction are described in detail in a unified framework. Richard Hartley and Andrew Zisserman provide comprehensive background material and explain how to apply the methods and implement the algorithms. First Edition HB (2000): 0-521-62304-9

Machine Learning: A Probabilistic Perspective


Kevin P. Murphy - 2012
    Machine learning provides these, developing methods that can automatically detect patterns in data and then use the uncovered patterns to predict future data. This textbook offers a comprehensive and self-contained introduction to the field of machine learning, based on a unified, probabilistic approach.The coverage combines breadth and depth, offering necessary background material on such topics as probability, optimization, and linear algebra as well as discussion of recent developments in the field, including conditional random fields, L1 regularization, and deep learning. The book is written in an informal, accessible style, complete with pseudo-code for the most important algorithms. All topics are copiously illustrated with color images and worked examples drawn from such application domains as biology, text processing, computer vision, and robotics. Rather than providing a cookbook of different heuristic methods, the book stresses a principled model-based approach, often using the language of graphical models to specify models in a concise and intuitive way. Almost all the models described have been implemented in a MATLAB software package—PMTK (probabilistic modeling toolkit)—that is freely available online. The book is suitable for upper-level undergraduates with an introductory-level college math background and beginning graduate students.

Things to Make and Do in the Fourth Dimension


Matt Parker - 2014
    This book can be cut, drawn in, folded into shapes and will even take you to the fourth dimension. So join stand-up mathematician Matt Parker on a journey through narcissistic numbers, optimal dating algorithms, at least two different kinds of infinity and more.

Schaum's Outline of Discrete Mathematics (Schaum's Outline Series)


Seymour Lipschutz - 2009
    More than 40 million students have trusted Schaum's to help them succeed in the classroom and on exams. Schaum's is the key to faster learning and higher grades in every subject. Each Outline presents all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills. This Schaum's Outline gives you:  Practice problems with full explanations that reinforce knowledge Coverage of the most up-to-date developments in your course field In-depth review of practices and applications Fully compatible with your classroom text, Schaum's highlights all the important facts you need to know. Use Schaum's to shorten your study time-and get your best test scores! Schaum's Outlines-Problem Solved.

Mathematics for Class XII(CBSE)


R.D. Sharma
    

Philosophy of Mathematics: Selected Readings


Paul Benacerraf - 1983
    In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Godel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field.

Everything You Need to Ace Math in One Big Fat Notebook: The Complete Middle School Study Guide


Altair Peterson - 2016
        Everything You Need to Ace Math . . . covers everything to get a student over any math hump: fractions, decimals, and how to multiply and divide them; ratios, proportions, and percentages; geometry; statistics and probability; expressions and equations; and the coordinate plane and functions. The BIG FAT NOTEBOOK™ series is built on a simple and irresistible conceit—borrowing the notes from the smartest kid in class. There are five books in all, and each is the only book you need for each main subject taught in middle school: Math, Science, American History, English Language Arts, and World History. Inside the reader will find every subject’s key concepts, easily digested and summarized: Critical ideas highlighted in neon colors. Definitions explained. Doodles that illuminate tricky concepts in marker. Mnemonics for memorable shortcuts. And quizzes to recap it all. The BIG FAT NOTEBOOKS meet Common Core State Standards, Next Generation Science Standards, and state history standards, and are vetted by National and State Teacher of the Year Award–winning teachers. They make learning fun and are the perfect next step for every kid who grew up on Brain Quest.

U.S. History, Volume II: 1865-Present


Boundless - 2013
    History textbook is a college-level, introductory textbook that covers the exciting subject of U.S. History. Volume II covers 1865 through the present day. Boundless works with subject matter experts to select the best open educational resources available on the web, review the content for quality, and create introductory, college-level textbooks designed to meet the study needs of university students.This textbook covers:Reconstruction: 1865-1877 -- The End of the War, The Aftermath of the War, The Battle over Reconstruction, Reconstruction in the South, The Reconstructed South, The Grant PresidencyThe Gilded Age: 1870-1900 -- The Gilded Age, The Second Industrial Revolution, The Rise of the City, The Rise of Big Business, The Rise of Immigration, Work in Industrial America, The Transformation of the West, Conquest in the West, The Transformation of the South, Politics in the Gilded Age, Urban Reform, Corruption and Reform, The Agrarian and Populist Movements, The Silver SolutionRace, Empire, and Culture in the Gilded Age: 1870-1900 -- Culture in the Gilded Age, Popular Culture, Cheap Amusements, Education, The Rise of Realism, Labor and Domestic Tensions, The Labor Wars, War, Empire, and an Emerging American World PowerThe Progressive Era: 1890-1917 -- The Progressive Era, Labor, Local, and Political Reform, The Politics of Progressivism, Grassroots Progressivism, Progressivism: Theory and Practice, Changing Ideas of Freedom, Roosevelt's Progressivism, Roosevelt's Second Term, From Roosevelt to Taft, Woodrow Wilson and Progressivism, The Limits of ProgressivismWorld War I: 1914-1919 -- The Wilson Administration, American Neutrality, America's Entry into the War, America and WWI, The War at Home, The "American", The Fight for Peace, Diplomacy & Negotiations at the War's End, The Transition to Peace: 1919-21From the New Era to the Great Depression: 1920-1933 -- The New Era, The Roaring Twenties, The Culture of Change, Resistance to Change, Wall Street Crash of 1929, The Great DepressionThe New Deal: 1933-1940 -- Franklin D. Roosevelt and the First New Deal, The New Deal, Critical Interpretations of the New Deal, The Social Cost of the Depression, Toward a Welfare State, Roosevelt's Second Term, Culture in the Thirties, The Second New Deal, The Legacy of the New DealFrom Isolation to World War II: 1930-1943 -- Non-Interventionism, The Beginning of the War, Conflict in Europe, Conflict in the Pacific, America's Early Involvement, Mobilization in the U.S., Social Effects of the War, The War in Germany, The War in the Pacific, The End of WWIIThe Cold War: 1947-1991 -- Origins of the Cold War, The Cold War, Truman and the Fair Deal, The Cold War and KoreaThe Politics and Culture of Abundance: 1943-1960 -- The Politics of Abundance, The Culture of Abundance, The Eisenhower Administration, The Policy of Containment, The Emergence of the Civil Rights MovementThe Sixties: 1960-1969 -- The Election of 1960, The Expansion of the Civil Rights Movement, Counterculture, The John F. Kennedy Administration, The Lyndon B. Johnson AdministrationThe Conservative Turn of America: 1968-1989 -- The Nixon Administration, Watergate, The Ford Administration, The Carter Administration, The Reagan AdministrationThe Challenges of Globalization and the Coming Century: After 1989 -- The George H.W. Bush Administration, America's Emerging Culture, The Clinton Administration, Globalization and the U.S.

Admission Assessment Exam Review


HESI - 2012
    Plus, it helps you identify areas of weakness so you can focus your study time. Sample problems and step-by-step examples with explanations in the math and physics sections show you how to work through each problem so you understand the steps it takes to complete the equation. Practice tests with answer keys for each topic - located in the appendices for quick access - help you assess your understanding of each topic and familiarize you with the types of questions you're likely to encounter on the actual exam. HESI Hints boxes offer valuable test-taking tips, as well as rationales, suggestions, examples, and reminders for specific topics.End-of-chapter review questions help you gauge your understanding of chapter content.A full-color layout and more illustrations in the life science chapters visually reinforce key concepts for better understanding.Expanded and updated content in each chapter ensures you're studying the most current content.Basic algebra review in the math section offers additional review and practice.Color-coded chapters help you quickly find specific topic sections.Helpful organizational features in each chapter include an introduction, key terms, chapter outline, and a bulleted chapter summary to help you focus your study.A glossary at the end of the text offers quick access to key terms and their definitions.

Digital Communications


John G. Proakis - 1983
    Includes expert coverage of new topics: Turbocodes, Turboequalization, Antenna Arrays, Digital Cellular Systems, and Iterative Detection. Convenient, sequential organization begins with a look at the historyo and classification of channel models and builds from there.

The World Treasury of Physics, Astronomy & Mathematics from Albert Einstein to Stephen W. Hawking & from Annie Dillard to John Updike


Timothy Ferris - 1991
    Each expresses a perspective on the Sciences.