» książki » Mathematics - Set Theory
 |
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
ISBN: 9780521753739 / Angielski / Twarda / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of...
This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text i...
|
cena:
513,58 |
 |
Fundamentals of Mathematical Logic
ISBN: 9781568812625 / Angielski / Twarda / 894 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Godel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic."
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Godel's Incompleteness Theor...
|
cena:
535,46 |
 |
Intensionality: Lecture Notes in Logic 22
ISBN: 9781568812687 / Angielski / Miękka / 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:
233,60 |
 |
Nonstandard Methods and Applications in Mathematics: Lecture Notes in Logic 25
ISBN: 9781568812915 / Angielski / Twarda / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. In addition to the important philosophical achievement of providing a sound mathematical basis for using infinitesimals in analysis, the methodology is now well established as a tool for both research and teaching, and has become a fruitful field of investigation in its own right. This book is a collection of peer-reviewed papers solicited from some of the participants of this...
A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is on...
|
cena:
535,46 |
 |
Computability: Computable Functions, Logic, and the Foundations of Mathematics
ISBN: 9780981550725 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Now in a new edition --the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Godel's incompleteness theorems. Part IV considers...
Now in a new edition --the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivat...
|
cena:
215,00 |
 |
Ernst Zermelo Collected Works/Gesammelte Werke, Volume I: Set Theory, Miscellanea/Mengenlehre, Varia
ISBN: 9783540793830 / Angielski / Twarda / 680 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 |
 |
Introduction to Ramsey Spaces
ISBN: 9780691145426 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ramsey theory is a fast-growing area of combinatorics with deep connections to other fields of mathematics such as topological dynamics, ergodic theory, mathematical logic, and algebra. The area of Ramsey theory dealing with Ramsey-type phenomena in higher dimensions is particularly useful. Introduction to Ramsey Spaces presents in a systematic way a method for building higher-dimensional Ramsey spaces from basic one-dimensional principles. It is the first book-length treatment of this area of Ramsey theory, and emphasizes applications for related and surrounding fields of... Ramsey theory is a fast-growing area of combinatorics with deep connections to other fields of mathematics such as topological dynamics, ergodic th... |
cena:
292,07 |
 |
Lectures in Logic and Set Theory: Volume 2, Set Theory
ISBN: 9780521753746 / Angielski / Twarda / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel's construstive universe, numerous ways of viewing recursion and Cohen forcing).
Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style...
|
cena:
767,21 |
 |
Logic Colloquium 2000 (Hardcover): Lecture Notes in Logic, 19
ISBN: 9781568812519 / Angielski / Twarda / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special significance to the Mathematics and Logic communities. The presentations include tutorials and research articles from some of the world's preeminent logicians. Three long articles are based on tutorials given at the meeting, and present accessible expositions of devloping research in three active areas of...
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilb...
|
cena:
399,12 |
 |
Logic Colloquium '01: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Vienna, Austria, Augu
ISBN: 9781568812472 / Angielski / Twarda / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 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 research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The remaining articles cover seperate research topics in many areas of mathematical logic, including applications in Computer Science, Proof Theory, Set Theory, Model Theory,...
A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and...
|
cena:
253,08 |
 |
Fundamentals of Mathematics
ISBN: 9780470551387 / Angielski / Twarda / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An accessible introduction to abstract mathematics with an emphasis on proof writing
Addressing the importance of constructing and understanding mathematical proofs, Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers introduces key concepts from logic and set theory as well as the fundamental definitions of algebra to prepare readers for further study in the field of mathematics. The author supplies a seamless, hands-on presentation of number systems, utilizing key elements of logic and set theory and encouraging readers to abide by the... An accessible introduction to abstract mathematics with an emphasis on proof writing
Addressing the importance of constructing and und... |
cena:
419,92 |
 |
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
ISBN: 9780521168465 / Angielski / Miękka / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of...
This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text i...
|
cena:
297,26 |
 |
Beyond Geometry: A New Mathematics of Space and Form
ISBN: 9780816079452 / Angielski / Twarda / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Beyond Geometry describes how set-theoretic topology developed and why it now occupies a central place in mathematics. Describing axiomatic method as well as providing a definition of what a geometric property is, this new resource examines how early analysts incorporated geometric thinking into their development of the calculus. It also looks at the various mathematicians who struggled to develop a new conceptual framework for mathematics and examines one of the sub-disciplines of set-theoretic topology called dimension theory.
Beyond Geometry describes how set-theoretic topology developed and why it now occupies a central place in mathematics. Describing axiomatic method as ...
|
cena:
184,98 |
 |
Beschreibung Und Analyse Unscharfer Information: Statistische Methoden Für Unscharfe Daten
ISBN: 9783211238776 / Niemiecki / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. Datenqualitat, Genauigkeit bzw. Ungenauigkeit von Daten und anderen Informationen sind grundlegende Aspekte von Messungen und Beobachtungen, die quantitativ beschrieben werden mussen, um unrealistische Resultate von Analysen zu vermeiden. In vielen praktischen Anwendungen erscheint die Angabe reeller Zahlen als vorliegende Datenelemente fragwurdig. Die Verwendung von unscharfen Zahlen ermoglicht es, die Unscharfe in die Modellbildung miteinzubeziehen und erlaubt somit eine realistischere Beschreibung von Daten. Das Buch ist fur Leser geschrieben, die mit elementaren stochastischen... Datenqualitat, Genauigkeit bzw. Ungenauigkeit von Daten und anderen Informationen sind grundlegende Aspekte von Messungen und Beobachtungen, die qu... |
cena:
207,36 |
 |
Ernst Zermelo - Collected Works/Gesammelte Werke II: Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung,
ISBN: 9783540708551 / Angielski / Twarda / 781 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition of his collected papers consists of two volumes. The present Volume II covers Ernst Zermelo's work on the calculus of variations, applied mathematics, and physics.
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. Ho... |
cena:
806,99 |
 |
Proofs, Categories and Computations. Essays in Honor of Grigori Mints
ISBN: 9781848900127 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Grigori Mints is one the most distinguished proof theorists of our time. He has contributed significantly not only to the subject in general but also to most of its applications. This collection of papers by a number of Mints' colleagues worldwide are both a personal tribute and a testimony to his breadth and importance by dealing with all areas in which Mints has worked: from proof-theoretical reductions through non-classical logics and category theory to automated theorem proving and proof mining, i.e., the extraction of mathematical information from formal proofs. The collection itself is...
Grigori Mints is one the most distinguished proof theorists of our time. He has contributed significantly not only to the subject in general but also ...
|
cena:
135,58 |
 |
Logic Colloquium '02: Lecture Notes in Logic 27
ISBN: 9781568813004 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.
Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emp...
|
cena:
399,12 |
 |
Logic Colloquium '02: Lecture Notes in Logic 27
ISBN: 9781568813011 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.
Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emp...
|
cena:
223,87 |
 |
Inexhaustibility: A Non-Exhaustive Treatment : Lecture Notes in Logic 16
ISBN: 9781568811758 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Godels Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for mathematics that we recognize as correct can be properly extended by adding as a new axiom a formal statement expressing that the original system is consistent. This suggests that our mathematical knowledge is inexhaustible, an essentially philosophical topic to which this book is devoted. presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept...
Godels Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any...
|
cena:
233,60 |
 |
Logic Colloquium '99: Lecture Notes in Logic 17
ISBN: 9781568811994 / Angielski / Twarda / 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:
403,98 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
