» książki » Mathematics - Logic
topmenu
 |
Intelligent Decision Support: Handbook of Applications and Advances of the Rough Sets Theory
ISBN: 9789048141944 / Angielski / Miękka / 473 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intelligent decision support is based on human knowledge related to a specific part of a real or abstract world. When the knowledge is gained by experience, it is induced from empirical data. The data structure, called an information system, is a record of objects described by a set of attributes.
Knowledge is understood here as an ability to classify objects. Objects being in the same class are indiscernible by means of attributes and form elementary building blocks (granules, atoms). In particular, the granularity of knowledge causes that some notions cannot be expressed precisely... Intelligent decision support is based on human knowledge related to a specific part of a real or abstract world. When the knowledge is gained by exper...
|
cena:
1207,67 |
 |
Boolean Constructions in Universal Algebras
ISBN: 9789048142392 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. During the last few decades the ideas, methods, and results of the theory of Boolean algebras have played an increasing role in various branches of mathematics and cybernetics.
This monograph is devoted to the fundamentals of the theory of Boolean constructions in universal algebra. Also considered are the problems of presenting different varieties of universal algebra with these constructions, and applications for investigating the spectra and skeletons of varieties of universal algebras. For researchers whose work involves universal algebra and logic. During the last few decades the ideas, methods, and results of the theory of Boolean algebras have played an increasing role in various branches of ma...
|
cena:
402,53 |
 |
Algorithms: Main Ideas and Applications
ISBN: 9789048142569 / Angielski / Miękka / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of algorithms not only answers philosophical questions but also is eminently applicable to practical computing, as well as to software and hardware design. This book presents exact mathematical formulations of major concepts and facts of the theory of algorithms in a unified and elegant way. Precise mathematical statements are given, together with their underlying motivations, philosophical interpretations and historical developments, starting with Frege, Hilbert and Borel through Godel and Turing up to Kolmogorov's results of 1950-1980. The book is divided into two parts. The...
The theory of algorithms not only answers philosophical questions but also is eminently applicable to practical computing, as well as to software and ...
|
cena:
603,81 |
 |
Philosophical Logic in Poland
ISBN: 9789048142767 / Angielski / Miękka / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Poland has played an enormous role in the development of mathematical logic. Leading Polish logicians, like Lesniewski, Lukasiewicz and Tarski, produced several works related to philosophical logic, a field covering different topics relevant to philosophical foundations of logic itself, as well as various individual sciences. This collection presents contemporary Polish work in philosophical logic which in many respects continue the Polish way of doing philosophical logic.
This book will be of interest to logicians, mathematicians, philosophers, and linguists. Poland has played an enormous role in the development of mathematical logic. Leading Polish logicians, like Lesniewski, Lukasiewicz and Tarski, produc...
|
cena:
805,10 |
 |
Inconsistent Mathematics
ISBN: 9789048144808 / Angielski / Miękka / 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....
without a properly developed inconsistent calculus based on infinitesimals, then in- consistent claims from the history of the calculus might well sim...
|
cena:
201,24 |
 |
Distributed Fuzzy Control of Multivariable Systems
ISBN: 9789048146529 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is known that many control processes are characterized by both quantitative and qualitative complexity. Tbe quantitative complexity is usually expressed in a large number of state variables, respectively high dimensional mathematical model. Tbe qualitative complexity is usually associated with uncertain behaviour, respectively approximately known mathematical model. If the above two aspects of complexity are considered separately, the corresponding control problem can be easily solved. On one hand, large scale systems theory has existed for more than 20 years and has proved its...
It is known that many control processes are characterized by both quantitative and qualitative complexity. Tbe quantitative complexity is usually expr...
|
cena:
402,53 |
 |
Problems and Exercises in Discrete Mathematics
ISBN: 9789048147021 / Angielski / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many years of practical experience in teaching discrete mathematics form the basis of this text book. Part I contains problems on such topics as Boolean algebra, k-valued logics, graphs and networks, elements of coding theory, automata theory, algorithms theory, combinatorics, Boolean minimization and logical design. The exercises are preceded by ample theoretical background material. For further study the reader is referred to the extensive bibliography. Part II follows the same structure as Part I, and gives helpful hints and solutions.
Audience: This book will be of... Many years of practical experience in teaching discrete mathematics form the basis of this text book. Part I contains problems on such topics as Boole...
|
cena:
523,30 |
 |
Hermann Günther Graßmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar
ISBN: 9789048147588 / Angielski / Miękka / 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 |
 |
Language, Truth and Logic in Mathematics
ISBN: 9789048149230 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The foundations of mathematics are examined by reference to such crucial concepts as the informational independence of quantifiers, the standard-nonstandard distinction, completeness, computability, parallel processing and the extremality of models.
The foundations of mathematics are examined by reference to such crucial concepts as the informational independence of quantifiers, the standard-nonst...
|
cena:
603,81 |
 |
Algebraic Foundations of Many-Valued Reasoning
ISBN: 9789048153367 / Angielski / Miękka / 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 |
 |
History and Philosophy of Constructive Type Theory
ISBN: 9789048154036 / Angielski / Miękka / 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 |
 |
Protoalgebraic Logics
ISBN: 9789048156931 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The main aim of this monograph is to provide a structured study of the algebraic method in metalogic. In contrast to traditional algebraic logic, where the focus is on the algebraic forms of specific deductive systems, abstract algebraic logic is concerned with the process of algebraization itself. This book presents in a systematic way recent ideas in abstract algebraic logic centered around the notion of the Leibniz operator. The stress is put on the taxonomy of deductive systems. Isolating a list of plausible properties of the Leibniz operator serves as a basis for distinguishing certain...
The main aim of this monograph is to provide a structured study of the algebraic method in metalogic. In contrast to traditional algebraic logic, wher...
|
cena:
603,81 |
 |
Fuzzy Logic: Mathematical Tools for Approximate Reasoning
ISBN: 9789048156948 / Angielski / Miękka / 271 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fuzzy logic in narrow sense is a promising new chapter of formal logic whose basic ideas were formulated by Lotfi Zadeh (see Zadeh 1975]a). The aim of this theory is to formalize the "approximate reasoning" we use in everyday life, the object of investigation being the human aptitude to manage vague properties (as, for example, "beautiful," "small," "plausible," "believable," etc. ) that by their own nature can be satisfied to a degree different from 0 (false) and I (true). It is worth noting that the traditional deductive framework in many-valued logic is different from the one adopted in...
Fuzzy logic in narrow sense is a promising new chapter of formal logic whose basic ideas were formulated by Lotfi Zadeh (see Zadeh 1975]a). The aim o...
|
cena:
402,53 |
 |
Dynamics and Management of Reasoning Processes
ISBN: 9789048159031 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume, the 6th volume in the DRUMS Handbook series, is part of the after math of the successful ESPRIT project DRUMS (Defeasible Reasoning and Un certainty Management Systems) which took place in two stages from 1989-1996. In the second stage (1993-1996) a work package was introduced devoted to the topics Reasoning and Dynamics, covering both the topics of 'Dynamics of Rea soning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of and agents within dynamic systems may reason about these systems. The...
This volume, the 6th volume in the DRUMS Handbook series, is part of the after math of the successful ESPRIT project DRUMS (Defeasible Reasoning and U...
|
cena:
402,53 |
 |
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert
ISBN: 9789048160525 / Angielski / Miękka / 251 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians,... Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logi... |
cena:
402,53 |
 |
The Semantics and Proof Theory of the Logic of Bunched Implications
ISBN: 9789048160723 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a monograph about logic. Specifically, it presents the mathe- matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono- graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduction which presents my (background) view of logic from the point of view of informatics, paying particular attention to three logical topics which have arisen from the development of logic within...
This is a monograph about logic. Specifically, it presents the mathe- matical theory of the logic of bunched implications, BI: I consider Bl's proof t...
|
cena:
603,81 |
 |
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
ISBN: 9789048160792 / Angielski / Miękka / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information.
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for mor... |
cena:
362,27 |
 |
Agent-Based Defeasible Control in Dynamic Environments
ISBN: 9789048161096 / Angielski / Miękka / 479 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty Management Systems) which took place in two stages from 1989- 1996. In the second stage (1993-1996) a work package was introduced devoted to the topics Reasoning and Dynamics, covering both the topics of "Dynamics of Reasoning," where reasoning is viewed as a process, and "Reasoning about Dynamics," which must be understood as pertaining to how both designers of and agents within dynamic systems may reason about these systems. The...
This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Un...
|
cena:
805,10 |
 |
Limit Theorems and Applications of Set-Valued and Fuzzy Set-Valued Random Variables
ISBN: 9789048161393 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a clear, systematic treatment of convergence theorems of set-valued random variables (random sets) and fuzzy set-valued random variables (random fuzzy sets). Topics such as strong laws of large numbers and central limit theorems, including new results in connection with the theory of empirical processes are covered. The author's own recent developments on martingale convergence theorems and their applications to data processing are also included. The mathematical foundations along with a clear explanation such as Holmander's embedding theorem, notions of various convergence...
This book presents a clear, systematic treatment of convergence theorems of set-valued random variables (random sets) and fuzzy set-valued random vari...
|
cena:
402,53 |
 |
Topological and Algebraic Structures in Fuzzy Sets: A Handbook of Recent Developments in the Mathematics of Fuzzy Sets
ISBN: 9789048163786 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume summarizes recent developments in the topological and algebraic structures in fuzzy sets and may be rightly viewed as a continuation of the stan dardization of the mathematics of fuzzy sets established in the "Handbook," namely the Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, Volume 3 of The Handbooks of Fuzzy Sets Series (Kluwer Academic Publish ers, 1999). Many of the topological chapters of the present work are not only based upon the foundations and notation for topology laid down in the Hand book, but also upon Handbook developments in convergence, uniform...
This volume summarizes recent developments in the topological and algebraic structures in fuzzy sets and may be rightly viewed as a continuation of th...
|
cena:
603,81 |
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
