» książki » Mathematics - Logic
topmenu
 |
Ultrafilters across Mathematics
ISBN: 9780821848333 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume originated from the International Congress ""ULTRAMATH: Applications of Ultrafilters and Ultraproducts in Mathematics"", which was held in Pisa, Italy, from June 1-7, 2008. The volume aims to present the state-of-the-art of applications in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. It contains two general surveys on ultrafilters in set theory and on the ultraproduct construction, as well as papers that cover additive and combinatorial number theory, nonstandard methods and stochastic differential equations, measure theory,...
This volume originated from the International Congress ""ULTRAMATH: Applications of Ultrafilters and Ultraproducts in Mathematics"", which was held in...
|
cena:
559,80 |
 |
The Structure of Relation Algebras Generated by Relativizations
ISBN: 9780821851777 / Angielski / Miękka / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The foundation of an algebraic theory of binary relations was laid by De Morgan, Peirce, and Schroder during the second half of the nineteenth century. Modern development of the subject as a theory of abstract algebras, called relation algebras, was undertaken by Tarski and his students. This book aims to analyze the structure of relation algebras that are generated by relativized subalgebras. As examples of their potential for applications, the main results are used to establish representation theorems for classes of relation algebras and to prove existence and uniqueness theorems for simple...
The foundation of an algebraic theory of binary relations was laid by De Morgan, Peirce, and Schroder during the second half of the nineteenth century...
|
cena:
559,80 |
 |
Advances in Logic
ISBN: 9780821838198 / Angielski / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The articles in this book are based on talks given at the North Texas Logic Conference in October of 2004. The main goal of the editors was to collect articles representing diverse fields within logic that would both contain significant new results and be accessible to readers with a general background in logic. Included in the book is a problem list, jointly compiled by the speakers, that reflects some of the most important questions in various areas of logic. This book should be useful to graduate students and researchers alike across the spectrum of mathematical logic.
The articles in this book are based on talks given at the North Texas Logic Conference in October of 2004. The main goal of the editors was to collect...
|
cena:
559,80 |
 |
Proceedings of the 12th Asian Logic Conference: Wellington, New Zealand, 15-20 December 2011
ISBN: 9789814449267 / Angielski / Twarda / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.
The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, an...
|
cena:
559,80 |
 |
Simple Groups of Finite Morley Rank
ISBN: 9780821843055 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book gives a detailed presentation of the classification of the simple groups of finite Morley rank which contain a nontrivial unipotent 2-subgroup. They are linear algebraic groups over algebraically closed fields of characteristic 2. Although the story told in the book is inspired by the classification of the finite simple groups, it goes well beyond this source of inspiration. Not only do the techniques adapted from finite group theory cover, in a peculiar way, various portions of the three generations of approaches to finite simple groups but model theoretic methods also play an...
The book gives a detailed presentation of the classification of the simple groups of finite Morley rank which contain a nontrivial unipotent 2-subgrou...
|
cena:
559,80 |
 |
Entailment, Vol. II: The Logic of Relevance and Necessity
ISBN: 9780691600420 / Angielski / Miękka / 778 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in the area. Originally the aim of Volume II was simply to cover certain topics not treated in the... In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twent... |
cena:
559,80 |
 |
Modern Trends in Constructive Function Theory
ISBN: 9781470425340 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the conference Constructive Functions 2014, held from May 26-30, 2014, at Vanderbilt University, Nashville, TN, in honor of Ed Saff's 70th birthday. The papers in this volume contain results on polynomial approximation, rational approximation, Log-optimal configurations on the sphere, random continued fractions, ratio asymptotics for multiple orthogonal polynomials, the bivariate trigonometric moment problem, minimal Riesz energy, random polynomials, Pade and Hermite-Pade approximation, orthogonal expansions, hyperbolic differential equations,...
This volume contains the proceedings of the conference Constructive Functions 2014, held from May 26-30, 2014, at Vanderbilt University, Nashville, TN...
|
cena:
559,80 |
 |
Principles of Applied Mathematics: Transformation and Approximation
ISBN: 9780738201290 / Angielski / Twarda / 624 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Principles of Applied Mathematics provides a comprehensive look at how classical methods are used in many fields and contexts. Updated to reflect developments of the last twenty years, it shows how two areas of classical applied mathematics--spectral theory of operators and asymptotic analysis--are useful for solving a wide range of applied science problems. Topics such as asymptotic expansions, inverse scattering theory, and perturbation methods are combined in a unified way with classical theory of linear operators. Several new topics, including wavelength analysis, multigrid...
Principles of Applied Mathematics provides a comprehensive look at how classical methods are used in many fields and contexts. Updated to refle...
|
cena:
559,80 |
 |
How to Measure the Infinite: Mathematics with Infinite and Infinitesimal Numbers
ISBN: 9789812836373 / Angielski / Twarda / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a comprehensive exposition of a new way of counting (countable) infinite sets, in particular, numerosities that maintain the ancient Aristotle's principle: "The whole is larger than its parts." It also contains an original introduction to nonstandard analysis. The basic principles are presented in an elementary way by using the ordinary language of mathematics. This is to be contrasted with other introductions, where technical notions from logic are used which are not familiar to most mathematicians.
This book is the result of a scientific collaboration among different... This book provides a comprehensive exposition of a new way of counting (countable) infinite sets, in particular, numerosities that maintain the ancien...
|
cena:
559,80 |
 |
Introduction to Mathematical Logic
ISBN: 9781482237726 / Angielski / Twarda / 513 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing. The sixth edition incorporates recent work on Godel's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition.... The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical lo... |
cena:
559,80 |
 |
Gamma-Lines: On the Geometry of Real and Complex Functions
ISBN: 9780415269698 / Angielski / Twarda / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The history of mathematics is, to a considerable extent, connected with the study of solutions of the equation f(x)=a=const for functions f(x) of one real or complex variable. Therefore, it is surprising that we know very little about solutions of u(x, y)=A=const for functions of two real variables. These two solutions, called level of sets, are very important with regard to applications in physics, biology and economics as they make a map of appropriate processes described by the function u(x, y) for given parameters (x, y). This text explores a concept, Gamma-lines, which generalizes the...
The history of mathematics is, to a considerable extent, connected with the study of solutions of the equation f(x)=a=const for functions f(x) of one ...
|
cena:
559,80 |
 |
Mathematical Modeling Using Fuzzy Logic: Applications to Sustainability
ISBN: 9781138390485 / Angielski / Twarda / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
559,80 |
 |
The Semantic Web - Iswc 2020: 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part II
ISBN: 9783030624651 / Angielski / Miękka / 721 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
560,12 |
 |
A Short Introduction to Intuitionistic Logic
ISBN: 9780306463945 / Angielski / Twarda / 131 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems....
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the mat...
|
cena:
563,56 |
![Algebraic Complexity Theory Peter Burgisser Peter B]rgisser Michael Clausen 9783540605829 Springer](/9783540605829_algebraic_complexity_theory.jpg "Algebraic Complexity Theory") |
Algebraic Complexity Theory
ISBN: 9783540605829 / Angielski / Twarda / 618 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive notion of algorithm. It is only in this century that metamathematical problems have led to the intensive search for a precise and sufficiently general formalization of the notions of computability and algorithm. In the 1930s, a number of quite different concepts for this purpose were pro posed, such as Turing machines, WHILE-programs, recursive functions, Markov algorithms, and Thue systems. All these concepts turned out to be equivalent, a...
The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuiti...
|
cena:
563,56 |
 |
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1
ISBN: 9783540609438 / Angielski / Twarda / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the...
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have ...
|
cena:
563,56 |
 |
Algorithms in Invariant Theory
ISBN: 9783211774168 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. J. Kung and G.-C. Rota, in their 1984 paper, write: Like the Arabian phoenix rising out of its ashes, the theory of invariants, pronounced dead at the turn of the century, is once again at the forefront of mathematics . The book of Sturmfels is both an easy-to-read textbook for invariant theory and a challenging research monograph that introduces a new approach to the algorithmic side of invariant theory. The Groebner bases method is the main tool by which the central problems in invariant theory become amenable to algorithmic solutions. Students will find the book an easy introduction to...
J. Kung and G.-C. Rota, in their 1984 paper, write: Like the Arabian phoenix rising out of its ashes, the theory of invariants, pronounced dead at the...
|
cena:
563,56 |
 |
Algebraic Complexity Theory
ISBN: 9783642082283 / Angielski / Miękka / 618 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive notion of algorithm. It is only in this century that metamathematical problems have led to the intensive search for a precise and sufficiently general formalization of the notions of computability and algorithm. In the 1930s, a number of quite different concepts for this purpose were pro posed, such as Turing machines, WHILE-programs, recursive functions, Markov algorithms, and Thue systems. All these concepts turned out to be equivalent, a...
The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuiti...
|
cena:
563,56 |
 |
Treatise on Intuitionistic Type Theory
ISBN: 9789400717350 / Niemiecki / Twarda / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuit...
|
cena:
563,56 |
 |
Combinatorial Set Theory: With a Gentle Introduction to Forcing
ISBN: 9781447121725 / Angielski / Twarda / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the sophisticated technique of forcing, originally developed by Paul Cohen, is explained in great detail. With this technique, one can show that certain statements, like the continuum hypothesis, are neither provable nor disprovable from the axioms of set theory. In the last part, some topics of classical...
This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. Th...
|
cena:
563,56 |
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
