Wyniki wyszukiwania:
wyszukanych pozycji: 15
 |
Ernst Zermelo: An Approach to His Life and Work
ISBN: 9783642080500 / Angielski / Miękka / 2010 / 356 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Ernst Zermelo (1871-1953) is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and mathematical physics. His dissertation, for example, promoted the calculus of variations, and he created the pivotal method in the theory of rating systems. This biography attempts to shed light on all facets of Zermelo's life and achievements. Personal and scientific aspects are kept separate as far as coherence allows, in order to enable the reader to follow the one or the other of these threads. The... Ernst Zermelo (1871-1953) is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in a... |
cena:
229,69 zł |
 |
Einführung in Die Mengenlehre
ISBN: 9783662638651 / Niemiecki / Miękka / 2021 / 265 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
118,04 zł |
 |
Ω-Bibliography of Mathematical Logic: Model Theory
ISBN: 9783662090602 / Angielski / Miękka / 2013 / 617 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica- tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic- ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone...
Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of ...
|
cena:
191,40 zł |
 |
Einführung in Die Mathematische Logik
ISBN: 9783662580288 / Niemiecki / Miękka / 2018 / 367 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
143,08 zł |
 |
Ernst Zermelo Collected Works/Gesammelte Werke, Volume I: Set Theory, Miscellanea/Mengenlehre, Varia
ISBN: 9783540793830 / Angielski / Twarda / 2010 / 680 str. Termin realizacji zamówienia: ok. 20 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:
574,29 zł |
 |
Ernst Zermelo - Collected Works/Gesammelte Werke: Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia
ISBN: 9783642262098 / Angielski / Miękka / 2012 / 654 str. Termin realizacji zamówienia: ok. 20 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:
574,29 zł |
 |
Ernst Zermelo: An Approach to His Life and Work
ISBN: 9783662479964 / Angielski / Twarda / 2015 / 384 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and mathematical physics. His dissertation, for example, promoted the calculus of variations, and he created the pivotal method in the theory of rating systems. The presentation of Zermelo's work explores motivations, aims, acceptance, and influence. Selected proofs and information gleaned from letters add to the analysis. The... This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of ... |
cena:
191,40 zł |
 |
Ernst Zermelo: An Approach to His Life and Work
ISBN: 9783662500972 / Angielski / Miękka / 2016 / 384 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
191,40 zł |
 |
Mathematical Logic
ISBN: 9783030738389 / Angielski / Twarda / 2021 / 304 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
248,84 zł |
 |
Finite Model Theory: Second Edition
ISBN: 9783540287872 / Angielski / Twarda / 2005 / 360 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Finite model theory, the model theory of finite structures, has roots in clas- sical model theory; however, its systematic development was strongly influ- enced by research and questions of complexity theory and of database theory. Model theory or the theory of models, as it was first named by Tarski in 1954, may be considered as the part of the semantics of formalized languages that is concerned with the interplay between the syntactic structure of an axiom system on the one hand and (algebraic, settheoretic, . . . ) properties of its models on the other hand. As it turned out, first-order...
Finite model theory, the model theory of finite structures, has roots in clas- sical model theory; however, its systematic development was strongly in...
|
cena:
689,15 zł |
 |
Mathematical Logic
ISBN: 9780387942582 / Angielski / Twarda / 1994 / 291 str. Termin realizacji zamówienia: ok. 20 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:
229,54 zł |
 |
Numbers
ISBN: 9780387974972 / Angielski / Miękka / 1990 / 398 str. Termin realizacji zamówienia: ok. 20 dni roboczych. A book about numbers sounds rather dull. This one is not. Instead it is a lively story about one thread of mathematics-the concept of "number" told by eight authors and organized into a historical narrative that leads the reader from ancient Egypt to the late twentieth century. It is a story that begins with some of the simplest ideas of mathematics and ends with some of the most complex. It is a story that mathematicians, both amateur and professional, ought to know. Why write about numbers? Mathematicians have always found it diffi cult to develop broad perspective about their subject....
A book about numbers sounds rather dull. This one is not. Instead it is a lively story about one thread of mathematics-the concept of "number" told by...
|
cena:
287,12 zł |
 |
Mathematical Logic
ISBN: 9783030738419 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 20 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:
191,40 zł |
 |
Zahlen
ISBN: 9783540556541 / Niemiecki / Twarda / 1992 / 337 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Die Schwierigkeit Mathematik zu lernen und zu lehren ist jedem bekannt, der einmal mit diesem Fach in Beruhrung gekommen ist. Begriffe wie "reelle oder komplexe Zahlen, Pi" sind zwar jedem gelaufig, aber nur wenige wissen, was sich wirklich dahinter verbirgt. Die Autoren dieses Bandes geben jedem, der mehr wissen will als nur die Hulle der Begriffe, eine meisterhafte Einfuhrung in die Magie der Mathematik und schlagen einzigartige Brucken fur Studenten. Die Rezensenten der ersten beiden Auflagen uberschlugen sich. "Die Schwierigkeit Mathematik zu lernen und zu lehren ist jedem bekannt, der einmal mit diesem Fach in Beruhrung gekommen ist. Begriffe wie "reelle ... |
cena:
178,88 zł |
 |
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
ISBN: 9783540156734 / Angielski / Miękka / 1985 / 420 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
191,25 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
