» książki » Mathematics - Set Theory
topmenu
 |
Logic Colloquium '99: Lecture Notes in Logic 17
ISBN: 9781568812038 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The other articles cover current reseach topics in all areas of mathematical logic, including logic in computer science, proof theory, set theory, model theory,...
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and...
|
cena:
224,33 |
 |
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
ISBN: 9781568812762 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion...
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamenta...
|
cena:
241,27 |
 |
Model Theory of Fields: Lecture Notes in Logic 5, Second Edition
ISBN: 9781568812816 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area, concentrating on connections to stability theory.
The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields t...
|
cena:
536,56 |
 |
Logic Colloquium '03: Lecture Notes in Logic 24
ISBN: 9781568812939 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials and research articles from some of the world's preeminent logicians. One article is a tutorial on finite model theory and query languages that lie between first order and second order logic. The other articles cover current research topics in all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Computability Theory, and Philosophy.
A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials a...
|
cena:
287,74 |
 |
Logic Colloquium '03 : Lecture Notes in Logic 24
ISBN: 9781568812946 / Angielski / Miękka / 417 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains the papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic. This book includes tutorials and research articles from some of the world's preeminent logicians. It also covers research topics in almost all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Philosophy.
Contains the papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic. This book includes tutorials and research art...
|
cena:
146,29 |
 |
Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, Held October 18-22, 2003, Lecture Notes
ISBN: 9781568812953 / Angielski / Twarda / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This proceedings volume contains research papers in mathematical logic, especially in model theory and its applications to algebra and formal theories of arithmetic. Other papers address interpretability theory, computable analysis, modal logic, and the history of mathematical logic in Iran. The conference was held in Tehran, Iran, in October 2003, with the expressed purpose of bringing together researchers with connections to Iranian logicians and promoting further research in mathematical logic in Iran.
This proceedings volume contains research papers in mathematical logic, especially in model theory and its applications to algebra and formal theories...
|
cena:
268,23 |
 |
Logic in Tehran : Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26
ISBN: 9781568812960 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Based on a conference that was held in Tehran, Iran, this collection of papers gives emphasis to model theory and its applications to algebra and formal theories of arithmetic. Other papers address category theory, computability, modal logic, and the history of mathematical logic in Iran.
Based on a conference that was held in Tehran, Iran, this collection of papers gives emphasis to model theory and its applications to algebra and form...
|
cena:
146,29 |
 |
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
ISBN: 9781568812755 / Angielski / Twarda / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion...
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamenta...
|
cena:
536,56 |
 |
Reverse Mathematics 2001: Lecture Notes in Logic 21
ISBN: 9781568812632 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading researchers. These articles exhibit the exciting recent developments in reverse mathematics and subsystems of second order arithmetic.
Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms...
|
cena:
404,81 |
 |
Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16
ISBN: 9781568811741 / Angielski / Twarda / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text is concerned with the concept that our mathematical knowledge is inexhaustible. Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems.
This text is concerned with the concept that our mathematical knowledge is inexhaustible. Basic material in predicate logic, set theory and recursion ...
|
cena:
487,78 |
 |
Complex Analysis for Math & Engineering 6e
ISBN: 9781449604455 / Angielski / Twarda / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intended For The Undergraduate Student Majoring In Mathematics, Physics Or Engineering, The Sixth Edition Of Complex Analysis For Mathematics And Engineering Continues To Provide A Comprehensive, Student-Friendly Presentation Of This Interesting Area Of Mathematics. The Authors Strike A Balance Between The Pure And Applied Aspects Of The Subject, And Present Concepts In A Clear Writing Style That Is Appropriate For Students At The Junior/Senior Level. Through Its Thorough, Accessible Presentation And Numerous Applications, The Sixth Edition Of This Classic Text Allows Students To Work Through...
Intended For The Undergraduate Student Majoring In Mathematics, Physics Or Engineering, The Sixth Edition Of Complex Analysis For Mathematics And Engi...
|
cena:
673,13 |
 |
The Incompleteness Phenomenon
ISBN: 9781568810294 / Angielski / Twarda / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designed to be the foundation for a two-term course, this book investigates mathematical logic. The basic premise of mathematical logic is that every reasonable mathematical system is intrinsically incomplete. This premise forms the basis of Godel's famous incompleteness theorem.
Designed to be the foundation for a two-term course, this book investigates mathematical logic. The basic premise of mathematical logic is that every ...
|
cena:
302,37 |
 |
Set Theory: The Third Millennium Edition, Revised and Expanded
ISBN: 9783642078996 / Angielski / Miękka / 772 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph covers the recent major advances in various areas of set theory. From the reviews: "One of the classical textbooks and reference books in set theory....The present 'Third Millennium' edition...is a whole new book. In three parts the author offers us what in his view every young set theorist should learn and master....This well-written book promises to influence the next generation of set theorists, much as its predecessor has done." --MATHEMATICAL REVIEWS This monograph covers the recent major advances in various areas of set theory. From the reviews: "One of the classical textbooks a... |
cena:
806,99 |
 |
The Mathematics of Infinity: A Guide to Great Ideas
ISBN: 9781118204481 / Angielski / Twarda / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presenting an intriguing account of the notions of infinity, The Mathematics of Infinity: A Guide to Great Ideas, Second Edition is an insightful supplement for mathematics courses on set theory at the undergraduate level.
Presenting an intriguing account of the notions of infinity, The Mathematics of Infinity: A Guide to Great Ideas, Second Edition is an insightful supp...
|
cena:
448,64 |
 |
Model Theory
ISBN: 9780486488219 / Angielski / Miękka / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This bestselling textbook for higher-level courses was extensively revised in 1990 to accommodate developments in model theoretic methods. Topics include models constructed from constants, ultraproducts, and saturated and special models. 1990 edition.
This bestselling textbook for higher-level courses was extensively revised in 1990 to accommodate developments in model theoretic methods. Topics incl...
|
cena:
134,68 |
 |
The Obelus Set Theory of Equity Distribution: The Obelus Set Theory of Equity Distributionthe Obelus Set Theory of Equity Distribution: ...a Paradigm
ISBN: 9781456787257 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The interactive process of sharing can be represented by the arithmetic operation commonly called division. It involves the separation of an object into two or more parts. When subjected to quantitative and qualitative analysis under a condition of equity distribution, the process of sharing does indeed result in an outcome that is not only realistic but also natural to understand. Unfortunately, the contemporary quasi-analytic approach to division yields disreputable and tainted groundwork arithmetical bugs which invariably trigger when stirred up by cut-off point situations such as division...
The interactive process of sharing can be represented by the arithmetic operation commonly called division. It involves the separation of an object in...
|
cena:
134,86 |
 |
Intensionality : Lecture Notes in Logic 22
ISBN: 9781568812670 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume highlights the particular interdisciplinary nature of intensionality with articles spanning the areas of philosophy, linguistics, mathematics, and computer science.
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality...
|
cena:
536,56 |
 |
Mengenlehre
ISBN: 9783110039115 / Niemiecki / Twarda / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
468,31 |
 |
Ernst Zermelo - Collected Works/Gesammelte Werke: Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia
ISBN: 9783642262098 / Angielski / Miękka / 654 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known for the first formulation of the axiom of choice. However, his papers include also pioneering work in applied mathematics and mathematical physics. This edition of his collected papers will consist of two volumes. Besides providing a biography, the present Volume I covers set theory, the foundations of mathematics, and pure mathematics and is supplemented by selected items from his Nachlass and part of his translations of Homer's Odyssey. Volume II will contain his work in the calculus of... Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known for the first formulation of the axiom of choice. Howev... |
cena:
645,58 |
 |
Quantitative Logic and Soft Computing - Proceedings of the Ql&sc 2012
ISBN: 9789814401524 / Angielski / Twarda / 724 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The QL&SC 2012 is a major symposium for scientists, and practitioners all around the world to present their latest researches, results, ideas, developments and applications in such areas as quantitative logic, many-valued logic, fuzzy logic, quantification of software, artificial intelligence, fuzzy sets and systems and soft computing. This invaluable book provides a broad introduction to the fuzzy reasoning and soft computing. It is certain one should not go too far in approximation and optimization, and a certain degree must be kept in mind. This is the essential idea of quantitative logic...
The QL&SC 2012 is a major symposium for scientists, and practitioners all around the world to present their latest researches, results, ideas, develop...
|
cena:
1121,89 |
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
