» książki » Mathematics - Logic
topmenu
 |
Logical and Computational Aspects of Model-Based Reasoning
ISBN: 9781402007125 / Angielski / Twarda / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor- tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some...
Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in...
|
cena:
402,53 |
 |
The Semantics and Proof Theory of the Logic of Bunched Implications
ISBN: 9781402007453 / Angielski / Twarda / 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: 9781402007637 / Angielski / Twarda / 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:
523,30 |
 |
Probabilistic Logic in a Coherent Setting
ISBN: 9781402009174 / Angielski / Twarda / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general view of conditional probability. It is a flexible' and unifying tool suited for handling, e.g., partial probability assessments (not requiring that the set of all possible outcomes' be endowed with a previously given algebraic structure, such as a Boolean algebra), and conditional independence, in a...
The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characte...
|
cena:
402,53 |
 |
Probabilistic Logic in a Coherent Setting
ISBN: 9781402009709 / Angielski / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general view of conditional probability. It is a flexible' and unifying tool suited for handling, e.g., partial probability assessments (not requiring that the set of all possible outcomes' be endowed with a previously given algebraic structure, such as a Boolean algebra), and conditional independence, in a...
The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characte...
|
cena:
442,79 |
 |
Logic for Concurrency and Synchronisation
ISBN: 9781402012709 / Angielski / Twarda / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- cesses - as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves informational processes involving agents with goals. The interplay between these descriptive and dynamic aspects shows even in our ordinary...
The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, ...
|
cena:
402,53 |
 |
Thirty Five Years of Automating Mathematics
ISBN: 9781402016561 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were numerous and extremely influential. His book on advanced asymptotic methods, North- Holland 1958, was a classic and was subsequently turned into a book in the well known Dover book series. His work on combinatorics yielded influential notions and theorems of which we mention the de Bruijn-sequences of...
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before...
|
cena:
402,53 |
 |
A Modern Perspective on Type Theory: From Its Origins Until Today
ISBN: 9781402023347 / Angielski / Twarda / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis on the use of logic, types and functions to study the syntax, semantics, design and implementation of programming languages and theorem provers,...
Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions...
|
cena:
724,58 |
 |
Fuzzy Logic in Management
ISBN: 9781402076954 / Angielski / Twarda / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fuzzy Logic in Management demonstrates that difficult problems and changes in the management environment can be more easily handled by bringing fuzzy logic into the practice of management. This explicit theme is developed through the book as follows: Chapter 1, "Management and Intelligent Support Technologies," is a short survey of management leadership and what can be gained from support technologies. Chapter 2, "Fuzzy Sets and Fuzzy Logic," provides a short introduction to fuzzy sets, fuzzy relations, the extension principle, fuzzy implications and linguistic variables.... Fuzzy Logic in Management demonstrates that difficult problems and changes in the management environment can be more easily handle... |
cena:
402,53 |
 |
Fuzzy Automata and Languages: Theory and Applications
ISBN: 9781584882251 / Angielski / Twarda / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Offers a treatment of the theory and mathematics of fuzzy automata and fuzzy languages. This title compares the different approaches used in fuzzy mathematics and automata and includes proofs of the theoretical results presented. It discusses applications in a variety of fields, including databases, learning systems, and pattern recognition.
Offers a treatment of the theory and mathematics of fuzzy automata and fuzzy languages. This title compares the different approaches used in fuzzy mat...
|
cena:
881,59 |
 |
Finite Automata
ISBN: 9781584882558 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Interest in finite automata theory continues to grow, not only because of its applications in computer science, but also because of more recent applications in mathematics, particularly group theory and symbolic dynamics. The subject itself lies on the boundaries of mathematics and computer science, and with a balanced approach that does justice to both aspects, this book provides a well-motivated introduction to the mathematical theory of finite automata.The first half of Finite Automata focuses on the computer science side of the theory and culminates in Kleene's Theorem, which the author...
Interest in finite automata theory continues to grow, not only because of its applications in computer science, but also because of more recent applic...
|
cena:
514,26 |
 |
Sets, Functions, and Logic : An Introduction to Abstract Mathematics, Third Edition
ISBN: 9781584884491 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Keith Devlin. You know him. You've read his columns in MAA Online, you've heard him on the radio, and you've seen his popular mathematics books. In between all those activities and his own research, he's been hard at work revising Sets, Functions and Logic, his standard-setting text that has smoothed the road to pure mathematics for legions of undergraduate students. Now in its third edition, Devlin has fully reworked the book to reflect a new generation. The narrative is more lively and less textbook-like. Remarks and asides link the topics presented to the real world of students'...
Keith Devlin. You know him. You've read his columns in MAA Online, you've heard him on the radio, and you've seen his popular mathematics books. In be...
|
cena:
372,18 |
 |
Mathematical Linguistics
ISBN: 9781846289859 / Angielski / Twarda / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing. The book presents linguistics as a cumulative body of knowledge from the ground up: no prior knowledge of linguistics is assumed. As the first textbook of its kind, this book is useful for those in information science and in natural language technologies.
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in... |
cena:
322,01 |
 |
Questions, Inferences, and Scenarios
ISBN: 9781848901209 / Angielski / Miękka / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "The importance of questions is beyond doubt. But the degree of attention paid to them in logic and linguistics is still less than they deserve." (from the Preface) What is a question? How to represent questions in formal languages? How to model reasoning in which questions are involved? Can we prove anything by means of pure questioning? How to model goal-directed problem solving? These are the main issues of Andrzej Wi niewski's "Questions, Inferences, and Scenarios." This book offers a state-of-the-art exposition of Inferential Erotetic Logic, that is, an approach to the logic of questions...
"The importance of questions is beyond doubt. But the degree of attention paid to them in logic and linguistics is still less than they deserve." (fro...
|
cena:
86,32 |
 |
Automated Theory Formation in Pure Mathematics
ISBN: 9781852336097 / Angielski / Twarda / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Artificial intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on the big picture - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building...
Artificial intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on the big picture - automatin...
|
cena:
402,53 |
 |
Lattices and Ordered Algebraic Structures
ISBN: 9781852339050 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The notion of an order plays an important role DEGREES not only throughout mat- maticsbutalsoinadjacentdisciplinessuchaslogicandcomputerscience. The purpose of the present text is to provide a basic introduction to the theory of ordered structures. Taken as a whole, the material is mainly designed for a postgraduate course. However, since prerequisites are minimal, selected parts of it may easily be considered suitable to broaden the horizon of the advanced undergraduate. Indeed, this has been the author's practice over many years. A basic tool in analysis is the notion of a continuous...
The notion of an order plays an important role DEGREES not only throughout mat- maticsbutalsoinadjacentdisciplinessuchaslogicandcomputerscience. The p...
|
cena:
362,27 |
 |
Propositional and Predicate Calculus: A Model of Argument
ISBN: 9781852339210 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include:
At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique te... |
cena:
261,63 |
 |
Agent Technology from a Formal Perspective
ISBN: 9781852339470 / Angielski / Twarda / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. During the last several years, the ?eld of agent and multi-agent s- tems has experienced tremendous growth, i.e., the topic has gained - precedented popularity. Meanwhile, the ?eld of formal methods has also blossomed and has proven its importance in substantial industrial and government applications. Thus, in 2000 it was quite timely to pursue a workshop to merge the concerns of the two ?elds. The need for such a workshop was particularly compelling given the growing concerns of agent-basedsystemsusersthattheirsystemsshouldbeaccompaniedby behavioral assurances. The Formal Approaches...
During the last several years, the ?eld of agent and multi-agent s- tems has experienced tremendous growth, i.e., the topic has gained - precedented p...
|
cena:
603,81 |
 |
How to Read and Do Proofs
ISBN: 9781118164020 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs. The approach is to categorize, identify, and explain (at the student's level) the various techniques that are used repeatedly in all proofs, regardless of the subject in which the proofs arise. How to Read and Do Proofs also explains when each technique is likely to be used, based on certain key words that appear in the problem under consideration. Doing so enables students to choose a technique consciously, based on...
This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think ...
|
cena:
391,56 |
 |
We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1
ISBN: 9781904987116 / Angielski / Miękka / 804 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of Modal Logic, Intuitionistic Logic, Logic and Language, Non-monotonic Logic and Logic Programming, Temporal Logic, Logic and Learning, Combination of Logics, Practical Reasoning, Logic and Artificial Intelligence, Abduction, Theorem Proving, and Goal-Directed Reasoning. It will be...
This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logi...
|
cena:
189,90 |
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
