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

- Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  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
  
  Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  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

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

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

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

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

Introduction To Mathematical Logic (Extended Edition)

de Michal Walicki ...

This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic — their syntax, reasoning systems and semantics. Soundness and ... Leer más

$36,654 CLP

This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic — their syntax, reasoning systems and semantics. Soundness and
... 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

$200,381 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
An den Grenzen des Endlichen

Das Hilbertprogramm im Kontext von Formalismus und Finitismus

de Christian Tapp ...

Series series Life Science and Basic Disciplines (German Language)
David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. Setzt er dazu eine formalistische Philosophie der Mathematik voraus? Die überraschende Antwort des ersten Teils dieses Buches ist ein differenziertes Nein. Hilberts Position schließt logizistische und intuitionistische Momente ein – und sicher keinen Spielformalismus. Der zweite Teil des Buches macht ... Leer más

$57,753 CLP

David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. Setzt er dazu eine formalistische Philosophie der Mathematik voraus? Die überraschende Antwort des ersten Teils dieses Buches ist ein differenziertes Nein. Hilberts Position schließt logizistische und intuitionistische Momente ein – und sicher keinen Spielformalismus. Der zweite Teil des Buches macht
... Leer más
Proof Complexity

de Jan Krajíček ...

Series Libro 170 - Encyclopedia of Mathematics and its Applications
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it ... Leer más

$176,651 CLP

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it
... Leer más
The Logic Of Names : An Introduction To Boole's Laws Of Thought..

de I. P. Hughlings ...

The Logic Of Names : An Introduction To Boole's Laws Of Thought.. - By I. P. Hughlings ... Leer más

$6,545 CLP o gratis con Kobo Plus

The Logic Of Names : An Introduction To Boole's Laws Of Thought.. - By I. P. Hughlings
... Leer más
Computability Theory

de S. Barry Cooper, S. Barry Cooper ...

Series series Chapman Hall/CRC Mathematics Series
Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and ... Leer más

$156,470 CLP

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and
... Leer más
An Illustrated Book of Bad Arguments

Learn the Lost Art of Making Sense

de Ali Almossawi ...

Series series Bad Arguments
“This short book makes you smarter than 99% of the population. . . . The concepts within it will increase your company’s ‘organizational intelligence.’. . . It’s more than just a must-read, it’s a ‘have-to-read-or-you’re-fired’ book.”—Geoffrey James, INC.comFrom the author of An Illustrated Book of Loaded Language, here’s the antidote to fuzzy thinking, with furry animals!Have you read (or ... Leer más

$11,417 CLP

“This short book makes you smarter than 99% of the population. . . . The concepts within it will increase your company’s ‘organizational intelligence.’. . . It’s more than just a must-read, it’s a ‘have-to-read-or-you’re-fired’ book.”—Geoffrey James, INC.comFrom the author of An Illustrated Book of Loaded Language, here’s the antidote to fuzzy thinking, with furry animals!Have you read (or
... Leer más
Logical Foundations of Computer Science

International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Edición de Sergei Artemov, Anil Nerode ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Leer más

$84,276 CLP

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata,
... Leer más
Logic Without Gaps or Gluts

How to Solve the Paradoxes Without Sacrificing Classical Logic

de Benjamin Alan Burgis ...

Series series Philosophy and Religion (R0)
This book offers a defense against non-classical approaches to the paradoxes. The author argues that, despite appearances, the paradoxes give no reason at all to reject classical logic. In fact, he believes classical solutions fare better than non-classical ones with respect to key tests like Curry’s Paradox, a Liar-like paradox that dialetheists are forced to solve in a way totally disjoint from ... Leer más

$101,133 CLP

This book offers a defense against non-classical approaches to the paradoxes. The author argues that, despite appearances, the paradoxes give no reason at all to reject classical logic. In fact, he believes classical solutions fare better than non-classical ones with respect to key tests like Curry’s Paradox, a Liar-like paradox that dialetheists are forced to solve in a way totally disjoint from
... Leer más
Logic in Question

Talks from the Annual Sorbonne Logic Workshop (2011- 2019)

Edición de Jean-Yves Béziau, Jean-Pierre Desclés, Amirouche Moktefi, Anca Christine Pascu ...

Series series Mathematics and Statistics (R0)
This contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne University in Paris since 2011. Each year, the workshop brings together historians, philosophers, mathematicians, linguists, and computer scientists to explore questions related to the nature of logic and how it has developed over the years. As a result, chapter authors ... Leer más

$191,039 CLP

This contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne University in Paris since 2011. Each year, the workshop brings together historians, philosophers, mathematicians, linguists, and computer scientists to explore questions related to the nature of logic and how it has developed over the years. As a result, chapter authors
... Leer más
Axiomatic Thinking II

Edición de Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga ...

Series series Mathematics and Statistics (R0)
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.The title takes its name from David Hilbert's seminal talk Axiomatisches Denken, given at a meeting of the Swiss Mathematical ... Leer más

$123,609 CLP

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.The title takes its name from David Hilbert's seminal talk Axiomatisches Denken, given at a meeting of the Swiss Mathematical
... Leer más
Elementary Induction on Abstract Structures

de Yiannis N. Moschovakis ...

Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory.The author, Professor of Mathematics at UCLA and Emeritus Professor of Mathematics ... Leer más

$12,338 CLP

Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory.The author, Professor of Mathematics at UCLA and Emeritus Professor of Mathematics
... Leer más
Mathematische Geschichten für begabte Schülerinnen und Schüler in der Unterstufe

Euklidischer Algorithmus, Schubfachprinzip, Modulo-Rechnung und Beweise

de Susanne Schindler-Tschirner, Werner Schindler ...

Series series Life Science and Basic Disciplines (German Language)
Entdecken und fördern Sie mit diesem inspirierenden und praxisnahen Buch das Potenzial mathematisch begabter Schülerinnen und Schüler in den Klassenstufen 5 bis 7! Sorgfältig ausgearbeitete Lerneinheiten sind in eine Geschichte eingebunden, die die Erzählung aus dem Grundschulband fortsetzt. Die Aufgaben fördern die mathematische Denkfähigkeit, Phantasie und Kreativität. Die Schülerinnen und ... Leer más

$25,492 CLP

Entdecken und fördern Sie mit diesem inspirierenden und praxisnahen Buch das Potenzial mathematisch begabter Schülerinnen und Schüler in den Klassenstufen 5 bis 7! Sorgfältig ausgearbeitete Lerneinheiten sind in eine Geschichte eingebunden, die die Erzählung aus dem Grundschulband fortsetzt. Die Aufgaben fördern die mathematische Denkfähigkeit, Phantasie und Kreativität. Die Schülerinnen und
... Leer más
Algorithmic Cryptanalysis

de Antoine Joux ...

Series series Chapman & Hall/CRC Cryptography and Network Security Series
Illustrating the power of algorithms, Algorithmic Cryptanalysis describes algorithmic methods with cryptographically relevant examples. Focusing on both private- and public-key cryptographic algorithms, it presents each algorithm either as a textual description, in pseudo-code, or in a C code program.Divided into three parts, the book begins with a ... Leer más

$214,346 CLP

Illustrating the power of algorithms, Algorithmic Cryptanalysis describes algorithmic methods with cryptographically relevant examples. Focusing on both private- and public-key cryptographic algorithms, it presents each algorithm either as a textual description, in pseudo-code, or in a C code program.Divided into three parts, the book begins with a
... Leer más
On Hilbert's Sixth Problem

de Newton C. A. da Costa, Francisco Antonio Doria ...

Series series Philosophy and Religion (R0)
This book explores the premise that a physical theory is an interpretation of the analytico–canonical formalism. Throughout the text, the investigation stresses that classical mechanics in its Lagrangian formulation is the formal backbone of theoretical physics. The authors start from a presentation of the analytico–canonical formalism for classical mechanics, and its applications in ... Leer más

$101,133 CLP

This book explores the premise that a physical theory is an interpretation of the analytico–canonical formalism. Throughout the text, the investigation stresses that classical mechanics in its Lagrangian formulation is the formal backbone of theoretical physics. The authors start from a presentation of the analytico–canonical formalism for classical mechanics, and its applications in
... Leer más
Adivimat

Adivinanzas en español relativas a más de 300 conceptos matemáticos elementales

de José Enrique Fernández del Campo ...

¿Quién ha dicho que las Matemáticas son aburridas?...Cuando empleas una palabra o término matemático: ¿tienes claro lo que estás diciendo? Diviértete haciendo la prueba: a partir de términos y expresiones comunes, desenmascara al duende escondido.Pequeños problemas bajo la forma de las tradicionales "adivinanzas"; con rima y ritmo incluso. Matemáticas de pensar, para recordar. Con una sonrisa. Más ... Leer más

$9,433 CLP o gratis con Kobo Plus

¿Quién ha dicho que las Matemáticas son aburridas?...Cuando empleas una palabra o término matemático: ¿tienes claro lo que estás diciendo? Diviértete haciendo la prueba: a partir de términos y expresiones comunes, desenmascara al duende escondido.Pequeños problemas bajo la forma de las tradicionales "adivinanzas"; con rima y ritmo incluso. Matemáticas de pensar, para recordar. Con una sonrisa. Más
... Leer más
Ada Lovelace: A Complete Biography

de Drake Penford ...

The world remembers the poems. History forgets the visionary.Ada Lovelace: A Complete Biography unveils the remarkable life of the woman who not only danced with poetry but also wrote the code for the future.This captivating book takes you deeper than the shadow of her famous father, Lord Byron, exploring:* A Mind Ahead of Its Time: Witness Ada's brilliance blossom under the tutelage of inspiring ... Leer más

$8,563 CLP o gratis con Kobo Plus

The world remembers the poems. History forgets the visionary.Ada Lovelace: A Complete Biography unveils the remarkable life of the woman who not only danced with poetry but also wrote the code for the future.This captivating book takes you deeper than the shadow of her famous father, Lord Byron, exploring:* A Mind Ahead of Its Time: Witness Ada's brilliance blossom under the tutelage of inspiring
... Leer más
Magic Garden Of George B And Other Logic Puzzles, The

de Raymond M Smullyan ...

Raymond Smullyan presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution — moreover, one that requires a chain of lesser puzzles to be solved first. The reader is thus taken on a journey through a maze of subsidiary problems that has all the earmarks of an entertaining detective story.This book leads the unwary ... Leer más

$15,222 CLP

Raymond Smullyan presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution — moreover, one that requires a chain of lesser puzzles to be solved first. The reader is thus taken on a journey through a maze of subsidiary problems that has all the earmarks of an entertaining detective story.This book leads the unwary
... Leer más
Essays in Constructive Mathematics

de Harold M. Edwards, David A. Cox ...

Series series Mathematics and Statistics (R0)
This collection of essays aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it. All definitions and proofs are based on finite algorithms, which pave illuminating paths to nontrivial results, primarily in algebra, number theory, and the theory of algebraic curves. The second edition adds a new set of essays that reflect and expand upon the first.The ... Leer más

$134,848 CLP

This collection of essays aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it. All definitions and proofs are based on finite algorithms, which pave illuminating paths to nontrivial results, primarily in algebra, number theory, and the theory of algebraic curves. The second edition adds a new set of essays that reflect and expand upon the first.The
... Leer más
Simply Gödel

de Richard Tieszen ...

Series Libro 8 - Great Lives
"Tieszen’s Simply Gödel is a remarkable achievement—a handy guide with the impact of a philosophical tome. It’s all here: elegantly lucid discussions of Kurt Gödel’s epochal discoveries, a sympathetic account of the eccentric genius’s life, focused discussions of his encounters with his astonished peers, and a visionary peek into the future of mathematics, philosophy, and the on-rushing specter of ... Leer más

$8,353 CLP o gratis con Kobo Plus

"Tieszen’s Simply Gödel is a remarkable achievement—a handy guide with the impact of a philosophical tome. It’s all here: elegantly lucid discussions of Kurt Gödel’s epochal discoveries, a sympathetic account of the eccentric genius’s life, focused discussions of his encounters with his astonished peers, and a visionary peek into the future of mathematics, philosophy, and the on-rushing specter of
... Leer más
The Philosophy Of Mathematics

de Auguste Comte ...

The philosophy of mathematics by the French philosopher,Auguste Comte.He is sometimes regarded as the first philosopher of science in the modern sense of the term.The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and ... Leer más

$3,205 CLP

The philosophy of mathematics by the French philosopher,Auguste Comte.He is sometimes regarded as the first philosopher of science in the modern sense of the term.The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and
... Leer más
Figurierte Zahlen

Veranschaulichung als heuristische Strategie

de Jochen Ziegenbalg ...

Series series Life Science and Basic Disciplines (German Language)
Dieses Buch behandelt die Visualisierung als Methode des mathematischen Problemlösens, Begründens und Beweisens: Konkrete Beispiele zur Veranschaulichung durch mathematische Figuren und Bilder bieten einen faszinierenden Einblick in das Argumentieren anhand strukturierter und strukturierender Figuren zur Betrachtung von Zahlen und Zahlenfolgen. Die historischen Wurzeln dieses mathematischen ... Leer más

$25,492 CLP

Dieses Buch behandelt die Visualisierung als Methode des mathematischen Problemlösens, Begründens und Beweisens: Konkrete Beispiele zur Veranschaulichung durch mathematische Figuren und Bilder bieten einen faszinierenden Einblick in das Argumentieren anhand strukturierter und strukturierender Figuren zur Betrachtung von Zahlen und Zahlenfolgen. Die historischen Wurzeln dieses mathematischen
... Leer más
Around and Beyond the Square of Opposition

Edición de Dale Jacquette, Jean-Yves Béziau ...

Series series Mathematics and Statistics (R0)
The theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, sociology, physics. The square can also be generalized in other two-dimensional or multi-dimensional objects extending in breadth and depth the ... Leer más

$56,180 CLP

The theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, sociology, physics. The square can also be generalized in other two-dimensional or multi-dimensional objects extending in breadth and depth the
... Leer más
Proceedings Of The 13th Asian Logic Conference

de Xishun Zhao, Qi Feng, Byunghan Kim, Liang Yu ...

This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics. ... Leer más

$46,302 CLP

This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics.
... 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

Introduction To Mathematical Logic (Extended Edition)

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

An den Grenzen des Endlichen

Proof Complexity

The Logic Of Names : An Introduction To Boole's Laws Of Thought..

Computability Theory

An Illustrated Book of Bad Arguments

Logical Foundations of Computer Science

Logic Without Gaps or Gluts

Logic in Question

Axiomatic Thinking II

Elementary Induction on Abstract Structures

Mathematische Geschichten für begabte Schülerinnen und Schüler in der Unterstufe

Algorithmic Cryptanalysis

On Hilbert's Sixth Problem

Adivimat

Ada Lovelace: A Complete Biography

Magic Garden Of George B And Other Logic Puzzles, The

Essays in Constructive Mathematics

Simply Gödel

The Philosophy Of Mathematics

Figurierte Zahlen

Around and Beyond the Square of Opposition

Proceedings Of The 13th Asian Logic Conference