Ebook > Sciences > Math > Martin Ziegler: Mathematische Logik (PDF)

Martin Ziegler
Mathematische Logik [PDF ebook]

Support

Cover of Martin Ziegler: Mathematische Logik (PDF)

Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Prädikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der in den natürlichen Zahlen definierbaren Teilmengen eingeführt, um schließlich die Gödelschen Unvollständigkeitssätze zu beweisen. Durch seinen klaren Stil und die eingefügten Übungsaufgaben ist dieses Buch eine konzise Einführung in diese Grundlagen der gesamten Mathematik.

€13.97

Buy this ebook and get 1 more FREE!

Language German ● Format PDF ● ISBN 9783034606523 ● Publisher Birkhauser Basel ● Published 2011 ● Downloadable 3 times ● Currency EUR ● ID 6358835 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

48,151 Ebooks in this category

Cover of Gennadiy Vladimirovich Zhizhin: Normal Partitions and Hierarchical Fillings of N-Dimensional Spaces

Gennadiy Vladimirovich Zhizhin: Normal Partitions and Hierarchical Fillings of N-Dimensional Spaces

In the study of the structure of substances in recent decades, phenomena in the higher dimension was discovered that was previously unknown. These include spontaneous zooming (scaling processes), …

Cover of X. Cao: Rings, Groups, and Algebras

X. Cao: Rings, Groups, and Algebras

‘Integrates and summarizes the most significant developments made by Chinese mathematicians in rings, groups, and algebras since the 1950s. Presents both survey articles and recent research results. …

Cover of Mevin B. Hooten & Devin S. (Marine Mammal Laboratory, Alaska Fisheries Science Center, NOAA Fisheries, USA) Johnson: Animal Movement

Mevin B. Hooten & Devin S. (Marine Mammal Laboratory, Alaska Fisheries Science Center, NOAA Fisheries, USA) Johnson: Animal Movement

The study of animal movement has always been a key element in ecological science, because it is inherently linked to critical processes that scale from individuals to populations and communities to e …

Cover of Michael Joswig: Essentials of Tropical Combinatorics

Michael Joswig: Essentials of Tropical Combinatorics

The goal of this book is to explain, at the graduate student level, connections between tropical geometry and optimization. Building bridges between these two subject areas is fruitful in two ways. …

Cover of Nitis Mukhopadhyay: Probability and Statistical Inference

Nitis Mukhopadhyay: Probability and Statistical Inference

Priced very competitively compared with other textbooks at this level! This gracefully organized textbook reveals the rigorous theory of probability and statistical inference in the style of a tutori …

Cover of Zbigniew Ficek: Problems and Solutions in Quantum Physics

Zbigniew Ficek: Problems and Solutions in Quantum Physics

Readers studying the abstract field of quantum physics need to solve plenty of practical, especially quantitative, problems. This book contains tutorial problems with solutions for the textbook …

Cover of Vladimir (Ohio University) Vinogradov: Refined Large Deviation Limit Theorems

Vladimir (Ohio University) Vinogradov: Refined Large Deviation Limit Theorems

This is a developing area of modern probability theory, which has applications in many areas. This volume is devoted to the systematic study of results on large deviations in situations where …

Cover of Paul-Jean (UniversitE d¿Aix-Marseille III, Marseille, France) Cahen & Marco (Terza Universita degli Studi di Roma, Italy) Fontana: Commutative Ring Theory

Paul-Jean (UniversitE d¿Aix-Marseille III, Marseille, France) Cahen & Marco (Terza Universita degli Studi di Roma, Italy) Fontana: Commutative Ring Theory

Presents the proceedings of the Second International Conference on Commutative Ring Theory in Fes, Morocco. The text details developments in commutative algebra, highlighting the theory of rings and …

Cover of Adams Colin & Franzosa Robert: Calculus: Late Transcendentals Multivariable

Adams Colin & Franzosa Robert: Calculus: Late Transcendentals Multivariable

Cover of Olga Oleinik & I.G. Petrovskii: I.G.Petrovskii:Selected Wrks P

Olga Oleinik & I.G. Petrovskii: I.G.Petrovskii:Selected Wrks P

This book contains the major works of Ivan Georgievich Petrowsky on systems of partial differential equations and algebraic geometry. The articles are of crucial importance for the topology of real …