Book picks similar to
Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang
logic
automated-reasoning
science
engineering
Hunters of the Great North (1922) (Interactive Table of Contents)
Vilhjálmur Stefánsson - 1922
Because of his studies of the Eskimos, his discoveries of land, the application of new ideas and new methods of exploration, Stefansson was considered the foremost polar explorer of his day, and one of the few great explorers of all time. During a period of three or four years Mr. Stefansson has produced a creditable list of books about the Arctic. In some respects his service in publishing the results of his Northern studies has differed from that of earlier explorers. He has challenged our preconceptions about the Arctic. “Hunters of the Great North” gives details of Northern life such as have doubtless come within the experience of all Arctic explorers, but which are new to the average American reader. In short, it is an elementary text-book of the Arctic. Stefansson lived among the Eskimos of the Mackenzie River, studying their language and adopting their mode of life, and spending ten winters and thirteen summers in the polar regions. Among Stefannson's most famous discovery was that of a race of blond Eskimo on Coronation Gulf. Stefansson writes: "In the present book I have tried by means of diaries and memory to go back to the vivid impressions of my first year among the Eskimos for the story of what I saw and heard." In describing his confrontation with a polar bear, Stefansson writes: “I heard behind me a noise like the spitting of a cat or the hiss of a goose. I looked back and saw, about twenty feet away and almost above me, a polar bear. I had overestimated the bear's distance from shore, and had passed the spot where he lay. From his eye and attitude, as well as the story his trail told afterward there was no doubting his intentions: the hiss was merely his way of saying, "Watch me do it!" Or at least that is how I interpreted it; possibly the motive was chivalry, and the hiss was his way of saying Garde!” Contents I. PREPARATIONS FOR A LIFEWORK OF EXPLORATION II. DOWN THE MACKENZIE RIVER THROUGH 2000 MILES OF INDIAN COUNTRY III. FIRST IMPRESSIONS OF THE ESKIMOS IV. CAPTAIN KLINKENBERG—SEA WOLF AND DISCOVERER V. THE WHALING FLEET SAILS AWAY VI. LEARNING TO LIVE AS AN ESKIMO—ON A DIET OF FISH WITHOUT SALT VII. HOW AN ESKIMO SAILED THROUGH THE STORM VIII. AN AUTUMN JOURNEY THROUGH ARCTIC MOUNTAINS IX. THE SUN GOES AWAY FOR THE WINTER X. LOST IN THE MACKENZIE DELTA XI. AN ARCTIC CHRISTMAS WITH AN ENGLISH COUNTRY GENTLEMAN XII. THE LIFE AT TUKTUYAKTOK XIII. LEARNING TO BUILD A SNOWHOUSE AND TO BE COMFORTABLE IN ONE XIV. TRAVELS AFTER THE SUN CAME BACK XV. WE GO IN SEARCH OF OUR OWN EXPEDITION XVI. A SPRING JOURNEY IN AN ESKIMO SKIN BOAT XVII. A RACE OVER THE ARCTIC MOUNTAINS IN SUMMER XVIII. ON A RAFT DOWN THE PORCUPINE RIVER SHORT STORIES OF ADVENTURE I. HOW I LEARNED TO HUNT CARIBOU II. HOW I LEARNED TO HUNT SEALS III. HOW WE HUNT POLAR BEARS
Logic Deductive and Inductive
Carveth Read - 1898
You may find it for free on the web. Purchase of the Kindle edition includes wireless delivery.
C++ Programming: From Problem Analysis to Program Design
D.S. Malik - 2002
Best-selling author D.S. Malik employs a student-focused approach, using complete programming examples to teach introductory programming concepts. This third edition has been enhanced to further demonstrate the use of OOD methodology, to introduce sorting algorithms (bubble sort and insertion sort), and to present additional material on abstract classes. In addition, the exercise sets at the end of each chapter have been expanded, and now contain several calculus and engineering-related exercises. Finally, all programs have been written, compiled, and quality-assurance tested with Microsoft Visual C++ .NET, available as an optional compiler with this text.
How the Internet Happened: From Netscape to the iPhone
Brian McCullough - 2018
In How the Internet Happened, he chronicles the whole fascinating story for the first time, beginning in a dusty Illinois basement in 1993, when a group of college kids set off a once-in-an-epoch revolution with what would become the first “dotcom.”Depicting the lives of now-famous innovators like Netscape’s Marc Andreessen and Facebook’s Mark Zuckerberg, McCullough also reveals surprising quirks and unknown tales as he tracks both the technology and the culture around the internet’s rise. Cinematic in detail and unprecedented in scope, the result both enlightens and informs as it draws back the curtain on the new rhythm of disruption and innovation the internet fostered, and helps to redefine an era that changed every part of our lives.
Tony Northrup's Adobe Photoshop Lightroom 5 Video Book: Training for Photographers
Tony Northrup - 2014
VIDEO TRAINING. 12+ HOURS of searchable video training (requires Internet access). If you learn better from videos, watch the videos and use the ebook only for quick reference. If you learn better from books, read the ebook and refer to the videos to see the author demonstrate real world editing techniques. This much video training usually costs over $100 or requires a monthly subscription. 2. 150+ PRESETS. Jump-start your creativity by using the included presets to give your pictures a unique look. Others charge over $200 for this many presets! 3. 50+ RAW PICTURE FILES. Work alongside many of the book's examples, or just learn by experimenting with professional photos. 4. TEACHER & PEER SUPPORT. After buying the book, you get access to the private group on Facebook where you can ask the questions and post pictures for feedback from Tony, Chelsea, and other readers. It’s like being able to raise your hand in class and ask a question! Instructions are in the introduction. With this video book, you ll learn how to instantly find any picture in your library, fix common photography problems, clean up your images, add pop to boring pictures, retouch portraits, make gorgeous prints, create photo books, and even edit your home videos. Tony goes beyond teaching you how to use Lightroom. Tony shows you why and when to use each feature to create stunning, natural photos. When Lightroom is not the best tool, Tony suggests better alternatives. Tony covers every aspect of Lightroom in-depth, but structures his teaching so that both beginner and advanced photographers can learn as efficiently as possible. If you just want a quick start, you can watch the first video or read the first chapter and you'll be organizing and editing your pictures in less than an hour. If you want to know more about a specific feature, switch to that video or jump to that chapter in the ebook. If you want to know everything about Lightroom, watch the videos and read the book from start to finish.
Getting Started with MATLAB 7: A Quick Introduction for Scientists and Engineers
Rudra Pratap - 2005
Its broad appeal lies in its interactive environment with hundreds of built-in functions for technical computation, graphics, and animation. In addition, it provides easy extensibility with its own high-level programming language. Enhanced by fun and appealing illustrations, Getting Started with MATLAB 7: A Quick Introduction for Scientists and Engineers employs a casual, accessible writing style that shows users how to enjoy using MATLAB.
A New Kind of Science
Stephen Wolfram - 1997
Wolfram lets the world see his work in A New Kind of Science, a gorgeous, 1,280-page tome more than a decade in the making. With patience, insight, and self-confidence to spare, Wolfram outlines a fundamental new way of modeling complex systems. On the frontier of complexity science since he was a boy, Wolfram is a champion of cellular automata--256 "programs" governed by simple nonmathematical rules. He points out that even the most complex equations fail to accurately model biological systems, but the simplest cellular automata can produce results straight out of nature--tree branches, stream eddies, and leopard spots, for instance. The graphics in A New Kind of Science show striking resemblance to the patterns we see in nature every day. Wolfram wrote the book in a distinct style meant to make it easy to read, even for nontechies; a basic familiarity with logic is helpful but not essential. Readers will find themselves swept away by the elegant simplicity of Wolfram's ideas and the accidental artistry of the cellular automaton models. Whether or not Wolfram's revolution ultimately gives us the keys to the universe, his new science is absolutely awe-inspiring. --Therese Littleton
AI Superpowers: China, Silicon Valley, and the New World Order
Kai-Fu Lee - 2018
Kai-Fu Lee—one of the world’s most respected experts on AI and China—reveals that China has suddenly caught up to the US at an astonishingly rapid and unexpected pace.In AI Superpowers, Kai-Fu Lee argues powerfully that because of these unprecedented developments in AI, dramatic changes will be happening much sooner than many of us expected. Indeed, as the US-Sino AI competition begins to heat up, Lee urges the US and China to both accept and to embrace the great responsibilities that come with significant technological power.Most experts already say that AI will have a devastating impact on blue-collar jobs. But Lee predicts that Chinese and American AI will have a strong impact on white-collar jobs as well. Is universal basic income the solution? In Lee’s opinion, probably not. But he provides a clear description of which jobs will be affected and how soon, which jobs can be enhanced with AI, and most importantly, how we can provide solutions to some of the most profound changes in human history that are coming soon.
The Girl in building C
Mary Krugerud - 2018
She entered Ah-gwah-ching State Sanatorium at Walker, Minnesota, for what she thought would be a short stay. In January, her tuberculosis spread, and she nearly died. Her recovery required many months of bed rest and medical care.Marilyn loved to write, and the story of her three-year residency at the sanatorium is preserved in hundreds of letters that she mailed back home to her parents, who could visit her only occasionally and whom she missed terribly. The letters functioned as a diary in which Marilyn articulately and candidly recorded her reactions to roommates, medical treatments, Native American nurses, and boredom. She also offers readers the singular perspective of a bed-bound teenager, gossiping about boys, requesting pretty new pajamas, and enjoying Friday evening popcorn parties with other patients.Selections from this cache of letters are woven into an informative narrative that explores the practices and culture of a midcentury tuberculosis sanatorium and fills in long-forgotten details gleaned from recent conversations with Marilyn, who "graduated" from the sanatorium and went on to lead a full, productive life.
The Second Machine Age: Work, Progress, and Prosperity in a Time of Brilliant Technologies
Erik Brynjolfsson - 2014
Digital technologies—with hardware, software, and networks at their core—will in the near future diagnose diseases more accurately than doctors can, apply enormous data sets to transform retailing, and accomplish many tasks once considered uniquely human.In The Second Machine Age MIT’s Erik Brynjolfsson and Andrew McAfee—two thinkers at the forefront of their field—reveal the forces driving the reinvention of our lives and our economy. As the full impact of digital technologies is felt, we will realize immense bounty in the form of dazzling personal technology, advanced infrastructure, and near-boundless access to the cultural items that enrich our lives.Amid this bounty will also be wrenching change. Professions of all kinds—from lawyers to truck drivers—will be forever upended. Companies will be forced to transform or die. Recent economic indicators reflect this shift: fewer people are working, and wages are falling even as productivity and profits soar.Drawing on years of research and up-to-the-minute trends, Brynjolfsson and McAfee identify the best strategies for survival and offer a new path to prosperity. These include revamping education so that it prepares people for the next economy instead of the last one, designing new collaborations that pair brute processing power with human ingenuity, and embracing policies that make sense in a radically transformed landscape.A fundamentally optimistic book, The Second Machine Age alters how we think about issues of technological, societal, and economic progress.
La mamá de Kepler y otros asuntos científicos igual de apremiantes
Sergio de Régules - 2012
In this book you will find some shocking details of the great figures of science such as Newton, Galileo, Kepler, Copernicus and Kant, presented with the characteristic humor that only a popularizer of science as Sergio de Regules could bring to this wonderful collection of essays.
OS X 10.10 Yosemite: The Ars Technica Review
John Siracusa - 2014
Siracusa's overview, wrap-up, and critique of everything new in OS X 10.10 Yosemite.
Turing's Cathedral: The Origins of the Digital Universe
George Dyson - 2012
In Turing’s Cathedral, George Dyson focuses on a small group of men and women, led by John von Neumann at the Institute for Advanced Study in Princeton, New Jersey, who built one of the first computers to realize Alan Turing’s vision of a Universal Machine. Their work would break the distinction between numbers that mean things and numbers that do things—and our universe would never be the same. Using five kilobytes of memory (the amount allocated to displaying the cursor on a computer desktop of today), they achieved unprecedented success in both weather prediction and nuclear weapons design, while tackling, in their spare time, problems ranging from the evolution of viruses to the evolution of stars. Dyson’s account, both historic and prophetic, sheds important new light on how the digital universe exploded in the aftermath of World War II. The proliferation of both codes and machines was paralleled by two historic developments: the decoding of self-replicating sequences in biology and the invention of the hydrogen bomb. It’s no coincidence that the most destructive and the most constructive of human inventions appeared at exactly the same time. How did code take over the world? In retracing how Alan Turing’s one-dimensional model became John von Neumann’s two-dimensional implementation, Turing’s Cathedral offers a series of provocative suggestions as to where the digital universe, now fully three-dimensional, may be heading next.
The Industries of the Future
Alec J. Ross - 2016
In the next ten years, change will happen even faster. As Hillary Clinton's Senior Advisor for Innovation, Alec Ross travelled nearly a million miles to forty-one countries, the equivalent of two round-trips to the moon. From refugee camps in the Congo and Syrian war zones, to visiting the world's most powerful people in business and government, Ross's travels amounted to a four-year masterclass in the changing nature of innovation. In The Industries of the Future, Ross distils his observations on the forces that are changing the world. He highlights the best opportunities for progress and explains how countries thrive or sputter. Ross examines the specific fields that will most shape our economic future over the next ten years, including robotics, artificial intelligence, the commercialization of genomics, cybercrime and the impact of digital technology. Blending storytelling and economic analysis, he answers questions on how we will need to adapt. Ross gives readers a vivid and informed perspective on how sweeping global trends are affecting the ways we live, now and tomorrow.
Fundamentals of Physics, Chapters 1 - 21, Enhanced Problems Version
David Halliday - 2000
This newest edition expands on the strengths of earlier versions, helping students bridge the gap between concepts and reasoning. Students are shown, rather than told about, how physics works and are given the opportunity to apply concepts to real-world problems. Each chapter and concept has been scrutinized to ensure clarity, currency, and accuracy while checkpoints, problem solving tactics, and sample problems help students make sense of new concepts. As always, Fundamentals of Physics covers every aspect of basic physics, from force and motion to relativity and will prepare today's students to be tomorrow's scientists.