» książki » Mathematics - Logic
 |
The Philosophy of Michael Dummett
ISBN: 9789048143894 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The present collection of papers derives from a philosophy conference organised in the Sicilian town of M ussomeli in September 1991. The con ference aimed at providing an analysis of certain aspects of the thought of Michael Dummett, whose contributions have been very influential in several aspects of the philosophical debate continuing within the analyt ical tradition. Logic, the philosophy of mathematics, the interpretation of Frege's philosophy, and metaphysics are only some of the areas within which Dummett's ideas have been fruitful over the years. The papers contained in this book, and...
The present collection of papers derives from a philosophy conference organised in the Sicilian town of M ussomeli in September 1991. The con ference ...
|
cena:
605,23 |
 |
Quantifiers: Logics, Models and Computation: Volume One: Surveys
ISBN: 9789048145393 / Angielski / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern concept was formulated in the late '50s and early '60s. The majority of the papers are in the nature of a handbook. All of them are self-contained, at various levels of difficulty. The Introduction surveys the main ideas and problems encountered in the logical investigation of quantifiers. The Prologue, written by Per Lindstrom, presents the early history of the concept of generalised quantifiers. The volume then...
Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results o...
|
cena:
605,23 |
 |
Quantifiers: Logics, Models and Computation: Volume Two: Contributions
ISBN: 9789048145409 / Angielski / Miękka / 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:
403,47 |
 |
Proof Theory of Modal Logic
ISBN: 9789048147205 / Angielski / Miękka / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, know...
|
cena:
605,23 |
 |
Semigroups and Their Subsemigroup Lattices
ISBN: 9789048147496 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 0.1. General remarks. For any algebraic system A, the set SubA of all subsystems of A partially ordered by inclusion forms a lattice. This is the subsystem lattice of A. (In certain cases, such as that of semigroups, in order to have the right always to say that SubA is a lattice, we have to treat the empty set as a subsystem.) The study of various inter-relationships between systems and their subsystem lattices is a rather large field of investigation developed over many years. This trend was formed first in group theory; basic relevant information up to the early seventies is contained in...
0.1. General remarks. For any algebraic system A, the set SubA of all subsystems of A partially ordered by inclusion forms a lattice. This is the subs...
|
cena:
403,47 |
 |
Power Algebras Over Semirings: With Applications in Mathematics and Computer Science
ISBN: 9789048152704 / Angielski / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is a continuation of several themes presented in my previous books 146, 149]. In those volumes, I was concerned primarily with the properties of semirings. Here, the objects of investigation are sets of the form RA, where R is a semiring and A is a set having a certain structure. The problem is one of translating that structure to RA in some "natural" way. As such, it tries to find a unified way of dealing with diverse topics in mathematics and theoretical com puter science as formal language theory, the theory of fuzzy algebraic structures, models of optimal control, and many...
This monograph is a continuation of several themes presented in my previous books 146, 149]. In those volumes, I was concerned primarily with the pro...
|
cena:
524,53 |
 |
Advances in Temporal Logic
ISBN: 9789048153893 / Angielski / Miękka / 453 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and...
Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has b...
|
cena:
605,23 |
 |
Simple Theories
ISBN: 9789048154173 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Simplicity theory is an extension of stability theory to a wider class of structures, containing, among others, the random graph, pseudo-finite fields, and fields with a generic automorphism. Following Kim's proof of forking symmetry' which implies a good behaviour of model-theoretic independence, this area of model theory has been a field of intense study. It has necessitated the development of some important new tools, most notably the model-theoretic treatment of hyperimaginaries (classes modulo type-definable equivalence relations). It thus provides a general notion of independence (and...
Simplicity theory is an extension of stability theory to a wider class of structures, containing, among others, the random graph, pseudo-finite fields...
|
cena:
201,72 |
 |
Formal Aspects of Context
ISBN: 9789048154722 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi- cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents...
We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and ...
|
cena:
403,47 |
 |
Triangular Norms
ISBN: 9789048155071 / Angielski / Miękka / 387 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The history of triangular norms started with the paper "Statistical metrics" Menger 1942]. The main idea of Karl Menger was to construct metric spaces where probability distributions rather than numbers are used in order to de scribe the distance between two elements of the space in question. Triangular norms (t-norms for short) naturally came into the picture in the course of the generalization of the classical triangle inequality to this more general set ting. The original set of axioms for t-norms was considerably weaker, including among others also the functions which are known today as...
The history of triangular norms started with the paper "Statistical metrics" Menger 1942]. The main idea of Karl Menger was to construct metric space...
|
cena:
806,99 |
 |
Dominated Operators
ISBN: 9789048155286 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the main results of the last fifteen years on dominated operators, demonstrating a well-developed theory with a wide range of applications. The exposition focuses on the fundamental properties of dominated operators with special emphasis on their particular classes: integral and pseudointegral operators, disjointness preserving and decomposable operators, summing and cyclically compact operators, etc. Audience: This volume will be of interest to postgraduate students and researchers whose work involves geometric functional analysis, operator theory, vector lattices,... This book presents the main results of the last fifteen years on dominated operators, demonstrating a well-developed theory with a wide range of ap... |
cena:
605,23 |
 |
Abductive Reasoning and Learning
ISBN: 9789048155606 / Angielski / Miękka / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches. Abduction is central to all areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself.
This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches. Abduction is central to all areas...
|
cena:
806,99 |
 |
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning
ISBN: 9789048156030 / Angielski / Miękka / 517 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reasoning under uncertainty is always based on a specified language or for- malism, including its particular syntax and semantics, but also on its associated inference mechanism. In the present volume of the handbook the last aspect, the algorithmic aspects of uncertainty calculi are presented. Theory has suffi- ciently advanced to unfold some generally applicable fundamental structures and methods. On the other hand, particular features of specific formalisms and ap- proaches to uncertainty of course still influence strongly the computational meth- ods to be used. Both general as well as...
Reasoning under uncertainty is always based on a specified language or for- malism, including its particular syntax and semantics, but also on its ass...
|
cena:
806,99 |
 |
Fixed Point Theory in Probabilistic Metric Spaces
ISBN: 9789048158751 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fixed point theory in probabilistic metric spaces can be considered as a part of Probabilistic Analysis, which is a very dynamic area of mathematical research. A primary aim of this monograph is to stimulate interest among scientists and students in this fascinating field. The text is self-contained for a reader with a modest knowledge of the metric fixed point theory.
Several themes run through this book. The first is the theory of triangular norms (t-norms), which is closely related to fixed point theory in probabilistic metric spaces. Its recent development has had a strong influence... Fixed point theory in probabilistic metric spaces can be considered as a part of Probabilistic Analysis, which is a very dynamic area of mathematical ...
|
cena:
201,72 |
 |
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum: Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999
ISBN: 9789048158850 / Angielski / Miękka / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice. Recent developments, however, have given rise to the hope that the distance between constructive and nonstandard mathematics is actually much smaller than it appears. So the time was ripe for the first meeting dedicated simultaneously to both ways of doing mathematics and to the current and future reunion of these seeming opposites. Consisting of peer-reviewed... At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of... |
cena:
605,23 |
 |
Substructural Logics: A Primer
ISBN: 9789048160143 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of logic tout court. Over the last few decades a vast amount of research papers and even some books have been devoted to this subject. The aim of the present book is to give a comprehensive account of the "state of the art" of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational).
Readership: This textbook is... Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of lo...
|
cena:
887,69 |
 |
Infinitesimal Analysis
ISBN: 9789048160709 / Angielski / Miękka / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Infinitesimal analysis, once a synonym for calculus, is now viewed as a technique for studying the properties of an arbitrary mathematical object by discriminating between its standard and nonstandard constituents. Resurrected by A. Robinson in the early 1960's with the epithet 'nonstandard', infinitesimal analysis not only has revived the methods of infinitely small and infinitely large quantities, which go back to the very beginning of calculus, but also has suggested many powerful tools for research in every branch of modern mathematics. The book sets forth the basics of the... Infinitesimal analysis, once a synonym for calculus, is now viewed as a technique for studying the properties of an arbitrary mathematical object b... |
cena:
403,47 |
 |
Trends in Logic: 50 Years of Studia Logica
ISBN: 9789048164141 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume features a series of papers by distinguished scholars reflecting both the aim and scope of this journal for symbolic logic. In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Poli... |
cena:
605,23 |
 |
Classical and New Paradigms of Computation and Their Complexity Hierarchies: Papers of the Conference Foundations of the Formal Sciences III
ISBN: 9789048167180 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies. This volume will be of... The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach co... |
cena:
806,99 |
 |
Studies on Gottlob Frege and Traditional Philosophy
ISBN: 9789048183265 / Angielski / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. I wish to express, first of all, my profound gratitude to Professor J. M. Bochenski, without whose assistance the present work would have not been possible. To be concise, I would like to state that his contribution to this book may be viewed at three levels: (1) that of the general spirit, (2) that of the specific ideas, theses or approaches which are expressed in its pages, (3) that of this work qua doctoral dissertation. The general spirit which has guided my research coincides with that underlying Professor :Oochenski's own works, in particular his Formale Logik (Munchen 1956). Moreover,...
I wish to express, first of all, my profound gratitude to Professor J. M. Bochenski, without whose assistance the present work would have not been pos...
|
cena:
605,23 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
