Heinz-Dieter Ebbinghaus – författare
Visar alla böcker från författaren Heinz-Dieter Ebbinghaus. Handla med fri frakt och snabb leverans.
30 produkter
Numbers
Av Heinz-Dieter Ebbinghaus, Hans Hermes m. fl.
Häftad, 1990
879 kr
Lägg i varukorg
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 …
Numbers
Av Reinhold Remmert, Alexander Prestel m. fl.
E-bok, 2012
1059 kr
Lägg i varukorg
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 …
Mathematical Logic
Av Heinz-Dieter Ebbinghaus, Jörg Flum m. fl.
Inbunden, 2021
769 kr
Lägg i varukorg
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In …
Mathematical Logic
Av Wolfgang Thomas, Jorg Flum m. fl.
E-bok, 2021
734 kr
Lägg i varukorg
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In …
Mathematical Logic
Av Heinz-Dieter Ebbinghaus, Jörg Flum m. fl.
Häftad, 2022
551 kr
Lägg i varukorg
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In …
Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Av Heinz-Dieter Ebbinghaus, Gert H. Müller m. fl.
Häftad, 1985
552 kr
Lägg i varukorg
Finite Model Theory
Second Edition
Av Heinz-Dieter Ebbinghaus, Jörg Flum
Inbunden, 2005
1970 kr
Lägg i varukorg
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 …
Finite Model Theory
Second Edition
Av Jorg Flum, Heinz-Dieter Ebbinghaus
E-bok, 2005
2599 kr
Lägg i varukorg
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 …
Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Av Gerald E. Sacks, Gert H. Muller m. fl.
E-bok, 2006
712 kr
Lägg i varukorg
Ernst Zermelo
An Approach to His Life and Work
E-bok, 2007
870 kr
Lägg i varukorg
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 …
Zahlen
Av Heinz-Dieter Ebbinghaus, Hans Hermes m. fl.
Häftad, 1992
568 kr
Lägg i varukorg
Die Schwierigkeit Mathematik zu lernen und zu lehren ist jedem bekannt, der einmal mit diesem Fach in Berührung gekommen ist. Begriffe wie "reelle oder komplexe Zahlen, Pi" sind zwar jedem geläufig, aber nur wenige wissen, was sich wirklich dahinter verbirgt. Die Autoren dieses Bandes geben jedem, …
Ernst Zermelo - Collected Works/Gesammelte Werke II
Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Av Ernst Zermelo, Heinz-Dieter Ebbinghaus m. fl.
Inbunden, 2013
2188 kr
Lägg i varukorg
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 …
Ernst Zermelo - Collected Works/Gesammelte Werke II
Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Av Ernst Zermelo, Akihiro Kanamori m. fl.
E-bok, 2013
2925 kr
Lägg i varukorg
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 …
Ernst Zermelo - Collected Works/Gesammelte Werke
Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia
Av Ernst Zermelo, Heinz-Dieter Ebbinghaus m. fl.
Inbunden, 2010
1861 kr
Lägg i varukorg
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 …
Ernst Zermelo - Collected Works/Gesammelte Werke
Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia
Av Ernst Zermelo, Craig G. Fraser m. fl.
E-bok, 2010
2351 kr
Lägg i varukorg
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 …
Ernst Zermelo - Collected Works/Gesammelte Werke
Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia
Av Ernst Zermelo, Heinz-Dieter Ebbinghaus m. fl.
Häftad, 2012
1975 kr
Lägg i varukorg
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 …
Ernst Zermelo - Collected Works/Gesammelte Werke II
Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Av Ernst Zermelo, Heinz-Dieter Ebbinghaus m. fl.
Häftad, 2015
2188 kr
Lägg i varukorg
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 …
Zahlen
Av Reinhold Remmert, Alexander Prestel m. fl.
E-bok, 2013
574 kr
Lägg i varukorg
Die Schwierigkeit Mathematik zu lernen und zu lehren ist jedem bekannt, der einmal mit diesem Fach in Berührung gekommen ist. Begriffe wie "reelle oder komplexe Zahlen, Pi" sind zwar jedem geläufig, aber nur wenige wissen, was sich wirklich dahinter verbirgt. Die Autoren dieses Bandes geben jedem, …
Zahlen
Av Reinhold Remmert, Alexander Prestel m. fl.
E-bok, 2013
554 kr
Lägg i varukorg
Aus den Besprechungen: "Ein Mathematikbuch der Superlativen, für Mathematiker (jeder Schattierung) und Nichtmathematiker (denen völlig unbekannte Dimensionen der Mathematik eröffnet werden - künstlerische, magische, historische, philosophische, wissenschaftstheoretische, "unlogische", …
Finite Model Theory
First Edition
Av Jorg Flum, Heinz-Dieter Ebbinghaus
E-bok, 2013
1174 kr
Lägg i varukorg
Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their …
Ω-Bibliography of Mathematical Logic
Model Theory
Häftad, 2013
551 kr
Lägg i varukorg
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 …
Ernst Zermelo
An Approach to His Life and Work
Av Heinz Dieter Ebbinghaus, Volker Peckhaus
Inbunden, 2015
643 kr
Lägg i varukorg
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 …
Ernst Zermelo
An Approach to His Life and Work
Av Volker Peckhaus, Heinz Dieter Ebbinghaus
E-bok, 2015
815 kr
Lägg i varukorg
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 …
Ernst Zermelo
An Approach to His Life and Work
Av Heinz Dieter Ebbinghaus, Volker Peckhaus
Häftad, 2016
607 kr
Lägg i varukorg
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 …
Einführung in die mathematische Logik
Av Heinz-Dieter Ebbinghaus, Jörg Flum m. fl.
Häftad, 2018
466 kr
Lägg i varukorg
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende …
Einführung in die mathematische Logik
Av Wolfgang Thomas, Jorg Flum m. fl.
E-bok, 2018
489 kr
Lägg i varukorg
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende …
Einführung in die Mengenlehre
Häftad, 2021
364 kr
Lägg i varukorg
Die Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlagendisziplin, die für alle mathematischen Gebiete ein begriffliches Gerüst bereithält. In dieser Universalität offenbart sich eine große Tragweite des Mengenbegriffs und seiner Axiomatisierung. Die …
Einführung in die Mengenlehre
E-bok, 2021
359 kr
Lägg i varukorg
Die Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlagendisziplin, die für alle mathematischen Gebiete ein begriffliches Gerüst bereithält. In dieser Universalität offenbart sich eine große Tragweite des Mengenbegriffs und seiner Axiomatisierung. Die …
Ernst Zermelo
An Approach to His Life and Work
Häftad, 2010
911 kr
Tillfälligt slut
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 …
