Rakuten Kobo

Nákupní košík

Položka(y), kterou si nemůžete koupit

Prosím, zkontrolujte svůj košík. Nedostupnou položku (y) můžete odebrat nyní nebo ji automaticky odebereme v pokladně.

položkypoložka

- Zahrnuje elektronické knihy
  
  Zahrnuje audioknihy
  
  Zahrnuje 30 hodin poslechu
  
  Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
  
  Získejte každý měsíc jeden kredit na audioknihu podle vlastního výběru.
  
  Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
  
  Zahrnuje elektronické knihy
  
  Zahrnuje audioknihy
  
  Zahrnuje 30 hodin poslechu
  
  Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
  Audiokniha
  podle ,
  
  Dostupné:
  
  . Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions.
  
  Předobjednávka
  1 audiokniha měsíčně
  
  + 30denní zkušební verze ZDARMA
  
  Zvláštní nabídka
  
  Každý měsíc získáte 1 kredit, který můžete vyměnit za audioknihu dle svého výběru
  
  * Žádný závazek, lze zrušit kdykoliv
  
  ZDARMA

položkypoložka

Zahrnuje elektronické knihy

Zahrnuje audioknihy

Zahrnuje 30 hodin poslechu

Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions

Získejte každý měsíc jeden kredit na audioknihu podle vlastního výběru.

Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions

Zahrnuje elektronické knihy

Zahrnuje audioknihy

Zahrnuje 30 hodin poslechu

Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
Audiokniha
podle ,

Dostupné:
. Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions.

Předobjednávka
1 audiokniha měsíčně

+ 30denní zkušební verze ZDARMA

Zvláštní nabídka

Každý měsíc získáte 1 kredit, který můžete vyměnit za audioknihu dle svého výběru

* Žádný závazek, lze zrušit kdykoliv

ZDARMA

Doporučeno pro vás

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

podle 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 ... Přečtěte si více

104,12 Kč

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
... Přečtěte si více
Alan M. Turing

Centenary Edition

podle Sara Turing, John Turing ...

'In a short life he accomplished much, and to the roll of great names in the history of his particular studies added his own.' So is described one of the greatest figures of the twentieth century, yet Alan Turing's name was not widely recognised until his contribution to the breaking of the German Enigma code became public in the 1970s. The story of Turing's life fascinates and in the years since ... Přečtěte si více

359,29 Kč

'In a short life he accomplished much, and to the roll of great names in the history of his particular studies added his own.' So is described one of the greatest figures of the twentieth century, yet Alan Turing's name was not widely recognised until his contribution to the breaking of the German Enigma code became public in the 1970s. The story of Turing's life fascinates and in the years since
... Přečtěte si více
Artificial Intelligence Versus Natural Intelligence

podle Roger Penrose, Emanuele Severino, Fabio Scardigli, Ines Testoni, Giuseppe Vitiello, Giacomo Mauro D'Ariano, Federico Faggin ...

Série série Philosophy and Religion (R0)
This book centers around a dialogue between Roger Penrose and Emanuele Severino about one of most intriguing topics of our times, the comparison of artificial intelligence and natural intelligence, as well as its extension to the notions of human and machine consciousness.Additional insightful essays by Mauro D'Ariano, Federico Faggin, Ines Testoni, Giuseppe Vitiello and an introduction of Fabio ... Přečtěte si více

1 968,89 Kč

This book centers around a dialogue between Roger Penrose and Emanuele Severino about one of most intriguing topics of our times, the comparison of artificial intelligence and natural intelligence, as well as its extension to the notions of human and machine consciousness.Additional insightful essays by Mauro D'Ariano, Federico Faggin, Ines Testoni, Giuseppe Vitiello and an introduction of Fabio
... Přečtěte si více
Fermat’s Last Theorem

podle 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 ... Přečtěte si více

250,29 Kč

‘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
... Přečtěte si více
Authorization and Access Control

Foundations, Frameworks, and Applications

podle 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 ... Přečtěte si více

615,91 Kč

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
... Přečtěte si více
Logic, Everyday Discourse, and Metaphysics

podle Gianni Rigamonti ...

Série série 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 ... Přečtěte si více

1 750,09 Kč

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
... Přečtěte si více
Temporal Type Theory

A Topos-Theoretic Approach to Systems and Behavior

podle Patrick Schultz, David I. Spivak ...

Série série 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 ... Přečtěte si více

2 406,49 Kč

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
... Přečtěte si více
Visual Cryptography and Secret Image Sharing

Upravil: Stelvio Cimato, Ching-Nung Yang ...

Série série 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 ... Přečtěte si více

2 548,53 Kč

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
... Přečtěte si více
Turing's Legacy

Developments from Turing's Ideas in Logic

Upravil: Rod Downey ...

Série Kniha 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 ... Přečtěte si více

3 233,69 Kč

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
... Přečtěte si více
Conditionals and Modularity in General Logics

podle Dov M. Gabbay, Karl Schlechta ...

Série série 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 ... Přečtěte si více

1 968,89 Kč

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
... Přečtěte si více
Logic: a Brief Course

podle Daniele Mundici ...

Série série 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 ... Přečtěte si více

1 093,79 Kč

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
... Přečtěte si více
Coherence in Three-Dimensional Category Theory

podle Nick Gurski ...

Série Kniha 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 ... Přečtěte si více

2 720,49 Kč

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
... Přečtěte si více
Introduction to Model Theory

podle Philipp Rothmaler ...

Série série Algebra, Logic and Applications
Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than ... Přečtěte si více

2 464,50 Kč

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than
... Přečtěte si více
Introduction to Mathematical Logic

podle Elliott Mendelson ...

Série série Discrete Mathematics and Its Applications
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosse ... Přečtěte si více

1 568,22 Kč

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosse
... Přečtěte si více
Intensionality

Lecture Notes in Logic 22

Upravil: Reinhard Kahle ...

A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume hi ... Přečtěte si více

1 512,20 Kč

A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume hi
... Přečtěte si více
Games, Norms and Reasons

Logic at the Crossroads

Upravil: Johan van Benthem, Amitabha Gupta, Eric Pacuit ...

Série série Philosophy and Religion (R0)
Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic ... Přečtěte si více

1 968,89 Kč

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic
... Přečtěte si více
Foundations of Software Science and Computation Structures

27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Upravil: Naoki Kobayashi, James Worrell ...

Série Kniha 1 - Springer Nature Proceedings Computer Science
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I: ... Přečtěte si více

Zdarma

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I:
... Přečtěte si více
Miscellaneous Pieces

podle Carroll Lewis ...

Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886) Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work Carroll presents a mind-boggling game complete with rules and procedures. The second work is a humorous rendering of the delicacies involved in the writing of letters. In the last work Carroll dwells on the importance of keeping ... Přečtěte si více

104,12 Kč

Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886) Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work Carroll presents a mind-boggling game complete with rules and procedures. The second work is a humorous rendering of the delicacies involved in the writing of letters. In the last work Carroll dwells on the importance of keeping
... Přečtěte si více
Objects, Structures, and Logics

FilMat Studies in the Philosophy of Mathematics

Upravil: Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo ...

Série série Mathematics and Statistics (R0)
This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, ... Přečtěte si více

3 062,79 Kč

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth,
... Přečtěte si více
Objectivity, Realism, and Proof

FilMat Studies in the Philosophy of Mathematics

Upravil: Francesca Boccuni, Andrea Sereni ...

Série série Philosophy and Religion (R0)
This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge.The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their ... Přečtěte si více

2 625,19 Kč

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge.The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their
... Přečtěte si více
Logic with Trees

An Introduction to Symbolic Logic

podle Colin Howson ...

Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and excercises enable the readers to check their ... Přečtěte si více

1 204,10 Kč

Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and excercises enable the readers to check their
... Přečtěte si více
Practical Mathematical Cryptography

podle Kristian Gjøsteen ...

Série série Chapman & Hall/CRC Cryptography and Network Security Series
Practical Mathematical Cryptography provides a clear and accessible introduction to practical mathematical cryptography.Cryptography, both as a science and as practice, lies at the intersection of mathematics and the science of computation, and the presentation emphasises the essential mathematical nature of the computations and arguments involved in cryptography.Cryptography is also a practical ... Přečtěte si více

1 428,17 Kč

Practical Mathematical Cryptography provides a clear and accessible introduction to practical mathematical cryptography.Cryptography, both as a science and as practice, lies at the intersection of mathematics and the science of computation, and the presentation emphasises the essential mathematical nature of the computations and arguments involved in cryptography.Cryptography is also a practical
... Přečtěte si více
Cybersecurity 2050

Protecting Humanity in a Hyper-Connected World

podle Soorena Merat ...

This book explores the critical intersection of human behavior, cybersecurity, and the transformative potential of quantum technologies. It delves into the vulnerabilities and resilience of human intelligence in the face of cyber threats, examining how cognitive biases, social dynamics, and mental health can be exploited in the digital age.Cybersecurity 2050: Protecting Humanity in a Hyper ... Přečtěte si více

1 652,24 Kč

This book explores the critical intersection of human behavior, cybersecurity, and the transformative potential of quantum technologies. It delves into the vulnerabilities and resilience of human intelligence in the face of cyber threats, examining how cognitive biases, social dynamics, and mental health can be exploited in the digital age.Cybersecurity 2050: Protecting Humanity in a Hyper
... Přečtěte si více
R-Calculus, VI: Finite Injury Priority Method

podle Wei Li, Yuefei Sui ...

Série série Computer Science (R0)
This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0"-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury ... Přečtěte si více

3 062,79 Kč

This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0"-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury
... Přečtěte si více

Rakuten Kobo

Čtečky elektronických knih

Aplikace

Příslušenství

Nákupní košík

Dostáváte VIP zacházení!

Nákupní košík je prázdný

Dostupné:

1 audiokniha měsíčně

+ 30denní zkušební verze ZDARMA

Dostupné:

1 audiokniha měsíčně

+ 30denní zkušební verze ZDARMA

Doporučeno pro vás

Logika elektronické knihy

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

Alan M. Turing

Artificial Intelligence Versus Natural Intelligence

Fermat’s Last Theorem

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

Introduction to Model Theory

Introduction to Mathematical Logic

Intensionality

Games, Norms and Reasons

Foundations of Software Science and Computation Structures

Miscellaneous Pieces

Objects, Structures, and Logics

Objectivity, Realism, and Proof

Logic with Trees

Practical Mathematical Cryptography

Cybersecurity 2050

R-Calculus, VI: Finite Injury Priority Method