Cet auteur n'est pas une figure littéraire.
Focusing on the contributions of seven influential mathematicians, this book delves into the lives and ideas that shaped the development of computing. It highlights the often-overlooked logicians who laid the groundwork for modern computer science, tracing the intellectual journey from Leibniz to Turing. Through their stories, readers gain insight into the pivotal discoveries that have defined the computer age and the profound impact of these unsung heroes.
A follow up on The Hogan Mystique, this book should be a best seller and a must for every serious golfer.
Exploring the evolution of computing, the book reveals how computers function as engines of logic rather than mere arithmetic tools. It highlights the contributions of historical figures like Leibniz, Boole, Godel, and Turing, detailing their groundbreaking ideas that shaped modern computing. Through engaging narratives, readers gain insight into the principles behind computer operations and the development of algorithms, fostering a deeper understanding of the technology that permeates daily life.
Fundamentals of Theoretical Computer Science
This book is a rigorous but readable introduction to some of the central topics in theoretical computer science. The main subjects are computability theory, formal languages, logic and automated deduction, computational complexity (including NP-completeness), and programming language semantics.
A pioneer in computer development chronicles the history of the machine, and the software that makes it tick, elucidating the core principles driving every calculation, stored record, and mouse click. Originally published as The Universal Computer. Reprint.
This guide is suitable for practising astrologers, from beginner to expert. It intoduces readers to the concepts of local space and astrocartography, taking them to a level of understanding that will allow them to apply these techniques independently.
The book explores over 2,000 large-scale city plans secretly created by the Soviet Military Topographic Directorate from WWII until 1991, highlighting their historical significance and detailed content. It employs a poststructuralist perspective to analyze Soviet map symbology at specific scales and compares it with OpenStreetMap, suggesting these maps can enhance modern mapping initiatives, including humanitarian efforts. The enduring relevance of Soviet military maps is emphasized, showcasing their potential to address contemporary challenges in cartography.
Exploring the intersection of science and religion, this novel challenges readers to contemplate the possibilities of our world and the essence of humanity. The author aims to stand out in the crowded science fiction genre with a distinctive plot that encourages deep reflection.
At just fifteen, Trixie Treat navigates the complexities of adolescence while facing unique challenges. As she balances friendships, family dynamics, and her own aspirations, Trixie embarks on a journey of self-discovery. The narrative explores themes of identity, resilience, and the trials of growing up, making it a relatable and engaging read for young adults.
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.