Beschrijving
Popular Lectures on Mathematical Logic
Hao Wang
A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.
Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.
Hao Wang
A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.
Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.
Specificaties
- Auteur
- Hao Wang
- Uitgever
- Dover
- Jaar
- 1993 (orig. 1981)
- Druk
- -
- Aantal pagina's
- 281
- Taal
- Engels
- Doos
- B44
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Goniometrie voor M.O. en V.H.O.
Goniometrie voor M.O. en V.H.O.C.J. AldersI. De goniometrische functies van scherpe hoeken
II. De scheefhoekige driehoek
III. Algemene definities van de goniometrische functies
IV. De formules voor cos(a +- b) en sin(a +- b)
V. De formules voor sin(p) +- sin(q) en cos(p) +- cos(q)
VI. Goniometrische vergelijkingen
VII. Ongelijkheden
VIII. Limieten
IX. Grafieken
X. Aanvullingen: Cyclometrische functies, Probleem van Snellius
€2,00
Komplex-Symbolik
Komplex-SymbolikRoland WeitzenböckEine Einführung in die analytische Geometrie mehrdimensionaler Räume
I. Die Komplexe im dreidimensionalen Raume
II. Systeme von lineare Komplexen
III. Die quadratischen Komplexe
IV. Die linearen Komplexe im vierdimensionalen Raume
V. Die linearen Komplexe im R5
VI. Der Geradenkomplexe im Rn
VII. Der R5 als Komplexraum
VIII. Die analytische Geometrie
€2,00
Algebra - Zweiter Teil
Algebra - Zweiter TeilB.L. van der WaerdenUnter Benutzung von Vorlesungen von E. Artin und E. Noether
12. Lineare Algebra
13. Algebren
14. Darstellungstheorie der Gruppen und Algebren
15. Allgemeine Idealtheorie der kommutativen Ringe
16. Theorie der Polynomideale
17. Ganze algebraische Grössen
18. Bewertete Körper
19. Algebraische Funktionen einer Variablen
20. Topologische Algebra
€2,00
Pythagoras - Jaargang 34
Pythagoras - Jaargang 34Wiskundetijdschrift voor jongeren
De volledige jaargang 34, 1994-1995
€1,00