Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences
ISBN: 9780521810944 / Angielski / Twarda / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In a world plagued by conflict, one might expect that the exact sciences of logic and mathematics would provide a safe harbor. In fact, these disciplines are rife with internal divisions between different, often incompatible systems. This original work explores apparently intractable disagreements in logic and the foundations of mathematics and sets out conflict resolution strategies that evade these stalemates. The book is a significant contribution to such areas of philosophy as logic, philosophy of language and argumentation theory. It is also of interest to mathematicians and computer...
In a world plagued by conflict, one might expect that the exact sciences of logic and mathematics would provide a safe harbor. In fact, these discipli...
|
|
cena:
416,34 zł |
Introduction to Proof Through Number Theory
ISBN: 9781470470272 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Lighten up about mathematics! Have fun. If you read this book, you will have to endure bad math puns and jokes and out-of-date pop culture references. You'll learn some really cool mathematics to boot. In the process, you will immerse yourself in living, thinking, and breathing logical reasoning. We like to call this proofs, which to some is a bogey word, but to us it is a boogie word. You will learn how to solve problems, real and imagined. After all, math is a game where, although the rules are pretty much set, we are left to our imaginations to create. Think of this book as blueprints, but...
Lighten up about mathematics! Have fun. If you read this book, you will have to endure bad math puns and jokes and out-of-date pop culture references....
|
|
cena:
416,87 zł |
Type-Theoretical Grammar
ISBN: 9780198538578 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers. This work presents constructive type theory from the point of view of linguistics and the philosophy of language, introducing its valuable approach to those in areas in which it has remained unfamiliar. The theory is then applied to...
Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the f...
|
|
cena:
419,97 zł |
Logic and Automata: History and Perspectives
ISBN: 9789053565766 / Angielski / Miękka / 736 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of "Logic and Automata" take the occasion of the sixtieth birthday of Wolfgang Thomas to present a "tour d'horizon" of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of "Logic and Automata" tak...
|
|
cena:
421,16 zł |
Modal Logic
ISBN: 9780521527149 / Angielski / Miękka / 578 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered.
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is m...
|
|
cena:
421,37 zł |
An Elementary Transition to Abstract Mathematics
ISBN: 9780367336936 / Angielski / Twarda / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
421,37 zł |
The Elements of Advanced Mathematics
ISBN: 9781032102757 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
421,37 zł |
Parabolic Problems: 60 Years of Mathematical Puzzles in Parabola
ISBN: 9781032499987 / Angielski / 27-06-2024 Książka dostępna od: 27-06-2024 |
|
Termin ukazania się książki: 27-06-2024
Książkę można już zamówić z rabatem 5% |
|
400,30 zł |
Computability and Logic
ISBN: 9780521877527 / Angielski / Twarda / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel s incompleteness theorems, but also a large number of optional topics, from Turing s theory of computability to Ramsey s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel...
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simp...
|
|
cena:
421,42 zł |
Structural Proof Theory
ISBN: 9780521793070 / Angielski / Twarda / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a...
|
|
cena:
421,42 zł |
Axioms for Lattices and Boolean Algebras
ISBN: 9789812834546 / Angielski / Twarda / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of 'join and meet' or other types of operations such as ternary operations.
Presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of 'join and meet' or ot...
|
|
cena:
421,42 zł |
From Asynchronous Logic to the Standard Model to Superflight to the Stars
ISBN: 9780984553037 / Angielski / Miękka / 692 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This edition is the latest in a series of books by this author that have appeared in the past ten years that seek to make sense of the form of The Standard Model. Previously The Standard Model was viewed as a hodgepodge of particles symmetries and features that worked experimentally but was only an approximation to a "true" fundamental theory. The overall purpose of this series of books was to show that the form of The Standard Model is based on certain fundamental principles that ultimately emanate from Logic, Asynchronous Logic in particular. Physical phenomena are asynchronous. The...
This edition is the latest in a series of books by this author that have appeared in the past ten years that seek to make sense of the form of The Sta...
|
|
cena:
421,80 zł |
Finite Ordered Sets: Concepts, Results and Uses
ISBN: 9781107013698 / Angielski / Twarda / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A comprehensive account that gives equal attention to the combinatorial, logical and applied aspects of partially ordered sets.
A comprehensive account that gives equal attention to the combinatorial, logical and applied aspects of partially ordered sets.
|
|
cena:
426,44 zł |
Human and Artificial Rationalities: Second International Conference, Har 2023, Paris, France, September 19-22, 2023, Proceedings
ISBN: 9783031552441 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
426,48 zł |
Introduction to Mathematical Logic (Pms-13), Volume 13
ISBN: 9780691029061 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book,... Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonz... |
|
cena:
427,56 zł |
Probabilistic Logic in a Coherent Setting
ISBN: 9781402009709 / Angielski / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general view of conditional probability. It is a flexible' and unifying tool suited for handling, e.g., partial probability assessments (not requiring that the set of all possible outcomes' be endowed with a previously given algebraic structure, such as a Boolean algebra), and conditional independence, in a...
The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characte...
|
|
cena:
428,00 zł |
Mathematical Logic: An Introduction to Model Theory
ISBN: 9781461587521 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Before his death in March, 1976, A. H. Lightstone delivered the manu- script for this book to Plenum Press. Because he died before the editorial work on the manuscript was completed, I agreed (in the fall of 1976) to serve as a surrogate author and to see the project through to completion. I have changed the manuscript as little as possible, altering certain passages to correct oversights. But the alterations are minor; this is Lightstone's book. H. B. Enderton vii Preface This is a treatment of the predicate calculus in a form that serves as a foundation for nonstandard analysis....
Before his death in March, 1976, A. H. Lightstone delivered the manu- script for this book to Plenum Press. Because he died before the editorial work ...
|
|
cena:
428,00 zł |
Finite Automata, Formal Logic, and Circuit Complexity
ISBN: 9781461266952 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The study of the connections between mathematical automata and for- mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first- order predicate logic, and thereby concluded that there is no algorithm for deciding the validity of sentences in this logic. Research on the log- ical aspects of the theory of finite-state automata, which is the subject of this book, began in the early 1960's with the work of J. Richard Biichi on monadic...
The study of the connections between mathematical automata and for- mal logic is as old as theoretical computer science itself. In the founding paper ...
|
|
cena:
428,00 zł |
An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details
ISBN: 9789401021142 / Angielski / Miękka / 606 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent years have seen the appearance of many English-language hand books of logic and numerous monographs on topical discoveries in the foundations of mathematics. These publications on the foundations of mathematics as a whole are rather difficult for the beginners or refer the reader to other handbooks and various piecemeal contribu tions and also sometimes to largely conceived "mathematical fol klore" of unpublished results. As distinct from these, the present book is as easy as possible systematic exposition of the now classical results in the foundations of mathematics. Hence the book...
Recent years have seen the appearance of many English-language hand books of logic and numerous monographs on topical discoveries in the foundations o...
|
|
cena:
428,00 zł |
Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume
ISBN: 9783319054452 / Angielski / Twarda / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower bounds and polynomial identity testing, the isomorphism conjecture, space-bounded computation, graph isomorphism, resolution and proof complexity, entropy and randomness. Several chapters have a...
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion ...
|
|
cena:
428,00 zł |