» książki » Mathematics - Set Theory
 |
Lectures on Mathematical Logic, Volume II
ISBN: 9789056992675 / Angielski / Twarda / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them can be expressed as logical rules. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.
In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguisti...
|
cena:
563,24 |
 |
Theory of Fuzzy Differential Equations and Inclusions
ISBN: 9780415300735 / Angielski / Twarda / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fuzzy differential functions are applicable to real-world problems in engineering, computer science, and social science. That relevance makes for rapid development of new ideas and theories. This volume is a timely introduction to the subject that describes the current state of the theory of fuzzy differential equations and inclusions and provides a systematic account of recent developments. The chapters are presented in a clear and logical way and include the preliminary material for fuzzy set theory; a description of calculus for fuzzy functions, an investigation of the basic theory of...
Fuzzy differential functions are applicable to real-world problems in engineering, computer science, and social science. That relevance makes for rapi...
|
cena:
670,22 |
 |
Variational Problems in Topology: The Geometry of Length, Area and Volume
ISBN: 9782881247408 / Angielski / Twarda / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many of the modern variational problems in topology arise in different but overlapping fields of scientific study: mechanics, physics and mathematics. In this work, Professor Fomenko offers a concise and clean explanation of some of these problems (both solved and unsolved), using current methods and analytical topology. The author's skillful exposition gives an unusual motivation to the theory expounded, and his work is recommended reading for specialists and nonspecialists alike, involved in the fields of physics and mathematics at both undergraduate and graduate levels. Many of the modern variational problems in topology arise in different but overlapping fields of scientific study: mechanics, physics and mathemati... |
cena:
1910,12 |
 |
Topics in Set Theory: Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-Functions
ISBN: 9783540541219 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. During the Fall Semester of 1987, Stevo Todorcevic gave a series of lectures at the University of Colorado. These notes of the course, taken by the author, give a novel and fast exposition of four chapters of Set Theory. The first two chapters are about the connection between large cardinals and Lebesque measure. The third is on forcing axioms such as Martin's axiom or the Proper Forcing Axiom. The fourth chapter looks at the method of minimal walks and p-functions and their applications. The book is addressed to researchers and graduate students interested in Set Theory, Set-Theoretic...
During the Fall Semester of 1987, Stevo Todorcevic gave a series of lectures at the University of Colorado. These notes of the course, taken by the au...
|
cena:
100,44 |
 |
Truth in Mathematics
ISBN: 9780198514763 / Angielski / Twarda / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The nature of truth in mathematics has exercised the minds of thinkers from at least the time of the ancient Greeks. The great advances in mathematics and philosophy in the twentieth century and in particular the work by Godel and the development of the notion of independence in mathematics have led to new and complex views on this question. Collecting the work of a number of outstanding mathematicians and philosophers, including Yurii Manin, Vaughan Jones, and Per Martin-Lof, this volume provides an overview of the forefront of current thinking and a valuable introduction for researchers in...
The nature of truth in mathematics has exercised the minds of thinkers from at least the time of the ancient Greeks. The great advances in mathematics...
|
cena:
1630,28 |
 |
Mathematical Logic
ISBN: 9781568811352 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and accessible fashion, concentrating on what he views as the central topics of mathematical logic: proof theory, model theory, recursion theory, axiomatic number theory, and set theory. There are many...
This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewp...
|
cena:
249,73 |
 |
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:
516,69 |
 |
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:
587,73 |
 |
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:
235,04 |
 |
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:
538,76 |
 |
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,58 |
 |
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:
644,07 |
 |
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:
293,86 |
 |
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:
771,90 |
 |
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:
401,56 |
 |
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:
254,64 |
 |
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:
422,49 |
 |
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:
298,06 |
 |
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:
186,11 |
 |
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:
206,88 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
