Rakuten Kobo

Indkøbskurv

Vare(r) ikke tilgængelig til køb

Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.

varervare

- Inkluderer e-bøger
  
  Inkluderer lydbøger
  
  Inkluderer 30 timers lyttetid
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Få 1 kredit hver måned til en lydbog efter eget valg
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Inkluderer e-bøger
  
  Inkluderer lydbøger
  
  Inkluderer 30 timers lyttetid
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  lydbog
  af ,
  
  Ledig:
  
  . Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.
  
  Forudbestilling
  1 lydbog om måneden
  
  + GRATIS 30-dages prøve
  
  Særtilbud
  
  Få 1 kredit hver måned til at bytte til en lydbog efter eget valg
  
  *Ingen forpligtelse, annuller når som helst
  
  GRATIS

varervare

Inkluderer e-bøger

Inkluderer lydbøger

Inkluderer 30 timers lyttetid

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Få 1 kredit hver måned til en lydbog efter eget valg

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Inkluderer e-bøger

Inkluderer lydbøger

Inkluderer 30 timers lyttetid

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
lydbog
af ,

Ledig:
. Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.

Forudbestilling
1 lydbog om måneden

+ GRATIS 30-dages prøve

Særtilbud

Få 1 kredit hver måned til at bytte til en lydbog efter eget valg

*Ingen forpligtelse, annuller når som helst

GRATIS

Anbefalet til dig

Journey to the Edge of Reason

The Life of Kurt Gödel

af Stephen Budiansky ...

The first major biography written for a general audience of the logician and mathematician whose Incompleteness Theorems helped launch a modern scientific revolution.Nearly a hundred years after its publication, Kurt Gödel’s famous proof that every mathematical system must contain propositions that are true—yet never provable—continues to unsettle mathematics, philosophy, and computer science. Yet ... Læs mere

135,99 kr.

The first major biography written for a general audience of the logician and mathematician whose Incompleteness Theorems helped launch a modern scientific revolution.Nearly a hundred years after its publication, Kurt Gödel’s famous proof that every mathematical system must contain propositions that are true—yet never provable—continues to unsettle mathematics, philosophy, and computer science. Yet
... Læs mere
Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory

af Justus Diller ...

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular ... Læs mere

625,38 kr.

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular
... Læs mere
Goedel's Way

Exploits into an undecidable world

af Gregory Chaitin ...

Kurt Gödel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein’s general relativity, as he proved that Einstein’s theory allows for time machines.The Gödel incompleteness theorem - the usual formal mathematical systems cannot prove nor ... Læs mere

602,61 kr.

Kurt Gödel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein’s general relativity, as he proved that Einstein’s theory allows for time machines.The Gödel incompleteness theorem - the usual formal mathematical systems cannot prove nor
... Læs mere
Nonstandard Methods and Applications in Mathematics

Lecture Notes in Logic 25

Redigeret af Nigel J. Cutland, Mauro Di Nasso, David A. Ross ...

A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. In addition to the important philosophical achievement of providing a sound mathematical basis for using infinitesimals in analysis, t ... Læs mere

634,90 kr.

A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. In addition to the important philosophical achievement of providing a sound mathematical basis for using infinitesimals in analysis, t
... Læs mere
Foundations of Three-Dimensional Euclidean Geometry

af Izu Vaisman ...

Serier serie Chapman & Hall/CRC Pure and Applied Mathematics
This book presents to the reader a modern axiomatic construction of three-dimensional Euclidean geometry in a rigorous and accessible form. It is helpful for high school teachers who are interested in the modernization of the teaching of geometry. ... Læs mere

2.583,07 kr.

This book presents to the reader a modern axiomatic construction of three-dimensional Euclidean geometry in a rigorous and accessible form. It is helpful for high school teachers who are interested in the modernization of the teaching of geometry.
... Læs mere
Topics in Model Theory

af Anand Pillay ...

This book has two chapters. The first is a modern or contemporary account of stability theory. A focus is on the local (formula-by-formula) theory, treated a little differently from in the author's book Geometric Stability Theory. There is also a survey of general and geometric stability theory, as well as applications to combinatorics (stable regularity lemma) using pseudofinite methods.The ... Læs mere

176,39 kr.

This book has two chapters. The first is a modern or contemporary account of stability theory. A focus is on the local (formula-by-formula) theory, treated a little differently from in the author's book Geometric Stability Theory. There is also a survey of general and geometric stability theory, as well as applications to combinatorics (stable regularity lemma) using pseudofinite methods.The
... Læs mere
Introduction aux ensembles et aux fonctions

af Simone Malacrida ...

Dans ce livre, les hypothèses théoriques des sujets mathématiques suivants sont présentées :logique mathématiquethéorie des ensemblesthéorie des fonctionscalcul littéralpropriétés des puissances et des radicauxcalcul des monômes et des polynômesChaque sujet est traité en mettant en évidence les applications pratiques et en résolvant quelques exercices significatifs. ... Læs mere

31,99 kr.

Dans ce livre, les hypothèses théoriques des sujets mathématiques suivants sont présentées :logique mathématiquethéorie des ensemblesthéorie des fonctionscalcul littéralpropriétés des puissances et des radicauxcalcul des monômes et des polynômesChaque sujet est traité en mettant en évidence les applications pratiques et en résolvant quelques exercices significatifs.
... Læs mere
Neutrosophic Computing and Vague Data Analysis

Redigeret af Florentin Smarandache, Zahid Khan ...

Serier serie Advances in Applied Mathematics
This edited volume provides a comprehensive exploration of neutrosophic methodologies, emphasizing their computational frameworks, theoretical advancements, and practical applications. Neutrosophic logic, originally developed to address problems involving vague, inconsistent, incomplete, or unclear information, has evolved significantly over the years. Its extensions have found relevance across ... Læs mere

634,90 kr.

This edited volume provides a comprehensive exploration of neutrosophic methodologies, emphasizing their computational frameworks, theoretical advancements, and practical applications. Neutrosophic logic, originally developed to address problems involving vague, inconsistent, incomplete, or unclear information, has evolved significantly over the years. Its extensions have found relevance across
... Læs mere
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

af Mircea S. Reghis, Eugene Roventa ...

Classical and Fuzzy Concepts in Mathematical Logic and Applications provides a broad, thorough coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic.Exploring the parallels between classical and fuzzy mathematical logic, the book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation ... Læs mere

634,90 kr.

Classical and Fuzzy Concepts in Mathematical Logic and Applications provides a broad, thorough coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic.Exploring the parallels between classical and fuzzy mathematical logic, the book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation
... Læs mere
You Create Your Reality: Mathematical Evidence

af Richard Lighthouse ...

This short technical ebook presents a summary of the universal probabilities involved from the perspective of a single elementary particle. There are numerous probabilities that have near-infinite variations. Combined together, we can conclude that for all practical purposes the total probabilities are infinite, in our terms. Seth was fond of stating that, "There are no coincidences," and "There ... Læs mere

25,59 kr.

This short technical ebook presents a summary of the universal probabilities involved from the perspective of a single elementary particle. There are numerous probabilities that have near-infinite variations. Combined together, we can conclude that for all practical purposes the total probabilities are infinite, in our terms. Seth was fond of stating that, "There are no coincidences," and "There
... Læs mere
Mathematical Music

af Ronald Miu ...

This book provides a mathematical approach to music composition. Although this topic has attracted significant attention, existing efforts focus on algebra and number theory. We add to the literature of applied mathematics by leveraging stochastic processes to compose chamber music. The first several chapters of the book introduce key concepts from probability theory. Subsequent chapters explore ... Læs mere

192,43 kr.

This book provides a mathematical approach to music composition. Although this topic has attracted significant attention, existing efforts focus on algebra and number theory. We add to the literature of applied mathematics by leveraging stochastic processes to compose chamber music. The first several chapters of the book introduce key concepts from probability theory. Subsequent chapters explore
... Læs mere
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory

af Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich Zapletal ...

This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysis, topology, and algebra.The book is designed as a flexible and accessible text for a one-semester ... Læs mere

240,13 kr.

This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysis, topology, and algebra.The book is designed as a flexible and accessible text for a one-semester
... Læs mere
Exercícios de Conjuntos e Funções

af Simone Malacrida ...

Neste livro, são realizados exercícios sobre os seguintes tópicos matemáticos:teoria de conjuntosfunções e propriedades de funçõesTambém são apresentadas dicas teóricas iniciais para tornar a execução dos exercícios compreensível ... Læs mere

31,99 kr.

Neste livro, são realizados exercícios sobre os seguintes tópicos matemáticos:teoria de conjuntosfunções e propriedades de funçõesTambém são apresentadas dicas teóricas iniciais para tornar a execução dos exercícios compreensível
... Læs mere
Application of Fuzzy Logic to Social Choice Theory

af John N. Mordeson, Davender S. Malik, Terry D. Clark ...

Fuzzy social choice theory is useful for modeling the uncertainty and imprecision prevalent in social life yet it has been scarcely applied and studied in the social sciences. Filling this gap, Application of Fuzzy Logic to Social Choice Theory provides a comprehensive study of fuzzy social choice theory.The book explains the concept of a fuzzy max ... Læs mere

764,05 kr.

Fuzzy social choice theory is useful for modeling the uncertainty and imprecision prevalent in social life yet it has been scarcely applied and studied in the social sciences. Filling this gap, Application of Fuzzy Logic to Social Choice Theory provides a comprehensive study of fuzzy social choice theory.The book explains the concept of a fuzzy max
... Læs mere
Essentials of Fuzzy Soft Multisets

Theory and Applications

af Anjan Mukherjee, Ajoy Kanti Das ...

Serier serie Mathematics and Statistics (R0)
This book discusses major theories and applications of fuzzy soft multisets and their generalization which help researchers get all the related information at one place. The primary objective of this book is to help bridge the gap to provide a textbook on the theories in fuzzy soft multisets and their applications in real life. It is targeted to researchers and students working in the field of ... Læs mere

1.214,26 kr.

This book discusses major theories and applications of fuzzy soft multisets and their generalization which help researchers get all the related information at one place. The primary objective of this book is to help bridge the gap to provide a textbook on the theories in fuzzy soft multisets and their applications in real life. It is targeted to researchers and students working in the field of
... Læs mere
Introduction to Math Olympiad Problems

af Michael A. Radin ...

Introduction to Math Olympiad Problems aims to introduce high school students to all the necessary topics that frequently emerge in international Math Olympiad competitions. In addition to introducing the topics, the book will also provide several repetitive-type guided problems to help develop vital techniques in solving problems correctly and efficiently. The techniques employed in the book will ... Læs mere

344,30 kr.

Introduction to Math Olympiad Problems aims to introduce high school students to all the necessary topics that frequently emerge in international Math Olympiad competitions. In addition to introducing the topics, the book will also provide several repetitive-type guided problems to help develop vital techniques in solving problems correctly and efficiently. The techniques employed in the book will
... Læs mere
Min lilla stora mattebok

af Lars Rönnbäck ...

Först och främst är detta en vacker berättelse om en flicka som lär sig att räkna. Det visar sig dock vara så att de flesta av oss har glömt hur vi blev skickliga räknare. Få vet om att vi då också lär oss koncept från högre matematik. Om ni är nyfikna på varför ni kan räkna eller om ni vill göra några övningar tillsammans med barn för att hjälpa dem på vägen mot att räkna, då är det här en bok ... Læs mere

23,97 kr. eller Gratis med Kobo Plus

Först och främst är detta en vacker berättelse om en flicka som lär sig att räkna. Det visar sig dock vara så att de flesta av oss har glömt hur vi blev skickliga räknare. Få vet om att vi då också lär oss koncept från högre matematik. Om ni är nyfikna på varför ni kan räkna eller om ni vill göra några övningar tillsammans med barn för att hjälpa dem på vägen mot att räkna, då är det här en bok
... Læs mere
Taking the “Oof!” Out of Proofs

af Alexandr Draganov ...

Serier serie Textbooks in Mathematics
This book introduces readers to the art of doing mathematical proofs. Proofs are the glue that holds mathematics together. They make connections between math concepts and show why things work the way they do. This book teaches the art of proofs using familiar high-school concepts, such as numbers, polynomials, functions, and trigonometry. It retells math as a story, where the next chapter follows ... Læs mere

Før 581,08 kr. Nu 516,51 kr.

This book introduces readers to the art of doing mathematical proofs. Proofs are the glue that holds mathematics together. They make connections between math concepts and show why things work the way they do. This book teaches the art of proofs using familiar high-school concepts, such as numbers, polynomials, functions, and trigonometry. It retells math as a story, where the next chapter follows
... Læs mere
Basic Category Theory

af Tom Leinster ...

Serier Bog 143 - Cambridge Studies in Advanced Mathematics
At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in ... Læs mere

625,38 kr.

At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in
... Læs mere
Mathematical Logic, Computability, Complexity, and Randomness

Proceedings of the 16th Asian Logic Conference and 14th International Conference on Computability, Complexity, and Randomness

af Joerg Brendle, Rod Downey, Sergey S Goncharov, Manat Mustafa, Guohua Wu ...

This volume presents the combined proceedings of two major conferences in mathematical logic — the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) — held at Nazarbayev University, Astana, Kazakhstan, from 17–21 June 2019 and 23–25 June 2019, respectively. ALC is a prominent international event promoting research and ... Læs mere

625,38 kr.

This volume presents the combined proceedings of two major conferences in mathematical logic — the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) — held at Nazarbayev University, Astana, Kazakhstan, from 17–21 June 2019 and 23–25 June 2019, respectively. ALC is a prominent international event promoting research and
... Læs mere
Synthetic Differential Topology

af Marta Bunge, Felipe Gago, Ana María San Luis ...

Serier Bog 448 - London Mathematical Society Lecture Note Series
This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and topology by means of the rich categorical structure of a necessarily non-Boolean topos and of the systematic use of logical infinitesimal objects in it. Beginning with an introduction to those parts of ... Læs mere

745,65 kr.

This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and topology by means of the rich categorical structure of a necessarily non-Boolean topos and of the systematic use of logical infinitesimal objects in it. Beginning with an introduction to those parts of
... Læs mere
Intuitive Axiomatic Set Theory

af José L Garciá ...

Serier serie Textbooks in Mathematics
Set theory can be rigorously and profitably studied through an intuitive approach, thus independently of formal logic. Nearly every branch of Mathematics depends upon set theory, and thus, knowledge of set theory is of interest to every mathematician. This book is addressed to all mathematicians and tries to convince them that this intuitive approach to axiomatic set theory is not only possible ... Læs mere

979,30 kr.

Set theory can be rigorously and profitably studied through an intuitive approach, thus independently of formal logic. Nearly every branch of Mathematics depends upon set theory, and thus, knowledge of set theory is of interest to every mathematician. This book is addressed to all mathematicians and tries to convince them that this intuitive approach to axiomatic set theory is not only possible
... Læs mere
Notes On Forcing Axioms

af Stevo Todorcevic, Chitat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang ...

Serier Bog 26 - Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore
In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via ... Læs mere

240,53 kr.

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via
... Læs mere
Introductory Topology: Exercises And Solutions (Second Edition)

af Mohammed Hichem Mortad ...

'The book is well written, and there is a welcome breadth in the choice of topics. I think this book is a valuable resource. Students who meticulously work through all the problems in the book in an intelligent way, will surely gain considerable insight into the subject; teachers who donâ€™t tell their students about it will find it a valuable source for exam questions.'The Mathematical GazetteThe ... Læs mere

304,67 kr.

'The book is well written, and there is a welcome breadth in the choice of topics. I think this book is a valuable resource. Students who meticulously work through all the problems in the book in an intelligent way, will surely gain considerable insight into the subject; teachers who donâ€™t tell their students about it will find it a valuable source for exam questions.'The Mathematical GazetteThe
... Læs mere

Kobo Rakuten

e-læsere

Apps

Tilbehør

Indkøbskurv

Du får VIP-behandling!

Din indkøbskurv er tom

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Anbefalet til dig

Mængdelære e-bøger

Journey to the Edge of Reason

Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory

Goedel's Way

Nonstandard Methods and Applications in Mathematics

Foundations of Three-Dimensional Euclidean Geometry

Topics in Model Theory

Introduction aux ensembles et aux fonctions

Neutrosophic Computing and Vague Data Analysis

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

You Create Your Reality: Mathematical Evidence

Mathematical Music

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory

Exercícios de Conjuntos e Funções

Application of Fuzzy Logic to Social Choice Theory

Essentials of Fuzzy Soft Multisets

Introduction to Math Olympiad Problems

Min lilla stora mattebok

Taking the “Oof!” Out of Proofs

Basic Category Theory

Mathematical Logic, Computability, Complexity, and Randomness

Synthetic Differential Topology

Intuitive Axiomatic Set Theory

Notes On Forcing Axioms

Introductory Topology: Exercises And Solutions (Second Edition)