» książki » Mathematics - Logic
topmenu
 |
Von Schildkröten, Lügnern und sich selbst rasierenden Friseuren: Klassische Paradoxa im Licht der modernen Mathematik
ISBN: 9783746011400 / Niemiecki / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
171,96 |
 |
The Algebra of Thought & Reality: Second Edition: The Mathematical Basis for Plato's Theory of Ideas, and Reality Extended to Include a Priori Observe
ISBN: 9780981904931 / Angielski / Miękka / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Second Edition extends the First Edition of The Algebra Of Thought & Reality: A New Operator Formulation For Classical & Quantum Logic Obviating Logic Paradoxes & Godel's Undecidability Theorem; and Giving a Mathematical Basis For Plato's Theory Of Ideas, And Reality - The Standard Model Of Particles in several ways. There are three important new sections. One section discusses Observers both in the formulation of Operator Logic and in the Quantum Reality in which we live. The second new section discusses space-time. It shows the need for Time since, for example, proofs are stated in...
This Second Edition extends the First Edition of The Algebra Of Thought & Reality: A New Operator Formulation For Classical & Quantum Logic Obviating ...
|
cena:
172,42 |
 |
Operator Metaphysics: A New Metaphysics Based on a New Operator Logic and a New Quantum Operator Logic That Lead to a Mathematical Basis for
ISBN: 9780981904962 / Angielski / Twarda / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
172,42 |
 |
The Algebra of Thought & Reality: A New Operator Formulation for Classical & Quantum Logic Obviating Logic Paradoxes & Godel's Undecidability Theorem;
ISBN: 9780981904917 / Angielski / Miękka / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes a new formulation of Logic. It appears to resolve all of the paradoxes that have beset Logic since the 19th century as well as the Liar paradox that dates from early Greek times. It also reduces the importance of Godel's Undecidability Theorem by showing how to generally, and consistently, exclude undecidable propositions from a mathematical-deductive system or its corresponding calculus. The reduced system or calculus then is fully "decidable" - all propositions in the system are either provably true or false. We thus view paradoxes and other undecidable statements as the...
This book describes a new formulation of Logic. It appears to resolve all of the paradoxes that have beset Logic since the 19th century as well as the...
|
cena:
172,59 |
 |
Hugh MacColl: An Overview of His Logical Work with Anthology
ISBN: 9781904987499 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hugh MacColl (1837-1909) was a mathematician and logician who was born, raised and educated in Scotland and after a few years working in different areas of Great Britain moved to Boulogne-sur-Mer (France), where he developed the greater part of his work and went on to become a French citizen. Hugh MacColl was well known in his time for his innovative contributions to logic. MacColls work represents one of the first approaches to logical pluralism. His first contribution to the logical algebras of the 19th century was that his calculus admits not only a class interpretation (as in the algebra...
Hugh MacColl (1837-1909) was a mathematician and logician who was born, raised and educated in Scotland and after a few years working in different are...
|
cena:
172,64 |
 |
Introduction to Boolean Algebras
ISBN: 9780387402932 / Angielski / Twarda / 574 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of Boolean algebras was created in 1847 by the English mat- matician George Boole. He conceived it as a calculus (or arithmetic) suitable for a mathematical analysis of logic. The form of his calculus was rather di?erent from the modern version, which came into being during the - riod 1864-1895 through the contributions of William Stanley Jevons, Aug- tus De Morgan, Charles Sanders Peirce, and Ernst Schr] oder. A foundation of the calculus as an abstract algebraic discipline, axiomatized by a set of equations, and admitting many di?erent interpretations, was carried out by Edward...
The theory of Boolean algebras was created in 1847 by the English mat- matician George Boole. He conceived it as a calculus (or arithmetic) suitable f...
|
cena:
172,90 |
 |
Twenty Years of A New Kind of Science
ISBN: 9781579550493 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
173,22 |
 |
Tracking Reason: Proof, Consequence, and Truth
ISBN: 9780195370690 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. One claim of the book is that, despite our apparent intuitive grasp of consequence, we do not introspect rules by which we reason, nor do we grasp the scope and range of the domain, as it were, of our reasoning. This point is illustrated with a close analysis of a paradigmatic case of...
When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our sel...
|
cena:
173,29 |
 |
Taking Sudoku Seriously: The Math Behind the World's Most Popular Pencil Puzzle
ISBN: 9780199756568 / Angielski / Twarda / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular craze as the starting point for a fun-filled introduction to higher mathematics. How many Sudoku solution squares are there? What shapes other than three-by-three blocks can serve as acceptable Sudoku regions? What is the fewest number of starting clues a sound Sudoku puzzle can have? Does solving Sudoku require mathematics? Jason Rosenhouse and Laura Taalman show that answering these questions opens the door to a wealth of interesting...
Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular...
|
cena:
173,29 |
 |
Argumentation Schemes
ISBN: 9780521723749 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a systematic analysis of many common argumentation schemes and a compendium of 96 schemes. The study of these schemes, or forms of argument that capture stereotypical patterns of human reasoning, is at the core of argumentation research. Surveying all aspects of argumentation schemes from the ground up, the book takes the reader from the elementary exposition in the first chapter to the latest state of the art in the research efforts to formalize and classify the schemes, outlined in the last chapter. It provides a systematic and comprehensive account, with notation...
This book provides a systematic analysis of many common argumentation schemes and a compendium of 96 schemes. The study of these schemes, or forms of ...
|
cena:
173,33 |
 |
Cognition and Intractability: A Guide to Classical and Parameterized Complexity Analysis
ISBN: 9781108728973 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the first book to provide an accessible introduction to computational complexity analysis and its application to questions of intractability in cognitive science. It is essential reading for students and researchers who want to understand how cognitive models can be scaled from the lab to situations of real-world complexity.
This is the first book to provide an accessible introduction to computational complexity analysis and its application to questions of intractability i...
|
cena:
173,33 |
 |
Introduction to Scilab: For Engineers and Scientists
ISBN: 9781484231913 / Angielski / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
173,37 |
 |
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
ISBN: 9781904987703 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal papers in this area as well as thirteen new contributed articles. For the reprints we have chosen a paper by Alonzo Church (introducing his simple theory of types), a paper by Leon Henkin (proving completeness of Church's type theory relative to Henkin's semantics) and some of the most important papers by Peter Andrews. The new articles were contributed by Peter Andrews and his students and collaborators as well as a number of researchers his work has influenced. The volume intends to show the...
Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal papers in this area as well as thirteen new contribu...
|
cena:
174,79 |
 |
Classification Theory for Abstract Elementary Classes
ISBN: 9781904987710 / Angielski / Miękka / 824 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An abstract elementary class is a class of structures of the same vocabulary (like a class of rings, or a class of fields), with a partial order that generalizes the relation "A is a substructure (or an elementary substructure) of B." The requirements are that the class is closed under isomorphism, and that isomorphic structures have isomorphic (generalized) substructures; we also require that our classes share some of the most basic properties of elementary classes, like closure under unions of increasing chains of substructures. We would like to classify this general family; in the sense of...
An abstract elementary class is a class of structures of the same vocabulary (like a class of rings, or a class of fields), with a partial order that ...
|
cena:
174,79 |
 |
Classification Theory for Abstract Elementary Classes: Volume 2
ISBN: 9781904987727 / Angielski / Miękka / 702 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An abstract elementary class (AEC) is a class of structures of a fixed vocabulary satisfying some natural closure properties. These classes encompass the normal classes defined in model theory and natural examples arise from mathematical practice, e.g. in algebra not to mention first order and infinitary logics. An AEC is always endowed with a special substructure relation which is not always the obvious one. Abstract elementary classes provide one way out of the cul de sac of the model theory of infinitary languages which arose from over-concentration on syntactic criteria. This is the...
An abstract elementary class (AEC) is a class of structures of a fixed vocabulary satisfying some natural closure properties. These classes encompass ...
|
cena:
174,79 |
 |
The Construction of Logical Space
ISBN: 9780198747987 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Our conception of logical space is the set of distinctions we use to navigate the world. In The Construction of Logical Space Agustin Rayo defends the idea that one's conception of logical space is shaped by one's acceptance or rejection of 'just is'-statements: statements like 'to be composed of water just is to be composed of H2O', or 'for the number of the dinosaurs to be zero just is for there to be no dinosaurs'. The resulting picture is used to articulate a conception of metaphysical possibility that does not depend on a reduction of the modal to the non-modal, and to develop a...
Our conception of logical space is the set of distinctions we use to navigate the world. In The Construction of Logical Space Agustin Rayo defends the...
|
cena:
175,61 |
 |
Foundations of the Formal Sciences V: Infinite Games
ISBN: 9781904987758 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Infinity can feature in games in various forms: we can play games of infinite length, with infinitely many players, or allow for infinitely many moves or strategies. Games of infinite length have been thoroughly investigated by mathematicians ard have played a central role in mathematical logic. However, their applications go far beyond mathematics: they feature prominently in theoretical computer science, philosophical "Gedankenxperiments," as limit cases in economical applications, and in many other applications. The conference "Foundations of the Formal Sciences V" focused on games of...
Infinity can feature in games in various forms: we can play games of infinite length, with infinitely many players, or allow for infinitely many moves...
|
cena:
176,96 |
 |
How to Prove It: A Structured Approach
ISBN: 9781108439534 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling text's third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs, with a new chapter on number theory and over 150 new exercises.
Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling text's third edition will help students tran...
|
cena:
177,98 |
 |
The Foundations of Arithmetic
ISBN: 9780631126942 / Angielski / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume represents the first philosophically sound discussion of the concept of number in Western civilization. (Mathematics)
This volume represents the first philosophically sound discussion of the concept of number in Western civilization. (Mathematics)
|
cena:
180,18 |
 |
Selected Logic Papers, Enlarged Edition
ISBN: 9780674798373 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For more than two generations, W. V. Quine has contributed fundamentally to the substance, the pedagogy, and the philosophy of mathematical logic. Selected Logic Papers, long out of print and now reissued with eight additional essays, includes much of the author's important work on mathematical logic and the philosophy of mathematics from the past sixty years.
For more than two generations, W. V. Quine has contributed fundamentally to the substance, the pedagogy, and the philosophy of mathematical logic. ...
|
cena:
180,18 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
