» książki » Mathematics - Logic
 |
Naive Set Theory
ISBN: 9780387900926 / Angielski / Twarda / 104 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set- theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the...
Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book...
|
cena:
342,95 zł |
 |
Mathematical Logic
ISBN: 9780387901701 / Angielski / Twarda / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves. Thus we treat mathematical and logical practice as given empirical data and attempt to develop a purely mathematical theory of logic abstracted from these data." There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the... From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology... |
cena:
363,12 zł |
 |
Computability: A Mathematical Sketchbook
ISBN: 9780387941745 / Angielski / Twarda / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Aimed at mathematicians and computer scientists who will only be exposed to one course in this area, Computability: A Mathematical Sketchbook provides a brief but rigorous introduction to the abstract theory of computation, sometimes also referred to as recursion theory. It develops major themes in computability theory, such as Rice's theorem and the recursion theorem, and provides a systematic account of Blum's complexity theory as well as an introduction to the theory of computable real numbers and functions. The book is intended as a university text, but it may also be used...
Aimed at mathematicians and computer scientists who will only be exposed to one course in this area, Computability: A Mathematical Sketchboo...
|
cena:
254,02 zł |
 |
Mathematical Logic
ISBN: 9780387942582 / Angielski / Twarda / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe- matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is Godel's completeness theorem, which shows that the con- sequence relation coincides with formal provability: By means of a calcu- lus consisting of simple formal inference rules, one can obtain all...
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe- matical ...
|
cena:
241,91 zł |
 |
A Recursive Introduction to the Theory of Computation
ISBN: 9780387943329 / Angielski / Twarda / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are introduced as fundamental and basic tools for constructing and manipulating algorithms. From there the book considers the complexity of computations and the notion of a complexity measure is introduced. Finally, the book culminates in considering time and space measures and in classifying computable...
The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting...
|
cena:
201,72 zł |
 |
Classical Descriptive Set Theory
ISBN: 9780387943749 / Angielski / Twarda / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced approach, which combines many elements of the different traditions of the subject. It includes a wide variety of examples, exercises (over 400), and applications, in order to illustrate the general concepts and results of the theory.
This text provides a first basic course in classical descriptive set theory and covers material with which mathematicians interested in the subject for its own sake or those that wish to use it in their field... Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced...
|
cena:
241,91 zł |
 |
Super-Recursive Algorithms
ISBN: 9780387955698 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. * The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory and its ramifications * Demonstrates how these algorithms are more appropriate as mathematical models for modern computers and how they present a better framework for computing methods * Develops a new practically-oriented perspective on the theory of algorithms, computation, and automata, as a whole
* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory... |
cena:
403,47 zł |
 |
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
ISBN: 9780387977102 / Angielski / Miękka / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves al... |
cena:
302,60 zł |
 |
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic
ISBN: 9780387986555 / Angielski / Twarda / 443 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Can we reproduce the inimitable, or give a new life to what has been af- fected by the weariness of existence? Folks, what you have in your hands is a translation into English of a book that was first published in 1985 by its author, that is, myself, at the end of an editorial adventure about which you will find some details later. It was written in a dialect of Latin that is spoken as a native language in some parts of Europe, Canada, the U. S. A., the West Indies, and is used as a language of communication between several countries in Africa. It is also sometimes used as a lan- guage of...
Can we reproduce the inimitable, or give a new life to what has been af- fected by the weariness of existence? Folks, what you have in your hands is a...
|
cena:
363,12 zł |
 |
Model Theory: An Introduction
ISBN: 9780387987606 / Angielski / Twarda / 345 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theory can be a useful tool in analyzing classical mathematical structures
Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theor...
|
cena:
201,56 zł |
 |
Principles of Mathematics
ISBN: 9780393314045 / Angielski / Miękka / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Russell's classic The Principles of Mathematics sets forth his landmark thesis that mathematics and logic are identical that what is commonly called mathematics is simply later deductions from logical premises.
Russell's classic The Principles of Mathematics sets forth his landmark thesis that mathematics and logic are identical that what is commonly called m...
|
cena:
124,90 zł |
 |
Proof, Logic and Formalization
ISBN: 9780415023351 / Angielski / Twarda / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book addresses the various problems associated with finding a philosophically satisfying account of mathematical proof. It brings together many of the most notable figures currently writing on this issue, in the field of philosophy of mathematics, in an attempt to explain why it is that mathematical proof is given prominence over other forms of mathematical justification. The difficulties that arise in accounts of proof range from the rightful role of logical inference and formalization to questions concerning the place of experience in proof and the possibility of eliminating...
This book addresses the various problems associated with finding a philosophically satisfying account of mathematical proof. It brings together many o...
|
cena:
707,28 zł |
 |
Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back
ISBN: 9780415298858 / Angielski / Twarda / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The conventional wisdom was that biology influenced mathematics and computer science. But a new approach has taken hold: that of transferring methods and tools from computer science to biology. The reverse trend is evident in Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology and Back. The contributors address the structural (syntactical) view of the domain. Mathematical linguistics and computer science can offer various tools for modeling complex macromolecules and for analyzing and simulating biological issues. This collection is valuable for...
The conventional wisdom was that biology influenced mathematics and computer science. But a new approach has taken hold: that of transferring methods ...
|
cena:
634,12 zł |
 |
Computable Structures and the Hyperarithmetical Hierarchy: Volume 144
ISBN: 9780444500724 / Angielski / Twarda / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical...
This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on compl...
|
cena:
721,86 zł |
 |
Satisfiabil Prob & Bool Tdm10h
ISBN: 9780444504104 / Angielski / Twarda / 482 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
1754,87 zł |
 |
Handbook of Automated Reasoning: Volume II
ISBN: 9780444508126 / Angielski / Twarda / 1188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and ma...
|
cena:
951,16 zł |
 |
Relation Algebras by Games: Volume 147
ISBN: 9780444509321 / Angielski / Twarda / 691 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Relation algebras are algebras arising from the study of binary relations.
They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and... Relation algebras are algebras arising from the study of binary relations.
They form a part of the field of algebraic logic, and have applications ... |
cena:
813,33 zł |
 |
The Many Valued and Nonmonotonic Turn in Logic: Volume 8
ISBN: 9780444516237 / Angielski / Twarda / 689 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure, sentences that are classically non-bivalent are allowed as inputs and outputs to consequence relations. Many-valued, dialetheic, fuzzy and quantum logics are, among other things, principled attempts to regulate the flow-through of sentences that are neither true nor false. On the second, or...
The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic....
|
cena:
1351,35 zł |
 |
An Ontological and Epistemological Perspective of Fuzzy Set Theory
ISBN: 9780444518910 / Angielski / Twarda / 514 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree. But in general membership degree is an imprecise notion which requires that Type 2 membership degrees be considered in most applications related to human decision making schemas. Even if the membership functions are restricted to be Type1, their combinations generate an interval - valued Type 2 membership. This is part of the general result that Classical equivalences breakdown in Fuzzy theory. Thus all classical formulas must be reassessed with an...
Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree. But in g...
|
cena:
1136,14 zł |
 |
Constructivism in Mathematics, Vol 1: Volume 121
ISBN: 9780444702661 / Angielski / Twarda / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of... These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamath... |
cena:
214,58 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
