Book picks similar to
The Logical Basis For Computer Programming. Volume II: Deductive Systems by Zohar Manna
computer-science
it-wikipedia
mathematics
philosophy
21 Lessons: What I've Learned from Falling Down the Bitcoin Rabbit Hole
Gigi - 2020
Like many others, I feel like I have learned more in the last couple of years studying Bitcoin than I have during two decades of formal education. The following lessons are a distillation of what I’ve learned. First published as an article series titled “What I’ve Learned From Bitcoin,” what follows can be seen as a third edition of the original series. Like Bitcoin, these lessons aren’t a static thing. I plan to work on them periodically, releasing updated versions and additional material in the future.Bitcoin is an inexhaustible teacher, which is why I do not claim that these lessons are all-encompassing or complete. They are a reflection of my personal journey down the rabbit hole. There are many more lessons to be learned, and every person will learn something different from entering the world of Bitcoin. I hope that you will find these lessons useful and that the process of learning them by reading won’t be as arduous and painful as learning them firsthand.
Information Theory, Inference and Learning Algorithms
David J.C. MacKay - 2002
These topics lie at the heart of many exciting areas of contemporary science and engineering - communication, signal processing, data mining, machine learning, pattern recognition, computational neuroscience, bioinformatics, and cryptography. This textbook introduces theory in tandem with applications. Information theory is taught alongside practical communication systems, such as arithmetic coding for data compression and sparse-graph codes for error-correction. A toolbox of inference techniques, including message-passing algorithms, Monte Carlo methods, and variational approximations, are developed alongside applications of these tools to clustering, convolutional codes, independent component analysis, and neural networks. The final part of the book describes the state of the art in error-correcting codes, including low-density parity-check codes, turbo codes, and digital fountain codes -- the twenty-first century standards for satellite communications, disk drives, and data broadcast. Richly illustrated, filled with worked examples and over 400 exercises, some with detailed solutions, David MacKay's groundbreaking book is ideal for self-learning and for undergraduate or graduate courses. Interludes on crosswords, evolution, and sex provide entertainment along the way. In sum, this is a textbook on information, communication, and coding for a new generation of students, and an unparalleled entry point into these subjects for professionals in areas as diverse as computational biology, financial engineering, and machine learning.
Theory of Games and Economic Behavior
John von Neumann - 1944
What began more than sixty years ago as a modest proposal that a mathematician and an economist write a short paper together blossomed, in 1944, when Princeton University Press published Theory of Games and Economic Behavior. In it, John von Neumann and Oskar Morgenstern conceived a groundbreaking mathematical theory of economic and social organization, based on a theory of games of strategy. Not only would this revolutionize economics, but the entirely new field of scientific inquiry it yielded--game theory--has since been widely used to analyze a host of real-world phenomena from arms races to optimal policy choices of presidential candidates, from vaccination policy to major league baseball salary negotiations. And it is today established throughout both the social sciences and a wide range of other sciences.This sixtieth anniversary edition includes not only the original text but also an introduction by Harold Kuhn, an afterword by Ariel Rubinstein, and reviews and articles on the book that appeared at the time of its original publication in the New York Times, tthe American Economic Review, and a variety of other publications. Together, these writings provide readers a matchless opportunity to more fully appreciate a work whose influence will yet resound for generations to come.
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.
Eternity: God, Soul, New Physics
Trevelyan - 2013
This is a book about how many of the 'big' philosophical and religious questions that have puzzled mankind for centuries can be answered by recent breakthroughs in science.
Gurdjieff
John Shirley - 2004
I. Gurdjieff is a man who would continually straddle borders-between East and West, between man and something higher than man, between the ancient teachings of esoteric schools and the modern application of those ideas in contemporary life.In many respects-from the concept of group meetings to the mysterious workings of the enneagram to his critique of humanity as existing in a state of sleep-Gurdjieff pioneered the culture of spiritual search that has taken root in the West today. While many of Gurdjieff's students-including Frank Lloyd Wright, Katharine Mansfield, and P. D. Ouspensky-are well known, few understand this figure possessed of complex writings and sometimes confounding methods. In Gurdjieff: An Introduction to His Life and Ideas, the acclaimed novelist John Shirley-one of the founders of the cyberpunk genre-presents a lively, reliable explanation of how to approach the sage and his ideas. In accessible, dramatic prose Shirley retells that which we know of Gurdjieff's life; he surveys the teacher's methods and the lives of his key students; and he helps readers to enter the unparalleled originality of this remarkable teacher.
Liars and Outliers: Enabling the Trust that Society Needs to Thrive
Bruce Schneier - 2012
We don't do a chemical analysis on food we eat.Trust and cooperation are the first problems we had to solve before we could become a social species. In the 21st century, they have become the most important problems we need to solve — again. Our global society has become so large and complex that our traditional trust mechanisms no longer work.Bruce Schneier, world-renowned for his level-headed thinking on security and technology, tackles this complex subject head-on. Society can't function without trust, and yet must function even when people are untrustworthy.Liars and Outliers reaches across academic disciplines to develop an understanding of trust, cooperation, and social stability. From the subtle social cues we use to recognize trustworthy people to the laws that punish the noncompliant, from the way our brains reward our honesty to the bank vaults that keep out the dishonest, keeping people cooperative is a delicate balance of rewards and punishments. It's a series of evolutionary tricks, social pressures, legal mechanisms, and physical barriers.In the absence of personal relationships, we have no choice but to substitute security for trust, compliance for trustworthiness. This progression has enabled society to scale to unprecedented complexity, but has also permitted massive global failures.At the same time, too much cooperation is bad. Without some level of rule-breaking, innovation and social progress become impossible. Society stagnates.Today's problems require new thinking, and Liars and Outliers provides that. It is essential that we learn to think clearly about trust. Our future depends on it.
Footballistics
James Coventry - 2018
The nature of football continually changes, which means its analysis must also keep pace. This book is for students, thinkers, and theorists of the game.'Ted Hopkins - Carlton premiership player, author, and co-founder of Champion Data. Australian Rules football has been described as the most data-rich sport on Earth. Every time and everywhere an AFL side takes to the field, it is shadowed by an army of statisticians and number crunchers. The information they gather has become the sport's new language and currency. ABC journalist James Coventry, author of the acclaimed Time and Space, has joined forces with a group of razor-sharp analysts to decipher the data, and to use it to question some of football's long-held truisms. Do umpires really favour the home side? Has goal kicking accuracy deteriorated? Is Geelong the true master of the draft? Are blonds unfairly favoured in Brownlow medal voting? And are Victorians the most passionate fans? Through a blend of entertaining storytelling and expert analysis, this book will answer more questions about footy than you ever thought to ask. Praise for Time and Space:'Brilliant, masterful' - The Guardian'Arguably one of the most important books yet written on Australian Rules football.' - Inside History'Should find its way into the hands of every coach.' - AFL Record
Electronic Commerce: A Managerial Perspective
Efraim Turban - 1999
With its managerial orientation and interdisciplinary approach, this book is for beginners as well as graduate students in e-commerce.
Applied Linear Regression Models- 4th Edition with Student CD (McGraw Hill/Irwin Series: Operations and Decision Sciences)
Michael H. Kutner - 2003
Cases, datasets, and examples allow for a more real-world perspective and explore relevant uses of regression techniques in business today.
Meta Math!: The Quest for Omega
Gregory Chaitin - 2005
His investigations shed light on what we can ultimately know about the universe and the very nature of life. In an infectious and enthusiastic narrative, Chaitin delineates the specific intellectual and intuitive steps he took toward the discovery. He takes us to the very frontiers of scientific thinking, and helps us to appreciate the art—and the sheer beauty—in the science of math.
5 Rules for White Belts
Chris Matakas - 2018
A simple conceptual framework of Jiu Jitsu for beginners seeking to use Brazilian Jiu Jitsu as a vehicle for personal development.
Bodhisattva Blues
Edward Canfor-Dumas - 2014
Funny, moving and inspirational, it is just as delightful as Canfor-Dumas’ first novel, ‘The Buddha, Geoff and Me’. When we catch up with our hero Ed, he’s abandoned his Buddhist practice and is stuck in a rut – no career, no love life and no cash.Plunged unwittingly into a world of street crime and dodgy property deals, Ed finds himself dusting down his beads and reluctantly picking up his Nichiren Buddhist practice to guide him through a series of dramas, dilemmas and big decisions. Spiritual insights then emerge from the grit, grime and SNAFUs of Ed’s everyday life. By turns unsettling and uplifting, this is a book that will also get you thinking about complex issues of our time such as depression, racism, bereavement, suicide and youth crime.And it gives possibly the best ever explanation of the wisdom that comes from chanting Nam Myoho Renge Kyo: “Like sending a truffle hound to root around in the leaf-litter of my subconscious and dig up what’s bothering me.” The description by the publisher is spot on – this absolutely is a book “for everyone who's ever wondered whether enlightenment really is compatible with the daily commute.” Welcome back Ed, lovin' yer truffles…
The Art of Being Mindful
Kate Pickert - 2015
We answer a colleague's questions from the stands at a child's soccer game; we pay the bills while watching TV; we order groceries while stuck in traffic. In a time when no one seems to have enough time, our devices allow us to be many places at once--but at the cost of being unable to fully inhabit the place where we actually want to be. Mindfulness says we can do better. This TIME Spotlight Story explores The Art of Mindfulness.
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.