Rakuten Kobo

Handlekurv

Titlene er ikke tilgjengelige for kjøp

Se gjennom handlekurven din. Du kan fjerne titlene som ikke er tilgjengelige nå eller vi fjerner dem automatisk ved kassen.

titlertittel

- Inkluderer e-bøker
  
  Inkluderer lydbøker
  
  Inkluderer 30 timer med lyttetid
  
  Ingen binding, si opp når som helst på kobo.com/account/subscriptions
  
  Få 1 kreditt hver måned for lydboken du selv velger
  
  Ingen binding, si opp når som helst på kobo.com/account/subscriptions
  
  Inkluderer e-bøker
  
  Inkluderer lydbøker
  
  Inkluderer 30 timer med lyttetid
  
  Ingen binding, si opp når som helst på kobo.com/account/subscriptions
  Lydbok
  av ,
  
  Tilgjengelig:
  
  . Ingen binding, si opp når som helst på kobo.com/account/subscriptions.
  
  Forhåndsbestille
  1 lydbok hver måned
  
  + GRATIS prøveperiode på 30 dager
  
  Spesialtilbud
  
  Få 1 kreditt hver måned som du kan løse inn mot en valgfri lydbok
  
  *Ingen forpliktelser, du kan avslutte når som helst
  
  GRATIS

titlertittel

Inkluderer e-bøker

Inkluderer lydbøker

Inkluderer 30 timer med lyttetid

Ingen binding, si opp når som helst på kobo.com/account/subscriptions

Få 1 kreditt hver måned for lydboken du selv velger

Ingen binding, si opp når som helst på kobo.com/account/subscriptions

Inkluderer e-bøker

Inkluderer lydbøker

Inkluderer 30 timer med lyttetid

Ingen binding, si opp når som helst på kobo.com/account/subscriptions
Lydbok
av ,

Tilgjengelig:
. Ingen binding, si opp når som helst på kobo.com/account/subscriptions.

Forhåndsbestille
1 lydbok hver måned

+ GRATIS prøveperiode på 30 dager

Spesialtilbud

Få 1 kreditt hver måned som du kan løse inn mot en valgfri lydbok

*Ingen forpliktelser, du kan avslutte når som helst

GRATIS

Anbefalt for deg

Fermat’s Last Theorem

av Simon Singh ...

‘I have a truly marvellous demonstration of this proposition which this margin is too narrow to contain.’It was with these words, written in the 1630s, that Pierre de Fermat intrigued and infuriated the mathematics community. For over 350 years, proving Fermat’s Last Theorem was the most notorious unsolved mathematical problem, a puzzle whose basics most children could grasp but whose solution ... Les mer

130,68 kr

‘I have a truly marvellous demonstration of this proposition which this margin is too narrow to contain.’It was with these words, written in the 1630s, that Pierre de Fermat intrigued and infuriated the mathematics community. For over 350 years, proving Fermat’s Last Theorem was the most notorious unsolved mathematical problem, a puzzle whose basics most children could grasp but whose solution
... Les mer
Build a Mathematical Mind - Even If You Think You Can't Have One

av Albert Rutherford ...

Would you like to be a proficient mathematician… without using numbers?There is so much more to math than geometry and calculus! It is present in almost every life aspect, from improving your communication skills to how to fit your luggage into your car.Did you always hate math because you couldn't understand complex formulas?Don't let a few equations or a bad teacher deter you from building a ... Les mer

46,22 kr

Would you like to be a proficient mathematician… without using numbers?There is so much more to math than geometry and calculus! It is present in almost every life aspect, from improving your communication skills to how to fit your luggage into your car.Did you always hate math because you couldn't understand complex formulas?Don't let a few equations or a bad teacher deter you from building a
... Les mer
Logic

A Very Short Introduction

av Graham Priest ...

Serie serien Very Short Introductions
Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability ... Les mer

74,01 kr

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability
... Les mer
How to Solve It

A New Aspect of Mathematical Method

av G. Polya ...

Serie serien Princeton Science Library
A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight.In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be "reasoned" out--from building a bridge to winning a game of anagrams. Generations of readers have ... Les mer

178,99 kr

A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight.In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be "reasoned" out--from building a bridge to winning a game of anagrams. Generations of readers have
... Les mer
The Proof in the Code

How a Truth Machine Is Transforming Math and AI

av Kevin Hartnett ...

“The most interesting book I’ve ever read about math.” —Kevin Roose, New York Times tech columnist and co-host of the Hard Fork podcastThe Proof in the Code tells the inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engineer named Le... ... Les mer

171,19 kr

“The most interesting book I’ve ever read about math.” —Kevin Roose, New York Times tech columnist and co-host of the Hard Fork podcastThe Proof in the Code tells the inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engineer named Le...
... Les mer
The Music of the Primes

Why an unsolved problem in mathematics matters (Text Only)

av Marcus du Sautoy ...

(This ebook contains a limited number of illustrations.)The ebook of the critically-acclaimed popular science book by a writer who is fast becoming a celebrity mathematician.Prime numbers are the very atoms of arithmetic. They also embody one of the most tantalising enigmas in the pursuit of human knowledge. How can one predict when the next prime number will occur? Is there a formula which could ... Les mer

130,68 kr

(This ebook contains a limited number of illustrations.)The ebook of the critically-acclaimed popular science book by a writer who is fast becoming a celebrity mathematician.Prime numbers are the very atoms of arithmetic. They also embody one of the most tantalising enigmas in the pursuit of human knowledge. How can one predict when the next prime number will occur? Is there a formula which could
... Les mer
Why Machines Learn

The Elegant Maths Behind Modern AI

av Anil Ananthaswamy ...

'An invaluable companion for anyone who wants a deep understanding of what’s under the hood of often inscrutable machines' Melanie MitchellA rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explosion of artificial intelligenceMachine-learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumour ... Les mer

273,42 kr

'An invaluable companion for anyone who wants a deep understanding of what’s under the hood of often inscrutable machines' Melanie MitchellA rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explosion of artificial intelligenceMachine-learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumour
... Les mer
Burn Math Class

And Reinvent Mathematics for Yourself

av Jason Wilkes ...

A manifesto for a mathematical revolutionForget everything you've been taught about math. In Burn Math Class, Jason Wilkes takes the traditional approach to how we learn math -- with its unwelcoming textbooks, unexplained rules, and authoritarian assertions-and sets it on fire.Focusing on how mathematics is created rather than on mathematical facts, Wilkes teaches the subject in a way that ... Les mer

162,09 kr

A manifesto for a mathematical revolutionForget everything you've been taught about math. In Burn Math Class, Jason Wilkes takes the traditional approach to how we learn math -- with its unwelcoming textbooks, unexplained rules, and authoritarian assertions-and sets it on fire.Focusing on how mathematics is created rather than on mathematical facts, Wilkes teaches the subject in a way that
... Les mer
Mathematical Aspects of Logic Programming Semantics

av Pascal Hitzler, Anthony Seda ...

Serie serien Chapman & Hall/CRC Studies in Informatics Series
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance ... Les mer

Gratis

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance
... Les mer
The Rules of Contagion

Why Things Spread - and Why They Stop

av Adam Kucharski ...

An Observer Book of the YearA Times Science Book of the YearA New Statesman Book of the YearA Financial Times Science Book of the Year'Astonishingly bold' Daily Mail'It is hard to imagine a more timely book ... much of the modern world will make more sense having read it.' The TimesWe live in... ... Les mer

99,35 kr

An Observer Book of the YearA Times Science Book of the YearA New Statesman Book of the YearA Financial Times Science Book of the Year'Astonishingly bold' Daily Mail'It is hard to imagine a more timely book ... much of the modern world will make more sense having read it.' The TimesWe live in...
... Les mer
Descartes' Error

Emotion, Reason, and the Human Brain

av Antonio Damasio ...

**"An ambitious and meticulous foray into the nature of being." —The Boston GlobeA landmark exploration of the relationship between emotion and reason**Since Descartes famously proclaimed, "I think, therefore I am," science has often overlooked emotions as the source of a person’s true being. Even modern neuroscience has tended, until recently, to concentrate on the cognitive aspects of brain ... Les mer

134,79 kr

**"An ambitious and meticulous foray into the nature of being." —The Boston GlobeA landmark exploration of the relationship between emotion and reason**Since Descartes famously proclaimed, "I think, therefore I am," science has often overlooked emotions as the source of a person’s true being. Even modern neuroscience has tended, until recently, to concentrate on the cognitive aspects of brain
... Les mer
What We Cannot Know

Explorations at the Edge of Knowledge

av Marcus du Sautoy ...

‘Brilliant and fascinating. No one is better at making the recondite accessible and exciting’ Bill BrysonBritain’s most famous mathematician takes us to the edge of knowledge to show us what we cannot know.Is the universe infinite?Do we know what happened before the Big Bang?Where is human consciousness located in the brain?And are there more undiscovered particles out there, beyond the... ... Les mer

176,93 kr

‘Brilliant and fascinating. No one is better at making the recondite accessible and exciting’ Bill BrysonBritain’s most famous mathematician takes us to the edge of knowledge to show us what we cannot know.Is the universe infinite?Do we know what happened before the Big Bang?Where is human consciousness located in the brain?And are there more undiscovered particles out there, beyond the...
... Les mer
The Language of Mathematics

The Stories behind the Symbols

av Raúl Rojas ...

Oversatt av Eduardo Aparicio ...

A marvelous compendium of mathematical symbols and their fascinating historiesGalileo famously wrote that the book of nature is written in mathematical language. The Language of Mathematics is a wide-ranging and beautifully illustrated collection of short, colorful histories of the most commonly used symbols in mathematics, providing readers with an engaging introduction to the origins, evolution, ... Les mer

162,69 kr

A marvelous compendium of mathematical symbols and their fascinating historiesGalileo famously wrote that the book of nature is written in mathematical language. The Language of Mathematics is a wide-ranging and beautifully illustrated collection of short, colorful histories of the most commonly used symbols in mathematics, providing readers with an engaging introduction to the origins, evolution,
... Les mer
Maths on the Back of an Envelope

Clever ways to (roughly) calculate anything

av Rob Eastaway ...

‘Another terrific book by Rob Eastaway’ SIMON SINGH‘A delightfully accessible guide to how to play with numbers’ HANNAH FRYHow many cats are there in the world?What's the chance of winning the lottery twice?And just how long does it take to count to a million?Learn how to tackle tricky maths problems with nothing but the back of an envelope, a pencil and some good old-fashioned brain power.Join ... Les mer

71,87 kr

‘Another terrific book by Rob Eastaway’ SIMON SINGH‘A delightfully accessible guide to how to play with numbers’ HANNAH FRYHow many cats are there in the world?What's the chance of winning the lottery twice?And just how long does it take to count to a million?Learn how to tackle tricky maths problems with nothing but the back of an envelope, a pencil and some good old-fashioned brain power.Join
... Les mer
The Genius in my Basement

av Alexander Masters ...

An intimate portrait of an everyday genius.Alexander Master’s landlord, Simon, lives in the basement of their Cambridge house. Between teetering towers of outdated maps and slagheaps of plastic bags, Simon eats endless meals of tinned kippers and plans trips on the Cambridge public transport system.But Simon was one of the greatest mathematical prodigies of the twentieth century. He spends his ... Les mer

111,78 kr

An intimate portrait of an everyday genius.Alexander Master’s landlord, Simon, lives in the basement of their Cambridge house. Between teetering towers of outdated maps and slagheaps of plastic bags, Simon eats endless meals of tinned kippers and plans trips on the Cambridge public transport system.But Simon was one of the greatest mathematical prodigies of the twentieth century. He spends his
... Les mer
Logic

av Wilfrid Hodges ...

If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material ... Les mer

136,65 kr

If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material
... Les mer
Authorization and Access Control

Foundations, Frameworks, and Applications

av Parikshit N. Mahalle, Shashikant S. Bhong, Gitanjali R. Shinde ...

This book focuses on various authorization and access control techniques, threats and attack modeling, including an overview of the Open Authorization 2.0 (OAuth 2.0) framework along with user-managed access (UMA) and security analysis. Important key concepts are discussed regarding login credentials with restricted access to third parties with a primary account as a resource server. A detailed ... Les mer

273,42 kr

This book focuses on various authorization and access control techniques, threats and attack modeling, including an overview of the Open Authorization 2.0 (OAuth 2.0) framework along with user-managed access (UMA) and security analysis. Important key concepts are discussed regarding login credentials with restricted access to third parties with a primary account as a resource server. A detailed
... Les mer
Logic, Everyday Discourse, and Metaphysics

av Gianni Rigamonti ...

Serie serien Philosophy and Religion (R0)
This book applies the formal discipline of logic to everyday discourse. It offers a new analysis of the notion of individual, suggesting that this notion is linguistic, not ontological, and that anything denoted by a proper name in a well-functioning language game is an individual. It further posits that everyday discourse is non-compositional, i.e., its complex expressions are not just the result ... Les mer

863,20 kr

This book applies the formal discipline of logic to everyday discourse. It offers a new analysis of the notion of individual, suggesting that this notion is linguistic, not ontological, and that anything denoted by a proper name in a well-functioning language game is an individual. It further posits that everyday discourse is non-compositional, i.e., its complex expressions are not just the result
... Les mer
Temporal Type Theory

A Topos-Theoretic Approach to Systems and Behavior

av Patrick Schultz, David I. Spivak ...

Serie serien Mathematics and Statistics (R0)
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze ... Les mer

1 186,94 kr

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze
... Les mer
Visual Cryptography and Secret Image Sharing

Redigert av Stelvio Cimato, Ching-Nung Yang ...

Serie serien Digital Imaging and Computer Vision
With rapid progress in Internet and digital imaging technology, there are more and more ways to easily create, publish, and distribute images. Considered the first book to focus on the relationship between digital imaging and privacy protection, Visual Cryptography and Secret Image Sharing is a complete introduction to novel security methods and sharing-control mechanisms used to protect against ... Les mer

1 131,34 kr

With rapid progress in Internet and digital imaging technology, there are more and more ways to easily create, publish, and distribute images. Considered the first book to focus on the relationship between digital imaging and privacy protection, Visual Cryptography and Secret Image Sharing is a complete introduction to novel security methods and sharing-control mechanisms used to protect against
... Les mer
Turing's Legacy

Developments from Turing's Ideas in Logic

Redigert av Rod Downey ...

Serie Bok 42 - Lecture Notes in Logic
Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern ... Les mer

1 750,61 kr

Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern
... Les mer
Conditionals and Modularity in General Logics

av Dov M. Gabbay, Karl Schlechta ...

Serie serien Computer Science (R0)
This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity ... Les mer

971,12 kr

This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity
... Les mer
Logic: a Brief Course

av Daniele Mundici ...

Serie serien Mathematics and Statistics (R0)
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts ... Les mer

539,46 kr

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts
... Les mer
Coherence in Three-Dimensional Category Theory

av Nick Gurski ...

Serie Bok 201 - Cambridge Tracts in Mathematics
Dimension three is an important test-bed for hypotheses in higher category theory and occupies something of a unique position in the categorical landscape. At the heart of matters is the coherence theorem, of which this book provides a definitive treatment, as well as covering related results. Along the way the author treats such material as the Gray tensor product and gives a construction of the ... Les mer

1 472,73 kr

Dimension three is an important test-bed for hypotheses in higher category theory and occupies something of a unique position in the categorical landscape. At the heart of matters is the coherence theorem, of which this book provides a definitive treatment, as well as covering related results. Along the way the author treats such material as the Gray tensor product and gives a construction of the
... Les mer

Kobo Rakuten

Lesebrett

Apper

Tilbehør

Handlekurv

Du får VIP-behandlingen!

Handlekurven din er tom

Tilgjengelig:

1 lydbok hver måned

+ GRATIS prøveperiode på 30 dager

Tilgjengelig:

1 lydbok hver måned

+ GRATIS prøveperiode på 30 dager

Anbefalt for deg

Logikk e-bøker

Fermat’s Last Theorem

Build a Mathematical Mind - Even If You Think You Can't Have One

Logic

How to Solve It

The Proof in the Code

The Music of the Primes

Why Machines Learn

Burn Math Class

Mathematical Aspects of Logic Programming Semantics

The Rules of Contagion

Descartes' Error

What We Cannot Know

The Language of Mathematics

Maths on the Back of an Envelope

The Genius in my Basement

Logic

Authorization and Access Control

Logic, Everyday Discourse, and Metaphysics

Temporal Type Theory

Visual Cryptography and Secret Image Sharing

Turing's Legacy

Conditionals and Modularity in General Logics

Logic: a Brief Course

Coherence in Three-Dimensional Category Theory