Book picks similar to
Theory of Finite Automata: With an Introduction to Formal Languages by John Carroll
mathematics
formal
sequential
theory
Turing's Vision: The Birth of Computer Science
Chris Bernhardt - 2016
    This groundbreaking and powerful theory now forms the basis of computer science. In Turing's Vision, Chris Bernhardt explains the theory, Turing's most important contribution, for the general reader. Bernhardt argues that the strength of Turing's theory is its simplicity, and that, explained in a straightforward manner, it is eminently understandable by the nonspecialist. As Marvin Minsky writes, -The sheer simplicity of the theory's foundation and extraordinary short path from this foundation to its logical and surprising conclusions give the theory a mathematical beauty that alone guarantees it a permanent place in computer theory.- Bernhardt begins with the foundation and systematically builds to the surprising conclusions. He also views Turing's theory in the context of mathematical history, other views of computation (including those of Alonzo Church), Turing's later work, and the birth of the modern computer.In the paper, -On Computable Numbers, with an Application to the Entscheidungsproblem, - Turing thinks carefully about how humans perform computation, breaking it down into a sequence of steps, and then constructs theoretical machines capable of performing each step. Turing wanted to show that there were problems that were beyond any computer's ability to solve; in particular, he wanted to find a decision problem that he could prove was undecidable. To explain Turing's ideas, Bernhardt examines three well-known decision problems to explore the concept of undecidability; investigates theoretical computing machines, including Turing machines; explains universal machines; and proves that certain problems are undecidable, including Turing's problem concerning computable numbers.
Learn Objective-C on the Mac
Mark Dalrymple - 2008
    Objective-C is a powerful, object-oriented extension of C, making this book the perfect follow-up to Dave Mark's bestselling Learn C on the Mac, Mac OS X Edition. Whether you're an experienced C programmer or you're coming from a different language such as C++ or Java, leading Mac experts Mark Dalrymple and Scott Knaster show you how to harness the powers of Objective-C in your applications!A complete course on the basics of Objective-C using Apple's free Xcode tools An introduction to object-oriented programming Comprehensive coverage of inheritance, composition, object initialization, categories, protocols, memory management, and organizing source files A brief tour of Cocoa's foundation framework and AppKit A helpful "learning curve" guide for non-C developers
Social and Economic Networks
Matthew O. Jackson - 2008
    The many aspects of our lives that are governed by social networks make it critical to understand how they impact behavior, which network structures are likely to emerge in a society, and why we organize ourselves as we do. In Social and Economic Networks, Matthew Jackson offers a comprehensive introduction to social and economic networks, drawing on the latest findings in economics, sociology, computer science, physics, and mathematics. He provides empirical background on networks and the regularities that they exhibit, and discusses random graph-based models and strategic models of network formation. He helps readers to understand behavior in networked societies, with a detailed analysis of learning and diffusion in networks, decision making by individuals who are influenced by their social neighbors, game theory and markets on networks, and a host of related subjects. Jackson also describes the varied statistical and modeling techniques used to analyze social networks. Each chapter includes exercises to aid students in their analysis of how networks function.This book is an indispensable resource for students and researchers in economics, mathematics, physics, sociology, and business.
How to Camp Out
John Mead Gould - 1877
    Much of the book remains good and sensible advice today, but modern readers may be amused by Maj. Gould's few remarks on ladies, who "must be cared for more tenderly than men."
The Complete Book of Baby Names: The Most Names (100,001+), Most Unique Names, Most Idea-Generating Lists (600+) and the Most Help to Find the Perfect Name
Lesley Bolton - 2006
    Helpful and full of creative inspiration, this #1 bestseller gives you all the best ways to find your favorites and decide on the perfect fit. The Most Names, Most Lists, Most Help to Find the Best Name: More Names AND Richer Definitions The Most (600+) Creative Lists to Inspire You The Most Idea-Sparking Celebrity Baby Names The Most Popular-and Unique-Names The Newest Trends, Including What Makes the Perfect Name More than 600 Fun Lists to Help You Choose, Including: Intellectual, creative names from literature and the arts Strong, respected names from sports and politics Unique, under-the-radar names that hit the right notesPacked full of more than 100,001 baby names with origins, variations, and richer definitions, The Complete Book of Baby Names makes choosing your baby's name a joyful act of love. Everything You Need ... The most up-to-date list of popular names - plus top twin names Selecting sibling names that make sense for your family Great gender-neutral names - plus the top 61 names Adding a middle name - or two 18 essentials in choosing the perfect name... And what not to name your baby All the top baby boy and baby girl names Plus all the best variations and nicknamesAll You Need in One Complete Book MORE PRAISE FOR THE COMPLETE BOOK OF BABY NAMES:"The Complete Book of Baby Names is a great resource if you are naming a baby, and, it's also an interesting read. Busy Girl has been using it to inform all her friends what their names mean.Most importantly, though, it covers what NOT to name your baby. I'll let you check that one out yourself." BusyMom.net"Since this is my third child, I've been through my share of baby name books, about 2 a pregnancy. This one I found as my favorite, not just the first few chapters but the list of names are wonderful and broken not just into boy and girl categories but lists of popular names by country, twin names and hordes of other lists. You'll be amazed, as I was." snowboundintheyukon.blogspot.com"If you're going to choose one baby name book and get the most bang for your buck, this is a good one to go with. It's more complete and helpful than any other single book I've seen out there and short of turning it into an OED-style multi-volume set, I'm not sure there's much more the author Lesley Bolton could pack in." daringyoungmom.com"The Complete Book of Baby Names is so fun too. It isn't just a list of names - it is like a course in baby-naming With chapters on baby-naming history, naming trends, the attributes of a perfect name, middles names, etc. as well as 276 fun name lists like popular names in different countries, and bizarre lists such as the names of models, First Ladies, Reality TV Stars and more, this book could keep me going until I deliver " 5minutesformom.com"We've seen a lot of baby name books in our time, some good, and some not so good. This one's a good one...It has the big list, so that you can look up the definitions of the names that you're considering. But, it also teaches you how to pick a really great name for your little bundle of joy... So, if you just want definitions, this book's got those. If you just don't know what name you want, or if you're scared of choosing the wrong name, this book can help." thefamilylog.com
Understanding Second Language Acquisition
Rod Ellis - 1985
    It examines the critical reactions to the different theories of second language acquisition.
Programming in Haskell
Graham Hutton - 2006
    This introduction is ideal for beginners: it requires no previous programming experience and all concepts are explained from first principles via carefully chosen examples. Each chapter includes exercises that range from the straightforward to extended projects, plus suggestions for further reading on more advanced topics. The author is a leading Haskell researcher and instructor, well-known for his teaching skills. The presentation is clear and simple, and benefits from having been refined and class-tested over several years. The result is a text that can be used with courses, or for self-learning. Features include freely accessible Powerpoint slides for each chapter, solutions to exercises and examination questions (with solutions) available to instructors, and a downloadable code that's fully compliant with the latest Haskell release.
Computers and Intractability: A Guide to the Theory of NP-Completeness
Michael R. Garey - 1979
    Johnson. It was the first book exclusively on the theory of NP-completeness and computational intractability. The book features an appendix providing a thorough compendium of NP-complete problems (which was updated in later printings of the book). The book is now outdated in some respects as it does not cover more recent development such as the PCP theorem. It is nevertheless still in print and is regarded as a classic: in a 2006 study, the CiteSeer search engine listed the book as the most cited reference in computer science literature.
The New Sins
David Byrne - 2001
    Byrne wanted the book to be the size and shape of a portable Bible, and thus The New Sins resembles the sort of book a strange person in a robe would try to give you in an airport. Bizarre and profound, the book includes 80 color photographs taken by the author.
The Society of Mind
Marvin Minsky - 1985
    Mirroring his theory, Minsky boldly casts The Society of Mind as an intellectual puzzle whose pieces are assembled along the way. Each chapter -- on a self-contained page -- corresponds to a piece in the puzzle. As the pages turn, a unified theory of the mind emerges, like a mosaic. Ingenious, amusing, and easy to read, The Society of Mind is an adventure in imagination.
Aporias
Jacques Derrida - 1993
    "Is my death possible?" How is this question to be understood? How and by whom can it be asked, can it be quoted, can it be an appropriate question, and can it be asked in the appropriate moment, the moment of "my death"? One of the anoretic experiences touched upon in this seminal essay is the impossible, yet unavoidable experience that "my death" can never be subject to an experience that would be properly mine, that I can have and account for, yet that there is, at the same time, nothing closer to me and more properly mine than "my death."
Computational Complexity
Christos H. Papadimitriou - 1993
    It offers a comprehensive and accessible treatment of the theory of algorithms and complexity—the elegant body of concepts and methods developed by computer scientists over the past 30 years for studying the performance and limitations of computer algorithms. The book is self-contained in that it develops all necessary mathematical prerequisites from such diverse fields such as computability, logic, number theory and probability.
The Works of Rene Descartes
René Descartes - 1950
    The works of Rene Descartes with an active table of contents.Works include:A Discourse on MethodPrinciples of Philosophy
Physics for Game Developers
David M. Bourg - 2001
    Missile trajectories. Cornering dynamics in speeding cars. By applying the laws of physics, you can realistically model nearly everything in games that bounces around, flies, rolls, slides, or isn't sitting still, to create compelling, believable content for computer games, simulations, and animation. "Physics for Game Developers" serves as the starting point for those who want to enrich games with physics-based realism.Part one is a mechanics primer that reviews basic concepts and addresses aspects of rigid body dynamics, including kinematics, force, and kinetics. Part two applies these concepts to specific real-world problems, such as projectiles, boats, airplanes, and cars. Part three introduces real-time simulations and shows how they apply to computer games. Many specific game elements stand to benefit from the use of real physics, including: The trajectory of rockets and missiles, including the effects of fuel burn offThe collision of objects such as billiard ballsThe stability of cars racing around tight curvesThe dynamics of boats and other waterborne vehiclesThe flight path of a baseball after being struck by a batThe flight characteristics of airplanesYou don't need to be a physics expert to learn from "Physics for Game Developers, " but the author does assume you know basic college-level classical physics. You should also be proficient in trigonometry, vector and matrix math (reference formulas and identities are included in the appendixes), and college-level calculus, including integration and differentiation of explicit functions. Although the thrust of the book involves physics principles and algorithms, it should be noted that the examples are written in standard C and use Windows API functions.
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life Plus the Secrets of Enigma
Alan Turing - 2004
    In 1935, aged 22, he developed the mathematical theory upon which all subsequent stored-program digital computers are modeled.At the outbreak of hostilities with Germany in September 1939, he joined the Government Codebreaking team at Bletchley Park, Buckinghamshire and played a crucial role in deciphering Engima, the code used by the German armed forces to protect their radio communications. Turing's work on the versionof Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as Fish, which were used by the German High Command for the encryption of signals during the latter part of the war. His contribution helped toshorten the war in Europe by an estimated two years.After the war, his theoretical work led to the development of Britain's first computers at the National Physical Laboratory and the Royal Society Computing Machine Laboratory at Manchester University.Turing was also a founding father of modern cognitive science, theorizing that the cortex at birth is an unorganized machine which through training becomes organized into a universal machine or something like it. He went on to develop the use of computers to model biological growth, launchingthe discipline now referred to as Artificial Life.The papers in this book are the key works for understanding Turing's phenomenal contribution across all these fields. The collection includes Turing's declassified wartime Treatise on the Enigma; letters from Turing to Churchill and to codebreakers; lectures, papers, and broadcasts which opened upthe concept of AI and its implications; and the paper which formed the genesis of the investigation of Artifical Life.
