Book picks similar to
Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang
logic
automated-reasoning
favorites
computer-science
Adventures In Raspberry Pi (Adventures In ...)
Carrie Anne Philbin - 2013
Written for 11- to 15-year-olds and assuming no prior computing knowledge, this book uses the wildly successful, low-cost, credit-card-sized Raspberry Pi computer to explain fundamental computing concepts. Young people will enjoy going through the book's nine fun projects while they learn basic programming and system administration skills, starting with the very basics of how to plug in the board and turn it on. Each project includes a lively and informative video to reinforce the lessons. It's perfect for young, eager self-learners—your kids can jump in, set up their Raspberry Pi, and go through the lessons on their own. Written by Carrie Anne Philbin, a high school teacher of computing who advises the U.K. government on the revised ICT Curriculum Teaches 11- to 15-year-olds programming and system administration skills using Raspberry Pi Features 9 fun projects accompanied by lively and helpful videos Raspberry Pi is a $35/£25 credit-card-sized computer created by the non-profit Raspberry Pi Foundation; over a million have been sold Help your children have fun and learn computing skills at the same time with Adventures in Raspberry Pi.
Stuff Matters: Exploring the Marvelous Materials That Shape Our Man-Made World
Mark Miodownik - 2013
Why is glass see-through? What makes elastic stretchy? Why does a paper clip bend? Why does any material look and behave the way it does? These are the sorts of questions that Mark Miodownik a globally-renowned materials scientist has spent his life exploring In this book he examines the materials he encounters in a typical morning, from the steel in his razor and the graphite in his pencil to the foam in his sneakers and the concrete in a nearby skyscraper.
Alexander Graham Bell: A Life From Beginning to End
Hourly History - 2018
Innovator. Inventor. These three words sum up Alexander Graham Bell, one of the greatest scientific men of his era. He is most famous for the invention of the telephone, a device which he predicted would transform human society. And it did. But the telephone is just one of the many innovations and inventions that Bell brought into being. Inside you will read about... - Childhood - Emigration to North America - The Bell Telephone Company - The Race to Save the President - A Rival to the Wright Brothers - Later Years and Death And much more! A man who epitomizes the word visionary, Alexander Graham Bell predicted the use of light as a medium for transmitting information and how humanity would be transformed by flight. This is his story.
The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography
Simon Singh - 1999
From Mary, Queen of Scots, trapped by her own code, to the Navajo Code Talkers who helped the Allies win World War II, to the incredible (and incredibly simple) logisitical breakthrough that made Internet commerce secure, The Code Book tells the story of the most powerful intellectual weapon ever known: secrecy.Throughout the text are clear technical and mathematical explanations, and portraits of the remarkable personalities who wrote and broke the world’s most difficult codes. Accessible, compelling, and remarkably far-reaching, this book will forever alter your view of history and what drives it. It will also make you wonder how private that e-mail you just sent really is.
Artificial Intelligence and the Future of Power: 5 Battlegrounds
Rajiv Malhotra - 2021
To understand it fully, we must look beneath the surface. The positive side is that technology is making machines smarter. However, the deeper view explained in this book shows that AI is also making a growing number of people cognitively and psychologically dependent on digital networks. Whether you are a social media fanatic, a diehard AI aficionado, or a paranoid sceptic, it is impossible to escape the ubiquitous impact of AI. Artificial Intelligence is the brains bringing together quantum computing, nanotechnology, medical technology, brain-machine interface, robotics, aerospace, 5G, Internet of Things, and more. It is amplifying human ingenuity and disrupting the foundations of healthcare, military, entertainment, education, marketing and manufacturing.Artificial Intelligence and The Future of Power argues that this AI-driven revolution will have an unequal impact on different segments of humanity. There will be new winners and losers, new haves and have-nots, resulting in an unprecedented concentration of wealth and power. After analyzing society’s vulnerabilities to the impending tsunami, the book raises troubling questions that provoke immediate debate: Is the world headed toward digital colonization by USA and China? Will depopulation become eventually unavoidable?Artificial Intelligence and The Future of Power is a wakeup call to action, compelling public intellectuals to be better informed and more engaged. It educates the social segments most at risk and wants them to demand a seat at the table where policies on Artificial Intelligence are being formulated.
Essential Philosophy: How to know what on earth is going on
Stefan Molyneux - 2018
We cannot choose to avoid philosophy, we can only choose whether we understand it or not. Stefan Molyneux, host of Freedomain Radio – the largest and most popular philosophy show in the world, with over 600 million views and downloads – takes you on a spectacular journey through the most foundational philosophical questions of the ages, clearing up and clarifying the most thorny problems posed by philosophers throughout history: -How do we know what is real? -How do we know what is true? -How do we know what is right? -How do we know what is good? -How do we know we even have a choice? -How do we convince others? These are all questions that we – as individuals and societies – wrestle with every day. These questions have challenged, motivated and plagued mankind for thousands of years. “Essential Philosophy” answers these questions with rigourous, illuminating and entertaining logic, reasoning from deep first principles to spectacular final conclusions. There is no need for confusion, there is no need for despair, there is no need for fear – pick up this book now, absorb the true power of philosophy, and live a rational moral life to the fullest. And then, give “Essential Philosophy” to others, so that the world may one day live in reason and peace.