Book picks similar to
Computability Theory: An Introduction to Recursion Theory by Herbert B. Enderton
computer-science
math
textbook
computability-theory
How to Solve It: A New Aspect of Mathematical Method
George Pólya - 1944
Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be reasoned out--from building a bridge to winning a game of anagrams. Generations of readers have relished Polya's deft--indeed, brilliant--instructions on stripping away irrelevancies and going straight to the heart of the problem.
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.
Introductory Statistics
Prem S. Mann - 2006
The realistic content of its examples and exercises, the clarity and brevity of its presentation, and the soundness of its pedagogical approach have received the highest remarks from both students and instructors. Now this bestseller is available in a new 6th edition.
Hacker's Delight
Henry S. Warren Jr. - 2002
Aiming to tell the dark secrets of computer arithmetic, this title is suitable for library developers, compiler writers, and lovers of elegant hacks.
Mathematics In The Modern World: Readings From Scientific American
Morris Kline - 1968
Calculus with Analytic Geometry
Howard Anton - 1980
This popular student textbook has been revised and updated in order to provide clear explanations of the subject matter, permitting more classroom time to be spent in problem solving, applications or explanations of the most difficult points.
Netter's Anatomy Flash Cards [with Student Consult Online Access]
John T. Hansen - 2011
This 4th Edition contains full-color illustrations from Netter's Atlas of Human Anatomy, 6th Edition paired with concise text identifying those structures and reviewing relevant anatomical information and clinical correlations. Online access at studentconsult lets you review anatomy from any computer, plus additional "bonus" cards and over 300 multiple-choice questions.A perfect study aid and complement to Netter's Clinical Anatomy, 3rd Edition?concise text and the Netter/Atlas of Human Anatomy, 6th Edition.Netter. It's how you know.
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson - 1989
This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.
Introduction to Mathematical Statistics
Robert V. Hogg - 1962
Designed for two-semester, beginning graduate courses in Mathematical Statistics, and for senior undergraduate Mathematics, Statistics, and Actuarial Science majors, this text retains its ongoing features and continues to provide students with background material.
Fluid Mechanics
Pijush K. Kundu - 1990
New to this third edition are expanded coverage of such important topics as surface boundary interfaces, improved discussions of such physical and mathematical laws as the Law of Biot and Savart and the Euler Momentum Integral. A very important new section on Computational Fluid Dynamics has been added for the very first time to this edition. Expanded and improved end-of-chapter problems will facilitate the teaching experience for students and instrutors alike. This book remains one of the most comprehensive and useful texts on fluid mechanics available today, with applications going from engineering to geophysics, and beyond to biology and general science. * Ample, useful end-of-chapter problems.* Excellent Coverage of Computational Fluid Dynamics.* Coverage of Turbulent Flows.* Solutions Manual available.
ServSafe Coursebook [with Answer Sheet]
National Restaurant Association - 2001
It is the ideal solution for the academic setting, multiple-day training, or individuals in need of more extensive food safety training. Food safety has never been more important to the restaurant industry and its customers. Based on the "2013""FDA Food Code, " the "ServSafe Coursebook" focuses on the preventative measures to keep food safe. The content in the "ServSafe Coursebook" goes beyond the principles found in the "ServSafe""Manager Book" and adds greater depth and breadth of food safety practices by featuring expanded sections on food defense, high-risk populations, active managerial control, and crisis management. Food safety topics are presented in a user-friendly, practical way with more real-world case studies and stories to help readers understand the day-to-day importance of food safety. Developed by the industry, for the industry, ServSafe(R) is a proven way to minimize risk and maximize protection for foodservice owners, employees, and customers. Recognized as the industry standard, ServSafe offers a complete suite of printed and online products and is the most important ingredient to food safety training and certification success. The "ServSafe Coursebook" is available packaged with MyServSafeLab(TM). MyServSafeLab is an online homework, tutorial, and assessment program that truly engages students in learning. It helps students better prepare for class, quizzes, and exams-resulting in better performance in the course-and provides educators a dynamic set of tools for gauging individual and class progress. The "ServSafe Coursebook" 6th Edition is available packaged in a number of ways to suit your specific needs. ISBN: 0133883507 is a package containing the book and the answer sheet for the pencil/paper version of the ServSafe Food Protection Manager exam" ServSafe Coursebook with Answer Sheet 6th Edition " Also available: Stand-alone book: "ServSafe Coursebook "6th Edition ISBN: 0133883604A package containing the book, the answer sheet for the pencil/paper version of the ServSafe Food Protection Manager exam, AND MyServSafeLab with Pearson eText Access Card: " ServSafe Coursebook with Answer Sheet, Revised Plus NEW MyServSafeLab with Pearson eText -- Access Card Package, "6/e ISBN: 0133962733A package containing the book and online exam voucher: "ServSafe Coursebook with Online Exam Voucher 6th Edition "ISBN: 0133883515A package containing the book, online exam voucher, AND MyServSafeLab with Pearson eText Access Card: "ServSafe Coursebook with Online Exam Voucher, Revised Plus NEW MyServSafeLab with Pearson eText -- Access Card Package, 6/e "ISBN: 0133962725Students, if interested in purchasing this title with MyServSafeLab, ask your instructor for the correct package ISBN. MyServSafeLab is not a self-paced technology and should only be purchased when required by an instructor. Instructors, contact your Pearson representative for more information.
Learn You a Haskell for Great Good!
Miran Lipovača - 2011
Learn You a Haskell for Great Good! introduces programmers familiar with imperative languages (such as C++, Java, or Python) to the unique aspects of functional programming. Packed with jokes, pop culture references, and the author's own hilarious artwork, Learn You a Haskell for Great Good! eases the learning curve of this complex language, and is a perfect starting point for any programmer looking to expand his or her horizons. The well-known web tutorial on which this book is based is widely regarded as the best way for beginners to learn Haskell, and receives over 30,000 unique visitors monthly.
The Shape of Space: How to Visualize Surfaces and Three-Dimensional Manifolds
Jeffrey R. Weeks - 1985
Bridging the gap from geometry to the latest work in observational cosmology, the book illustrates the connection between geometry and the behavior of the physical universe and explains how radiation remaining from the big bang may reveal the actual shape of the universe.
Discrete and Combinatorial Mathematics
Ralph P. Grimaldi - 1985
The text offers a flexible organization, enabling instructors to adapt the book to their particular courses. The book is both complete and careful, and it continues to maintain its emphasis on algorithms and applications. Excellent exercise sets allow students to perfect skills as they practice. This new edition continues to feature numerous computer science applications-making this the ideal text for preparing students for advanced study.
Understanding Analysis
Stephen Abbott - 2000
The aim of a course in real analysis should be to challenge and improve mathematical intuition rather than to verify it. The philosophy of this book is to focus attention on questions which give analysis its inherent fascination.