Engelska

First-order Logic [Bok / Häftad]

Behind every important scientific discovery there is an equation. They are far from baffling, and now you too can understand their power and beauty! Discover the 50 equations that have led to incredible discoveries, ground-breaking technology and have shaped our understanding of the world.<br/><br/>From much heralded classics as e=mc2 and Pythagoras's Theorem, to Fuzzy Logic and Google PageRank, each equation is tackled head-on, broken down and explained in a unique, entertaining way so that you understand exactly how it works and why it's worth knowing about. Innovative illustrations and accessible text help you understand each equation's function, individual elements and development.<br/><br/>Along the way you'll discover some surprising stories about the people behind the discoveries and how their brilliant insights resulted in ideas and technology we now take for granted. Covering geometry, technology, science, chance and mathematical theory,<i> The Secret Life of Equations </i>will enlighten and entertain in equal measure.<br/><br/>Chapters include:<br/><b>Geometry and Number</b><br/>Trigonometry; Fibonacci Numbers; The Fundamental Theorem of Calculus<br/><b>Science</b><br/>Newton's Second Law; Universal Gravitation; Entropy<br/><b>Technology</b><br/>The Cross-Ratio; De Morgan's Laws; Quaternion Rotation<br/><b>Chance and Uncertainty</b><br/>The Exponential Distribution; The Normal Distribution; The Chi-Square Test

When we learn about abstract mathematical concepts - from prime numbers and fractals to aspects of calculus - the most common question is often: when on earth will I need this? To many of us, so-called 'pure' mathematics is downright baffling. Yet these concepts are what underpin the world we live in, from internet security to the transmission of radio waves. When you start to think like a mathematician, the secrets of technology and modern life suddenly make sense. Junaid Mubeen regards mathematics as a collection of thinking tools that can enrich the way we approach our everyday lives. In Think Like a Mathematician, he presents a catalogue of enlightening mathematical concepts. Some will be familiar from school, but the majority are ideas that readers will not have encountered before. And anyone - from mathematicians to self-proclaimed mathophobes - can learn from them. All of these ideas are easy to grasp, and a few may even reshape the way you see the world.

SEMT Volume I introduces the Structured Epistemic Model of Truth, a framework that unites logic, epistemology, and complexity theory to address core issues in bounded AI and knowledge verification. Drawing from Gödel, Turing, and modern AI debates, the book proposes a non-classical conception of truth suited to agents operating under cognitive and resource constraints. It redefines epistemic rigor for computationally limited reasoners.

What makes a bridge wobble when it&apos;s not meant to? How do billions of dollars mysteriously vanish into thin air? How does a building rock when its resonant frequency matches a gym class leaping to Snap&apos;s 1990 hit I&apos;ve Got The Power? The answer is maths. Or, to be precise, what happens when maths goes wrong in the real world. As Matt Parker shows us, our modern lives are built on maths: computer programmes, finance, engineering. And most of the time this maths works quietly behind the scenes, until ... it doesn&apos;t. Exploring and explaining a litany of glitches, near-misses and mishaps involving the internet, big data, elections, street signs, lotteries, the Roman empire and a hapless Olympic shooting team, Matt Parker shows us the bizarre ways maths trips us up, and what this reveals about its essential place in our world. This book shows how, by making maths our friend, we can learn from its pitfalls. It also contains puzzles, challenges, geometric socks, jokes about binary code and three deliberate mistakes. Getting it wrong has never been more fun.

Understanding and Using Advanced Statistics is a comprehensive, practical guide for postgraduate students advising how and when to use more advanced statistical methods. Perfect for students without a mathematical background, the authors refresh important basics such as descriptive statistics and research design as well as introducing essential upper-level techniques to cater for the advanced student. Key Features:- Comprehensive guide informing how to use a range of advanced statistical methods such as MANOVA, path analysis and logistical regression;- Inter-disciplinary: ideal for students studying upper level statistical methods in any subject across the social sciences;- Practical guide: case studies, further reading, key terms explained in order to help the non-mathematically orientated student get ahead with their research. Building on undergraduate statistical grounding, Understanding and Using Advanced Statistics provides the upper-level researcher with the knowledge of what advanced statistics do, how they should be used, and what their output means.

A fascinating exploration of how computer algorithms can be applied to our everyday lives. What should we do, or leave undone, in a day or a lifetime? Exploring how insights from computer algorithms can be applied to our everyday lives, &apos;Algorithms To Live By&apos; helps to solve common decision-making problems and illuminate the workings of the human mind. When should you switch between different tasks, and how many tasks should you take on in the first place? How much messiness should you accept? What balance of new activities and familiar favourites is the most fulfilling? When computers face constraints of time and space, they too must untangle very human questions: how to have better hunches, when to leave things to chance, how to deal with overwhelming choices and how best to connect with others. And the solutions they&apos;ve found have much to teach us. Acclaimed author Brian Christian and cognitive scientist Tom Griffiths show how the algorithms developed for computers can be applied from finding your spouse to finding a parking spot, from organizing your inbox to understanding the workings of memory.