» książki » Mathematics - Logic
topmenu
 |
Lattice Concepts of Module Theory
ISBN: 9780792364887 / Angielski / Twarda / 225 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It became more and more usual, from, say, the 1970s, for each book on Module Theory, to point out and prove some (but in no more than 15 to 20 pages) generalizations to (mostly modular) lattices. This was justified by the nowadays widely accepted perception that the structure of a module over a ring is best understood in terms of the lattice struc- ture of its submodule lattice. Citing Louis H. Rowen "this important example (the lattice of all the submodules of a module) is the raison d'etre for the study of lattice theory by ring theorists." Indeed, many module-theoretic results can be...
It became more and more usual, from, say, the 1970s, for each book on Module Theory, to point out and prove some (but in no more than 15 to 20 pages) ...
|
cena:
402,53 |
 |
Fuzzy Logic: Mathematical Tools for Approximate Reasoning
ISBN: 9780792369417 / Angielski / Twarda / 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 |
 |
Labelled Non-Classical Logics
ISBN: 9780792377498 / Angielski / Twarda / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve...
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled d...
|
cena:
603,81 |
 |
Timed Petri Nets: Theory and Application
ISBN: 9780792382706 / Angielski / Twarda / 281 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and...
Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance disc...
|
cena:
805,10 |
 |
Mathematical Principles of Fuzzy Logic
ISBN: 9780792385950 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical Principles of Fuzzy Logic provides a systematic study of the formal theory of fuzzy logic. The book is based on logical formalism demonstrating that fuzzy logic is a well-developed logical theory. It includes the theory of functional systems in fuzzy logic, providing an explanation of what can be represented, and how, by formulas of fuzzy logic calculi. It also presents a more general interpretation of fuzzy logic within the environment of other proper categories of fuzzy sets stemming either from the topos theory, or even generalizing the latter.
This book... Mathematical Principles of Fuzzy Logic provides a systematic study of the formal theory of fuzzy logic. The book is based on logical formalis...
|
cena:
805,10 |
 |
Fuzzy Set Theory--And Its Applications
ISBN: 9780792396246 / Angielski / Twarda / 435 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fuzzy Set Theory - And Its Applications, Third Edition is a textbook for courses in fuzzy set theory. It can also be used as an introduction to the subject. The character of a textbook is balanced with the dynamic nature of the research in the field by including many useful references to develop a deeper understanding among interested readers.
The book updates the research agenda (which has witnessed profound and startling advances since its inception some 30 years ago) with chapters on possibility theory, fuzzy logic and approximate reasoning, expert systems, fuzzy control,... Fuzzy Set Theory - And Its Applications, Third Edition is a textbook for courses in fuzzy set theory. It can also be used as an introduction ...
|
cena:
805,10 |
 |
Synthesis of Finite State Machines: Functional Optimization
ISBN: 9780792398424 / Angielski / Twarda / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs). This volume addresses functional optimization, whereas the second addresses logic optimization. By functional optimization here we mean the body of techniques that:
The result is a symbolic description of the FSM representing the chosen sequential... Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs)...
|
cena:
603,81 |
 |
Godel's Proof
ISBN: 9780814758168 / Angielski / Twarda / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences--perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent... In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Thi... |
cena:
102,81 |
 |
A Proof Theory for General Unification
ISBN: 9780817635930 / Angielski / Twarda / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig inated by Herbrand and developed in the case of standard first-order unifi cation by Martelli and Montanari. The formalism presents the unification computation as a set of non-deterministic transformation rules for con verting a set of equations to be unified into an explicit representation of a unifier (if such exists). This provides an abstract and mathematically elegant means of analysing the properties of unification in various settings by...
In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig in...
|
cena:
201,24 |
 |
Finite Automata, Formal Logic, and Circuit Complexity
ISBN: 9780817637194 / Angielski / Twarda / 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 o...
|
cena:
402,53 |
 |
Additive Cellular Automata: Theory and Applications, Volume 1
ISBN: 9780818677175 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents an extensive survey and report of related research on important developments in cellular automata (CA) theory. The authors introduce you to this theory in a comprehensive manner that will help you understand the basics of CA and be prepared for further research. They illustrate the matrix algebraic tools that characterize group CA and help develop its applications in the field of VLSI testing.
The text examines schemes based on easily testable FSM, bit-error correcting code, byte error correcting code, and characterization of 2D cellular automata. In addition,... This book presents an extensive survey and report of related research on important developments in cellular automata (CA) theory. The authors introduc...
|
cena:
376,09 |
 |
Complexity, Logic, and Recursion Theory
ISBN: 9780824700263 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd...
|
cena:
1224,44 |
 |
Models, Algebras, and Proofs: Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá
ISBN: 9780824719708 / Angielski / Miękka / 472 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide."
"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Lati...
|
cena:
930,57 |
 |
Continuous Lattices and Their Applications
ISBN: 9780824773311 / Angielski / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
342,79 |
 |
The Haskell Road to Logic, Maths and Programming: v. 4
ISBN: 9780954300692 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply There is no royal road to mathematics. Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a...
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply There is no royal road t...
|
cena:
120,84 |
 |
Logic, Meaning and Computation: Essays in Memory of Alonzo Church
ISBN: 9781402001413 / Angielski / Twarda / 627 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic, mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth, and value of his work. Church is perhaps best known for the theorem, appropriately called " C h u r c h ' s Theorem," that...
Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles are dedicated to his memory and illustrate the tr...
|
cena:
603,81 |
 |
Dynamics and Management of Reasoning Processes
ISBN: 9781402001932 / Angielski / Twarda / 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 |
 |
Proof Theory and Automated Deduction
ISBN: 9781402003684 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The last twenty years have witnessed an accelerated development of pure and ap- plied logic, particularly in response to the urgent needs of computer science. Many traditional logicians have developed interest in applications and in parallel a new generation of researchers in logic has arisen from the computer science community. A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto- mated deduction for the logic and its fragments is as important as the logic itself. In such a climate...
The last twenty years have witnessed an accelerated development of pure and ap- plied logic, particularly in response to the urgent needs of computer ...
|
cena:
201,24 |
 |
Metamathematics of Fuzzy Logic
ISBN: 9781402003707 / Angielski / Miękka / 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 |
 |
Proof and System-Reliability
ISBN: 9781402006081 / Angielski / Miękka / 415 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations.
This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also... As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Expe...
|
cena:
201,24 |
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
