Rakuten Kobo

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Handbook of Philosophical Logic

Volume IV: Topics in the Philosophy of Language

Edición de Dov M. Gabbay, Franz Guenthner ...

Series series Philosophy and Religion (R0)
conceptual, realist) theories of predication. Chapter IV.4 centers on an important class of expressions used for predication in connection with quantities: mass expressions. This chapter reviews the most well-known approaches to mass terms and the ontological proposals related to them. In addition to quantification and predication, matters of reference have constituted the other overriding theme ... Leer más

$59,781 CLP

conceptual, realist) theories of predication. Chapter IV.4 centers on an important class of expressions used for predication in connection with quantities: mass expressions. This chapter reviews the most well-known approaches to mass terms and the ontological proposals related to them. In addition to quantification and predication, matters of reference have constituted the other overriding theme
... Leer más
Formal Methods Teaching

6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Edición de Emil Sekerinski, Leila Ribeiro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of ... Leer más

$45,431 CLP

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of
... Leer más
Uncertain Multi-objective Decision Making: Methods and Industrial Models

de Hamed Fazlollahtabar ...

Series series Engineering (R0)
This book explains multi-objective optimization as an area of multicriteria decision making that deals with mathematical optimization problems involving more than one objective function that must be optimized simultaneously. Multi-objective optimization is used in many fields of science, including engineering, economics, and logistics, where there is a need to make optimal decisions in the ... Leer más

$191,327 CLP

This book explains multi-objective optimization as an area of multicriteria decision making that deals with mathematical optimization problems involving more than one objective function that must be optimized simultaneously. Multi-objective optimization is used in many fields of science, including engineering, economics, and logistics, where there is a need to make optimal decisions in the
... Leer más
Modal Logic for Philosophers

de James W. Garson ...

This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal ... Leer más

$47,367 CLP

This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal
... Leer más
Burden of Proof, Presumption and Argumentation

de Douglas Walton ...

The notion of burden of proof and its companion notion of presumption are central to argumentation studies. This book argues that we can learn a lot from how the courts have developed procedures over the years for allocating and reasoning with presumptions and burdens of proof, and from how artificial intelligence has built precise formal and computational systems to represent this kind of ... Leer más

$29,604 CLP

The notion of burden of proof and its companion notion of presumption are central to argumentation studies. This book argues that we can learn a lot from how the courts have developed procedures over the years for allocating and reasoning with presumptions and burdens of proof, and from how artificial intelligence has built precise formal and computational systems to represent this kind of
... Leer más
The Semantic Conception of Logic

Essays on Consequence, Invariance, and Meaning

Edición de Gil Sagi, Jack Woods ...

This collection of new essays presents cutting-edge research on the semantic conception of logic, the invariance criteria of logicality, grammaticality, and logical truth. Contributors explore the history of the semantic tradition, starting with Tarski, and its historical applications, while central criticisms of the tradition, and especially the use of invariance criteria to explain logicality, ... Leer más

$29,604 CLP

This collection of new essays presents cutting-edge research on the semantic conception of logic, the invariance criteria of logicality, grammaticality, and logical truth. Contributors explore the history of the semantic tradition, starting with Tarski, and its historical applications, while central criticisms of the tradition, and especially the use of invariance criteria to explain logicality,
... Leer más
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

de Martin Grohe ...

Series Libro 47 - Lecture Notes in Logic
Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle of modern structural graph theory, specifically graph ... Leer más

$192,849 CLP

Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle of modern structural graph theory, specifically graph
... Leer más
Elements of Automata Theory

de Jacques Sakarovitch ...

Traducido por Reuben Thomas ...

Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. The first part of the book is organised around notions of rationality and recognisability. The second ... Leer más

$225,837 CLP

Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. The first part of the book is organised around notions of rationality and recognisability. The second
... Leer más
Build a Mathematical Mind - Even If You Think You Can't Have One

de 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 ... Leer más

$4,326 CLP

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
... Leer más
A Guide to NIP Theories

de Pierre Simon ...

Series Libro 44 - Lecture Notes in Logic
The study of NIP theories has received much attention from model theorists in the last decade, fuelled by applications to o-minimal structures and valued fields. This book, the first to be written on NIP theories, is an introduction to the subject that will appeal to anyone interested in model theory: graduate students and researchers in the field, as well as those in nearby areas such as ... Leer más

$134,487 CLP

The study of NIP theories has received much attention from model theorists in the last decade, fuelled by applications to o-minimal structures and valued fields. This book, the first to be written on NIP theories, is an introduction to the subject that will appeal to anyone interested in model theory: graduate students and researchers in the field, as well as those in nearby areas such as
... Leer más
Groups, Languages and Automata

de Derek F. Holt, Sarah Rees, Claas E. Röver ...

Series Libro 88 - London Mathematical Society Student Texts
Fascinating connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Automata can be used in group theory to encode complexity, to represent aspects of underlying geometry on a space on which a group acts, and to provide efficient algorithms for practical computation. There are also many applications in geometric group theory. The authors ... Leer más

$44,830 CLP

Fascinating connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Automata can be used in group theory to encode complexity, to represent aspects of underlying geometry on a space on which a group acts, and to provide efficient algorithms for practical computation. There are also many applications in geometric group theory. The authors
... Leer más
Maths in Bite-sized Chunks

de Chris Waring ...

Series Libro 6 - Bite-Sized Chunks
Let the real world show you how maths works.Maths is often cited as the ‘most difficult’ or ‘complex’ subject to study, many people admitting to a wariness that was probably ingrained into them in their schooldays. In Maths in Bite-sized Chunks, Chris Waring proves that it’s easy to break the subject down into accessible, understandable information, much of which, in fact, we use in one way or ... Leer más

$7,793 CLP

Let the real world show you how maths works.Maths is often cited as the ‘most difficult’ or ‘complex’ subject to study, many people admitting to a wariness that was probably ingrained into them in their schooldays. In Maths in Bite-sized Chunks, Chris Waring proves that it’s easy to break the subject down into accessible, understandable information, much of which, in fact, we use in one way or
... Leer más
Diskrete Mathematik für die Informatik

de Mihyun Kang, Philipp Sprüssel ...

Series series Life Science and Basic Disciplines (German Language)
Dieses Buch richtet sich an Studierende in Studienrichtungen der Informatik zu Beginn ihres Studiums. Vorausgesetzt werden daher lediglich Kenntnisse der Schulmathematik.Behandelt werden grundlegende Themen aus dem Bereich der Diskreten Mathematik, mit besonderem Augenmerk auf Algorithmen und Anwendungen. Der Begriff "Diskrete Mathematik" ist hierbei weiter gefasst, als es in Deutschland zumeist ... Leer más

$14,015 CLP

Dieses Buch richtet sich an Studierende in Studienrichtungen der Informatik zu Beginn ihres Studiums. Vorausgesetzt werden daher lediglich Kenntnisse der Schulmathematik.Behandelt werden grundlegende Themen aus dem Bereich der Diskreten Mathematik, mit besonderem Augenmerk auf Algorithmen und Anwendungen. Der Begriff "Diskrete Mathematik" ist hierbei weiter gefasst, als es in Deutschland zumeist
... Leer más
A Tale of Discrete Mathematics

A Journey Through Logic, Reasoning, Structures and Graph Theory

de Joseph Khoury ...

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and ... Leer más

$54,361 CLP

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and
... Leer más
Tractatus logico-philosophicus. Quaderni. Note sulla logica. Libro marrone. Osservazioni sui colori. Carteggio.

Illustrazioni E Critiche

de Ludwig Wittgenstein ...

Ludwig Wittgenstein è stato un filosofo e logico austriaco, il cui ambito di studio era incentrato soprattutto nella logica, nella filosofia del linguaggio, della mente e della matematica, considerato - specialmente nel mondo accademico anglosassone - uno dei massimi pensatori del XX secolo. Opere: Tractatus logico-philosophicus, Quaderni 1914-1916, Note sulla logica, Libro marrone, Osservazioni ... Leer más

$2,260 CLP

Ludwig Wittgenstein è stato un filosofo e logico austriaco, il cui ambito di studio era incentrato soprattutto nella logica, nella filosofia del linguaggio, della mente e della matematica, considerato - specialmente nel mondo accademico anglosassone - uno dei massimi pensatori del XX secolo. Opere: Tractatus logico-philosophicus, Quaderni 1914-1916, Note sulla logica, Libro marrone, Osservazioni
... Leer más
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

Edición de Alex Citkin, Ioannis M. Vandoulakis ...

Series series Mathematics and Statistics (R0)
This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic.The papers contributed to this book provide the new results on different generalizations and applications of characteristic ... Leer más

$168,499 CLP

This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic.The papers contributed to this book provide the new results on different generalizations and applications of characteristic
... Leer más
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

de Mauro Di Nasso, Isaac Goldbring, Martino Lupini ...

Series series Mathematics and Statistics (R0)
The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory. It includes both new nonstandard proofs of classical results and recent developments initially obtained in the nonstandard setting. This makes it the first combinatorics-focused account of nonstandard methods to be aimed at a general ... Leer más

$54,670 CLP

The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory. It includes both new nonstandard proofs of classical results and recent developments initially obtained in the nonstandard setting. This makes it the first combinatorics-focused account of nonstandard methods to be aimed at a general
... Leer más
Relational Topology

de Gunther Schmidt, Michael Winter ...

Series series Mathematics and Statistics (R0)
This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology. Although these objects mirror the matrices that appear throughout mathematics, numerics, statistics, engineering, and elsewhere, the methods used to work with them are much less well known. In addition to their purely topological applications, the ... Leer más

$54,670 CLP

This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology. Although these objects mirror the matrices that appear throughout mathematics, numerics, statistics, engineering, and elsewhere, the methods used to work with them are much less well known. In addition to their purely topological applications, the
... Leer más
Le fondamenta della fisica sperimentale

I presupposti del sapere fisico e scientifico

de Jacopo Parravicini ...

Series series Italian language eBook collection
Questo libro ha lo scopo di fornire un’ampia riflessione sui principi generali della fisica e gli elementi fondanti della conoscenza scientifica nella loro unitarietà. Sfruttando largamente il pensiero di molti tra i più grandi scienziati, esso offre una chiara comprensione dei fondamenti della fisica e del suo metodo sperimentale, ponendo in risalto le correlazioni tra i principali eterogenei ... Leer más

$36,869 CLP

Questo libro ha lo scopo di fornire un’ampia riflessione sui principi generali della fisica e gli elementi fondanti della conoscenza scientifica nella loro unitarietà. Sfruttando largamente il pensiero di molti tra i più grandi scienziati, esso offre una chiara comprensione dei fondamenti della fisica e del suo metodo sperimentale, ponendo in risalto le correlazioni tra i principali eterogenei
... Leer más
Logic with a Probability Semantics

de Theodore Hailperin ...

The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "sentential" in the title of that work indicates, the language there under consideration was limited to ... Leer más

$67,728 CLP

The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "sentential" in the title of that work indicates, the language there under consideration was limited to
... Leer más
Combinatorial Set Theory of C*-algebras

de Ilijas Farah ...

Series series Mathematics and Statistics (R0)
This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras. The interplay between logic and operator algebras (C*-algebras, in particular) is relatively young and the author is at the forefront of this interaction. The deep level of scholarship contained in ... Leer más

$120,289 CLP

This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras. The interplay between logic and operator algebras (C*-algebras, in particular) is relatively young and the author is at the forefront of this interaction. The deep level of scholarship contained in
... Leer más
Leibniz and the Structure of Sciences

Modern Perspectives on the History of Logic, Mathematics, Epistemology

Edición de Vincenzo De Risi ...

Series series Philosophy and Religion (R0)
The book offers a collection of essays on various aspects of Leibniz’s scientific thought, written by historians of science and world-leading experts on Leibniz. The essays deal with a vast array of topics on the exact sciences: Leibniz’s logic, mereology, the notion of infinity and cardinality, the foundations of geometry, the theory of curves and differential geometry, and finally dynamics and ... Leer más

$153,097 CLP

The book offers a collection of essays on various aspects of Leibniz’s scientific thought, written by historians of science and world-leading experts on Leibniz. The essays deal with a vast array of topics on the exact sciences: Leibniz’s logic, mereology, the notion of infinity and cardinality, the foundations of geometry, the theory of curves and differential geometry, and finally dynamics and
... Leer más
Strict Finitism and the Logic of Mathematical Applications

de Feng Ye ...

Series series Philosophy and Religion (R0)
This book intends to show that radical naturalism (or physicalism), nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry (sufficient for the ... Leer más

$98,417 CLP

This book intends to show that radical naturalism (or physicalism), nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry (sufficient for the
... Leer más
The Lifebox, the Seashell, and the Soul

de Rudy Rucker ...

A playful and profound survey of the concept of computation across the entire spectrum of human thought—written by a mathematician novelist who spent twenty years as a Silicon Valley computer scientist. The logic is correct, and the conclusions are startling. Simple rules can generate gnarly patterns. Physics obeys laws, but the outcomes aren't predictable. Free will is real. The mind is like a ... Leer más

$6,891 CLP

A playful and profound survey of the concept of computation across the entire spectrum of human thought—written by a mathematician novelist who spent twenty years as a Silicon Valley computer scientist. The logic is correct, and the conclusions are startling. Simple rules can generate gnarly patterns. Physics obeys laws, but the outcomes aren't predictable. Free will is real. The mind is like a
... Leer más

Kobo Rakuten

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Lógica

Handbook of Philosophical Logic

Formal Methods Teaching

Uncertain Multi-objective Decision Making: Methods and Industrial Models

Modal Logic for Philosophers

Burden of Proof, Presumption and Argumentation

The Semantic Conception of Logic

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Elements of Automata Theory

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

A Guide to NIP Theories

Groups, Languages and Automata

Maths in Bite-sized Chunks

Diskrete Mathematik für die Informatik

A Tale of Discrete Mathematics

Tractatus logico-philosophicus. Quaderni. Note sulla logica. Libro marrone. Osservazioni sui colori. Carteggio.

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

Relational Topology

Le fondamenta della fisica sperimentale

Logic with a Probability Semantics

Combinatorial Set Theory of C*-algebras

Leibniz and the Structure of Sciences

Strict Finitism and the Logic of Mathematical Applications

The Lifebox, the Seashell, and the Soul