Book picks similar to
Introduction to Boolean Algebras by Steven R. Givant
formal-logic
halmos
it-wikipedia
math
How the Brain Learns Mathematics
David A. Sousa - 2007
Sousa discusses the cognitive mechanisms for learning mathematics and the environmental and developmental factors that contribute to mathematics difficulties. This award-winning text examines:Children's innate number sense and how the brain develops an understanding of number relationships Rationales for modifying lessons to meet the developmental learning stages of young children, preadolescents, and adolescents How to plan lessons in PreK-12 mathematics Implications of current research for planning mathematics lessons, including discoveries about memory systems and lesson timing Methods to help elementary and secondary school teachers detect mathematics difficulties Clear connections to the NCTM standards and curriculum focal points
Dawkins vs Gould: Survival of the Fittest
Kim Sterelny - 2001
Science has seen its fair share of punch-ups over the years, but one debate, in the field of biology, has become notorious for its intensity. Over the last twenty years, Richard Dawkins and Stephen Jay Gould have engaged in a savage battle over evolution, which continues to rage even after Gould's death in 2002. Kim Sterelny moves beyond caricature to expose the real differences between the conceptions of evolution of these two leading scientists. He shows that the conflict extends beyond evolution to their very beliefs in science itself; and, in Gould?s case, to domains in which science plays no role at all.
Pragmatic Guide to Git
Travis Swicegood - 2010
Git tasks displayed on two-page spreads provide all the context you need, without the extra fluff. Get up to speed on Git right now with Pragmatic Guide to Git. Task-oriented two-page spreads get you up and running with minimal fuss. Each left-hand page dives into the underlying implementation for each task. The right-hand page contains commands that focus on the task at hand, and cross references to other tasks that are related. You'll find what you need fast. Git is rapidly becoming the de-facto standard for the open source community. Its excellent merging capabilities, coupled with its speed and relative ease of use, make it an indispensable tool for any developer. New Git users will learn the basic tasks needed to work with Git every day, including working with remote repositories, dealing with branches and tags, exploring the history, and fixing problems when things go wrong. If you're already familiar with Git, this book will be your go-to reference for Git commands and best practices. You won't find a more practical approach to learning Git than Pragmatic Guide to Git.
Basic Category Theory for Computer Scientists
Benjamin C. Pierce - 1991
Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts.
Guitar Mastery Simplified: How Anyone Can Quickly Become a Strumming, Chords, and Lead Guitar Ninja
Erich Andreas - 2012
This book is for beginners to advanced guitar players.The solutions you'll discover inside Guitar Mastery Simplified will have you on your way to playing the guitar like a true strumming, chords and lead guitar ninja! The guitar lessons inside this book will have you rockin' out to all your favorite guitar jams and songs in no time.
Algorithms Plus Data Structures Equals Programs (Prentice-Hall series in automatic computation)
Niklaus Wirth - 1975
Literate Programming
Donald Ervin Knuth - 1992
Many examples are given, including excerpts from the programs for TeX and METAFONT. The final essay is an example of CWEB, a system for literate programming in C and related languages.This volume is first in a series of Knuth's collected works.
The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer
David Berlinski - 2000
A basic idea that proved elusive for hundreds of years and bent the minds of the greatest thinkers in the world, the algorithm is what made the modern world possible. Without the algorithm, there would have been no computer, no Internet, no virtual reality, no e-mail, or any other technological advance that we rely on every day.In The Advent of the Algorithm, David Berlinski combines science, history, and math to explain and explore the intriguing story of how the algorithm was finally discovered by a succession of mathematicians and logicians, and how this paved the way for the digital age. Beginning with Leibniz and culminating in the middle of the twentieth century with the groundbreaking work of Gödel and Turing, The Advent of the Algorithm is an epic tale told with clarity and imaginative brilliance.
A Concise Introduction to Logic [with CD-ROM]
Patrick J. Hurley - 1972
Inside: Logic Resource CD-ROM
The Fredericksburg Campaign: Winter War on the Rappahannock
Francis Augustin O'Reilly - 2002
Burnside; embarrassed Abraham Lincoln; and distinguished Robert E. Lee as one of the greatest military strategists of his era. Francis Augustin O'Reilly draws upon his intimate knowledge of the battlegrounds to discuss the unprecedented nature of Fredericksburg's warfare. Lauded for its vivid description, trenchant analysis, and meticulous research, his award-winning book makes for compulsive reading.
Precious Metal: Decibel Presents the Stories Behind 25 Extreme Metal Masterpieces
Albert Mudrian - 2009
Decibel magazine is regarded as the best extreme music magazine around.Precious Metal gathers pieces from Decibel's most popular feature, the monthly “Hall of Fame” which documents the making of landmark metal albums via candid, hilarious, and fascinating interviews with every participating band member.Decibel's editor-in-chief Albert Mudrian, has selected and expanded the best of these features, creating a definitive collection of stories behind the greatest extreme metal albums of all time.
The Gun Smith
C.J. Petit - 2017
Why did he find himself flat on his back on the bottom of a ravine with a bullet wound in his scalp? He was only a gunsmith. Who would want him dead?
Structure and Interpretation of Computer Programs
Harold Abelson - 1984
This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.
David Busch S Canon EOS 7d Guide to Digital Slr Photography
David D. Busch - 2010
DAVID BUSCH'S CANON EOS 7D GUIDE TO DIGITAL SLR PHOTOGRAPHY shows readers how to make the most of their camera's robust feature set, including 18 megapixel resolution, blazing fast automatic focus, the real-time preview system Live View, and full HD movie-making capabilities, to take outstanding photos and videos. They'll learn how, when, and, most importantly, why to use all the cool features and functions of their camera to take eye-popping photographs. Introductory chapters will help them get comfortable with the basics of their camera before you dive right into exploring creative ways to apply the Canon EOS 7D's exposure modes, focus controls, and electronic flash options. This book is chock full of hands-on tips for choosing lenses, flash units, and software products to use with their new camera. Beautiful, full-color images illustrate where the essential buttons and dials are, so they'll quickly learn how to their Canon EOS 7D, and use it well.
The Science of Information: From Language to Black Holes
Benjamin Schumacher - 2015
Never before in history have we been able to acquire, record, communicate, and use information in so many different forms. Never before have we had access to such vast quantities of data of every kind. This revolution goes far beyond the limitless content that fills our lives, because information also underlies our understanding of ourselves, the natural world, and the universe. It is the key that unites fields as different as linguistics, cryptography, neuroscience, genetics, economics, and quantum mechanics. And the fact that information bears no necessary connection to meaning makes it a profound puzzle that people with a passion for philosophy have pondered for centuries.Table of ContentsLECTURE 1The Transformability of Information 4LECTURE 2Computation and Logic Gates 17LECTURE 3Measuring Information 26LECTURE 4Entropy and the Average Surprise 34LECTURE 5Data Compression and Prefix-Free Codes 44LECTURE 6Encoding Images and Sounds 57LECTURE 7Noise and Channel Capacity 69LECTURE 8Error-Correcting Codes 82LECTURE 9Signals and Bandwidth 94LECTURE 10Cryptography and Key Entropy 110LECTURE 11Cryptanalysis and Unraveling the Enigma 119LECTURE 12Unbreakable Codes and Public Keys 130LECTURE 13What Genetic Information Can Do 140LECTURE 14Life’s Origins and DNA Computing 152LECTURE 15Neural Codes in the Brain 169LECTURE 16Entropy and Microstate Information 185LECTURE 17Erasure Cost and Reversible Computing 198LECTURE 18Horse Races and Stock Markets 213LECTURE 19Turing Machines and Algorithmic Information 226LECTURE 20Uncomputable Functions and Incompleteness 239LECTURE 21Qubits and Quantum Information 253LECTURE 22Quantum Cryptography via Entanglement 266LECTURE 23It from Bit: Physics from Information 281LECTURE 24The Meaning of Information 293