» książki » Mathematics - Logic
 |
Computer Science - Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010 Kazan, Russia, June 16-20, 2010 Proceedin
ISBN: 9783642131813 / Angielski / Miękka / 397 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. The 30 papers presented were carefully reviewed and selected from 62 submissions. The scope of topics of the symposium was quite broad and covered basically all areas of the foundations of theoretical computer science.
This book constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. Th...
|
cena:
201,24 |
| |
Unconventional Computation: 9th International Conference, UC 2010 Tokyo, Japan, June 21-25, 2010, Proceedings
ISBN: 9783642135224 / Angielski / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS and Academia Europaea, by the University of Tokyo (Tokyo, Japan), and the Center for Discrete Mathematics and Theoretical Computer Science (Auckland, New Zealand). It was held in Tokyoduring June 21-25,2010(seehttp: //arn.local.frs.riken.jp/UC10/). The venue was the Sanjo (Hilltop) Conference Hall at Hongo Campus of the University of Tokyo. Hongo Campus was formerly the residence of the Maeda family, one of the richest feudal lords in the Edo period of Japan. The Japanese garden...
The 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS and Academia Europaea, by the Unive...
|
cena:
201,24 |
| |
Developments in Language Theory
ISBN: 9783642144547 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 14th International Conference on Developments in Language Theory (DLT 2010) was held in London, Ontario, Canada on the beautiful campus of the University of Western Ontario. It was a four-day conference starting August 17 and ending August 20, 2010. The DLT conference series is one of the major international conference series in language theory. It started in Turku, Finland in 1993. Initially, it was held onceeverytwoyears. Since2001, ithasbeenheldeveryyear, oddyearsinEurope and even years in other continents. The papers submitted to DLT 2010 were from 27 countries all over the world,...
The 14th International Conference on Developments in Language Theory (DLT 2010) was held in London, Ontario, Canada on the beautiful campus of the Uni...
|
cena:
201,24 |
| |
Transactions on Computational Science IX: Special Issue on Voronoi Diagrams in Science and Engineering
ISBN: 9783642160066 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 9th issue of the Transactions on Computational Science journal, edited by Francois Anton, is devoted to the subject of Voronoi diagrams in science and engineering. The 9 papers included in the issue constitute extended versions of selected papers from the International Symposium on Voronoi Diagrams, held in Copenhagen, Denmark, June 23-36, 2009. Topics covered include: divide and conquer construction of Voronoi diagrams; new generalized Voronoi diagrams or properties of existing generalized Voronoi diagrams; and applications of Voronoi diagrams and their duals in graph theory, computer...
The 9th issue of the Transactions on Computational Science journal, edited by Francois Anton, is devoted to the subject of Voronoi diagrams in science...
|
cena:
201,24 |
| |
Advanced Topics in Term Rewriting
ISBN: 9781441929211 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and...
Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data t...
|
cena:
201,24 |
| |
Verification of Reactive Systems: Formal Methods and Algorithms
ISBN: 9783642055553 / Angielski / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market. To meet these needs, early design phases nowadays include verification of given specifications against system descriptions to find potential design errors as early as possible.
This book is devoted to the foundation of the most popular formal methods for the specification and verification of reactive systems. In... Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of ...
|
cena:
201,24 |
| |
Soft Computing: Integrating Evolutionary, Neural, and Fuzzy Systems
ISBN: 9783642075834 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Soft computing encompasses various computational methodologies, which, unlike conventional algorithms, are tolerant of imprecision, uncertainty, and partial truth. Soft computing technologies offer adaptability as a characteristic feature and thus permit the tracking of a problem through a changing environment. Besides some recent developments in areas like rough sets and probabilistic networks, fuzzy logic, evolutionary algorithms, and artificial neural networks are core ingredients of soft computing, which are all bio-inspired and can easily be combined synergetically.
This book presents... Soft computing encompasses various computational methodologies, which, unlike conventional algorithms, are tolerant of imprecision, uncertainty, and p...
|
cena:
201,24 |
| |
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,24 |
| |
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,24 |
| |
Recasting Reality: Wolfgang Pauli's Philosophical Ideas and Contemporary Science
ISBN: 9783642098949 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1 2 Harald Atmanspacher and Hans Primas 1 Institute for Frontier Areas of Psychology, Freiburg, Germany, haa@igpp.de 2 ETH Zurich, Switzerland, primas@phys.chem.ethz.ch Thenotionofrealityisofsupremesigni?canceforourunderstandingofnature, the world around us, and ourselves. As the history of philosophy shows, it has been under permanent discussion at all times. Traditional discourse about - ality covers the full range from basic metaphysical foundations to operational approaches concerning human kinds of gathering and utilizing knowledge, broadly speaking epistemic approaches. However, no...
1 2 Harald Atmanspacher and Hans Primas 1 Institute for Frontier Areas of Psychology, Freiburg, Germany, haa@igpp.de 2 ETH Zurich, Switzerland, primas...
|
cena:
201,24 |
| |
Computable Models
ISBN: 9781849968188 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and specification languages, through to knowledge representation languages and formalism for natural language semantics.... Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specif... |
cena:
201,24 |
| |
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
ISBN: 9783642177958 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations. This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, h... |
cena:
201,24 |
| |
Fuzzy-Neuro Approach to Agent Applications: From the AI Perspective to Modern Ontology
ISBN: 9783642059490 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Anything happens must have its own reason . Although I cannot really recall exactly when I heard of this statement for the first time, it is always in my mind and in fact it has been one of the motivations for me to carry out research and study. When I asked myself again about the purpose of writing this book at the time of writing this preface, several add on rea sons that had never occurred to me at the start of writing this book in the spring of 2003 surprisingly came up. Back then, when I was preparing the progress report for the iJADE (2. 0) project, a fuzzy idea of whether it was...
Anything happens must have its own reason . Although I cannot really recall exactly when I heard of this statement for the first time, it is always in...
|
cena:
201,24 |
| |
Logic and Integer Programming
ISBN: 9781441947130 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using modeling in logic for integer programming. Written for graduate and postgraduate students, as well as academics and practitioners, the book is divided into four chapters that all avoid the typical format of definitions, theorems and proofs and instead introduce concepts and results within the text through examples. References are given at the end of each chapter to the more mathematical papers and texts on the subject, and exercises are... Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using... |
cena:
201,24 |
| |
Many-Valued Logics 2: Automated Reasoning and Practical Applications
ISBN: 9783642084171 / Angielski / Miękka / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures in the field. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory. Among the applications presented are those in software specification and electronic circuit verification.
Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume hand...
|
cena:
201,24 |
| |
Generalized Measure Theory
ISBN: 9781441945761 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1992 we published a book entitled Fuzzy Measure Theory (Plenum Press, New York), in which the term ''fuzzy measure'' was used for set functions obtained by replacing the additivity requirement of classical measures with weaker requirements of monotonicity with respect to set inclusion and con- nuity. That is, the book dealt with nonnegative set functions that were mo- tone, vanished at the empty set, and possessed appropriate continuity properties when defined on infinite sets. It seems that Fuzzy Measure Theory was the only book available on the market at that time devoted to this...
In 1992 we published a book entitled Fuzzy Measure Theory (Plenum Press, New York), in which the term ''fuzzy measure'' was used for set functions obt...
|
cena:
201,24 |
| |
The Calculus of Computation: Decision Procedures with Applications to Verification
ISBN: 9783642093470 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification... Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order... |
cena:
201,24 |
| |
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
ISBN: 9783642069475 / Angielski / Miękka / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic. This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent be... |
cena:
201,24 |
| |
Language, Games, and Evolution: Trends in Current Research on Language and Game Theory
ISBN: 9783642180057 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent years witnessed an increased interest in formal pragmatics and especially the establishment of game theory as a new research methodology for the study of language use. Game and Decision Theory (GDT) are natural candidates if we look for a theoretical foundation of linguistic pragmatics. Over the last decade, a firm research community has emerged with a strong interdisciplinary character, where economists, philosophers, and social scientists meet with linguists. Within this field of research, three major currents can be distinguished: one is closely related to the Gricean paradigm and...
Recent years witnessed an increased interest in formal pragmatics and especially the establishment of game theory as a new research methodology for th...
|
cena:
201,24 |
| |
Ludics, Dialogue and Interaction: PRELUDE Project — 2006-2009. Revised Selected Papers
ISBN: 9783642192104 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the key contributions to workshops and meetings that were held within the context of the PRELUDE project. PRELUDE, an acronym for "Towards Theoretical Pragmatics based on Ludics and Continuation Theory," ran from November 2006 to November 2009, with funding from the new French National Agency for Research (ANR). The objective of the project was to develop perspectives on Natural Language Semantics and Pragmatics based on recent developments in Logic and Theoretical Computer Science; the articles shed light on the role of Ludics in the study of speech acts, inferential...
This volume contains the key contributions to workshops and meetings that were held within the context of the PRELUDE project. PRELUDE, an acronym for...
|
cena:
201,24 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
