» książki » Mathematics - Logic
topmenu
 |
Inconsistent Mathematics
ISBN: 9780792331865 / Angielski / Twarda / 158 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. without a properly developed inconsistent calculus based on infinitesimals, then in consistent claims from the history of the calculus might well simply be symptoms of confusion. This is addressed in Chapter 5. It is further argued that mathematics has a certain primacy over logic, in that paraconsistent or relevant logics have to be based on inconsistent mathematics. If the latter turns out to be reasonably rich then paraconsistentism is vindicated; while if inconsistent mathematics has seri ous restriytions then the case for being interested in inconsistency-tolerant logics is weakened. (On...
without a properly developed inconsistent calculus based on infinitesimals, then in consistent claims from the history of the calculus might well simp...
|
cena:
201,24 |
 |
Quantifiers: Logics, Models and Computation: Volume Two: Contributions
ISBN: 9780792334491 / Angielski / Twarda / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a collection of research papers centered around the concept of quantifier. Recently this concept has become the central point of research in logic. It is one of the important logical concepts whose exact domain and applications have so far been insufficiently explored, especially in the area of inferential and semantic properties of languages. It should thus remain the central point of research in the future. Moreover, during the last twenty years generalized quantifiers and logical technics based on them have proved their utility in various applications. The example of...
This volume contains a collection of research papers centered around the concept of quantifier. Recently this concept has become the central point of ...
|
cena:
402,53 |
 |
Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics
ISBN: 9780792337720 / Angielski / Twarda / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Our motivation for gathering the material for this book over aperiod of seven years has been to unify and simplify ideas wh ich appeared in a sizable number of re search articles during the past two decades. More specifically, it has been our aim to provide the categorical foundations for extensive work that was published on the epimorphism- and cowellpoweredness problem, predominantly for categories of topological spaces. In doing so we found the categorical not ion of closure operators interesting enough to be studied for its own sake, as it unifies and describes other significant...
Our motivation for gathering the material for this book over aperiod of seven years has been to unify and simplify ideas wh ich appeared in a sizable ...
|
cena:
402,53 |
 |
Automated Mathematical Induction
ISBN: 9780792340102 / Angielski / Twarda / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan 5]. This common structure can be exploited in the search for particular proofs. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structure of a proof at the level of primitive inferences, a tactic 11] provides the guarantee part of the proof. In contrast, a method provides a more declarative explanation of the proof by means of preconditions. Each method has associated effects. The execution of the effects simulates the application...
It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan 5]. This common structure can be exploite...
|
cena:
402,53 |
 |
Resolution Proof Systems: An Algebraic Theory
ISBN: 9780792340171 / Angielski / Twarda / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. It develops an algebraic theory of resolution proof systems focusing on the problems of proof theory, representation and efficiency of the deductive process.
A new class of logical calculi, the class of resolution logics, emerges as a second theme of the book. The logical and computational aspects of the relationship between resolution logics and resolution proof systems is explored in... Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated r...
|
cena:
402,53 |
 |
Closure Spaces and Logic
ISBN: 9780792341109 / Angielski / Twarda / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book examines an abstract mathematical theory, placing special emphasis on results applicable to formal logic. If a theory is especially abstract, it may find a natural home within several of the more familiar branches of mathematics. This is the case with the theory of closure spaces. It might be considered part of topology, lattice theory, universal algebra or, no doubt, one of several other branches of mathematics as well. In our development we have treated it, conceptually and methodologically, as part of topology, partly because we first thought ofthe basic structure involved...
This book examines an abstract mathematical theory, placing special emphasis on results applicable to formal logic. If a theory is especially abstract...
|
cena:
603,81 |
 |
Hermann Günther Graßmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar
ISBN: 9780792342618 / Angielski / Twarda / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this volume specialists in mathematics, physics, and linguistics present the first comprehensive analysis of the ideas and influence of Hermann G. Gramann (1809-1877), the remarkable universalist whose work recast the foundations of these disciplines and shaped the course of their modern development.
In this volume specialists in mathematics, physics, and linguistics present the first comprehensive analysis of the ideas and influence of Hermann G. ...
|
cena:
805,10 |
 |
Mathematical Undecidability, Quantum Nonlocality and the Question of the Existence of God
ISBN: 9780792343066 / Angielski / Twarda / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. On January 22, 1990, the late John Bell held at CERN (European Laboratory for Particle Physics), Geneva a seminar organized by the Center of Quantum Philosophy, that at this time was an association of scientists interested in the interpretation of quantum mechanics. In this seminar Bell presented once again his famous theorem. Thereafter a discussion took place in which not only physical but also highly speculative epistemological and philosophical questions were vividly debated. The list of topics included: assumption of free will in Bell's theorem, the understanding of mind, the...
On January 22, 1990, the late John Bell held at CERN (European Laboratory for Particle Physics), Geneva a seminar organized by the Center of Quantum P...
|
cena:
402,53 |
 |
Dynamics of One-Dimensional Maps
ISBN: 9780792345329 / Angielski / Twarda / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. maps whose topological entropy is equal to zero (i.e., maps that have only cyeles of pe 2 riods 1,2,2, ... ) are studied in detail and elassified. Various topological aspects of the dynamics of unimodal maps are studied in Chap ter 5. We analyze the distinctive features of the limiting behavior of trajectories of smooth maps. In particular, for some elasses of smooth maps, we establish theorems on the number of sinks and study the problem of existence of wandering intervals. In Chapter 6, for a broad elass of maps, we prove that almost all points (with respect to the Lebesgue measure) are...
maps whose topological entropy is equal to zero (i.e., maps that have only cyeles of pe 2 riods 1,2,2, ... ) are studied in detail and elassified. Var...
|
cena:
201,24 |
 |
Nonstandard Analysis: Theory and Applications
ISBN: 9780792345862 / Angielski / Twarda / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1 More than thirty years after its discovery by Abraham Robinson, the ideas and techniques of Nonstandard Analysis (NSA) are being applied across the whole mathematical spectrum, as well as constituting an im portant field of research in their own right. The current methods of NSA now greatly extend Robinson's original work with infinitesimals. However, while the range of applications is broad, certain fundamental themes re cur. The nonstandard framework allows many informal ideas (that could loosely be described as idealisation) to be made precise and tractable. For example, the real line...
1 More than thirty years after its discovery by Abraham Robinson, the ideas and techniques of Nonstandard Analysis (NSA) are being applied across the ...
|
cena:
1328,44 |
 |
Semiorders: Properties, Representations, Applications
ISBN: 9780792346173 / Angielski / Twarda / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Semiorder is probably one of the most frequently ordered structures in science. It naturally appears in fields like psychometrics, economics, decision sciences, linguistics and archaeology. It explicitly takes into account the inevitable imprecisions of scientific instruments by allowing the replacement of precise numbers by intervals. The purpose of this book is to dissect this structure and to study its fundamental properties. The main subjects treated are the numerical representations of semiorders, the generalizations of the concept to valued relations, the aggregation of semiorders and...
Semiorder is probably one of the most frequently ordered structures in science. It naturally appears in fields like psychometrics, economics, decision...
|
cena:
402,53 |
 |
Algebraic Model Theory
ISBN: 9780792346661 / Angielski / Twarda / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebras. The present book contains lectures on recent results in algebraic model theory, covering topics from the following areas: geometric model theory, the model theory of analytic structures, permutation groups in model theory, the spectra of countable theories, and the structure of finite algebras.
Audience: Graduate students in logic and others wishing to keep abreast of current trends in model theory. The lectures... Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and fin...
|
cena:
603,81 |
 |
Metamathematics of Fuzzy Logic
ISBN: 9780792352389 / Angielski / Twarda / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named fuzzy inference' can be naturally understood as logical deduction.
There are two main groups of intended readers. First, logicians: they can see that fuzzy logic is indeed a branch of... This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Som...
|
cena:
885,61 |
 |
Handbook of Tableau Methods
ISBN: 9780792356271 / Angielski / Twarda / 670 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The tableau methodology, invented in the 1950s by Beth and...
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many di...
|
cena:
805,10 |
 |
Cut Elimination in Categories
ISBN: 9780792357209 / Angielski / Twarda / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in particular the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. Among the benefits of these composition-free formulations are syntactical and simple model-theoretical, geometrical decision procedures for the commuting of diagrams of arrows....
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory...
|
cena:
603,81 |
 |
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
ISBN: 9780792358350 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a collection of essays centred around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious. The book is divided into three parts. Part I concerns historical developments of mathematics mechanization, especially in ancient China. Part II describes the underlying principles of polynomial equation-solving, with polynomial coefficients in fields restricted to the case of characteristic 0. Based on the general principle, some methods of solving such...
This book is a collection of essays centred around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and ...
|
cena:
402,53 |
 |
Algebraic Foundations of Many-Valued Reasoning
ISBN: 9780792360094 / Angielski / Twarda / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this book is to give self-contained proofs of all basic results concerning the infinite-valued proposition al calculus of Lukasiewicz and its algebras, Chang's MV -algebras. This book is for self-study: with the possible exception of Chapter 9 on advanced topics, the only prere quisite for the reader is some acquaintance with classical propositional logic, and elementary algebra and topology. In this book it is not our aim to give an account of Lukasiewicz's motivations for adding new truth values: readers interested in this topic will find appropriate references in Chapter 10....
The aim of this book is to give self-contained proofs of all basic results concerning the infinite-valued proposition al calculus of Lukasiewicz and i...
|
cena:
402,53 |
 |
A Mathematical Structure for Emergent Computation
ISBN: 9780792360100 / Angielski / Twarda / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An understanding of emergent computation requires a profound revision of the most fundamental ideas. A noticeable attempt of such a rethinking is a world view in which natural systems are seen not as separate entities but as integrated parts of a unified whole. The book for the first time presents such a mathematical structure, which remarkably is based on integers as the single concept. As integers are considered to be the most fundamental entities irreducible to something simpler, this makes the mathematical structure a final theory, and thus we do not have to look for its explanation in...
An understanding of emergent computation requires a profound revision of the most fundamental ideas. A noticeable attempt of such a rethinking is a wo...
|
cena:
402,53 |
 |
History and Philosophy of Constructive Type Theory
ISBN: 9780792361800 / Angielski / Twarda / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Lof at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the...
A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or...
|
cena:
603,81 |
 |
Goal-Directed Proof Theory
ISBN: 9780792364733 / Angielski / Twarda / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an...
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of whic...
|
cena:
402,53 |
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
