Catalog > Ciência > Matemática > Martin Ziegler: Mathematische Logik (PDF)

Martin Ziegler
Mathematische Logik [PDF ebook]

Apoio

Capa do 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.

€14.17

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Alemão ● Formato PDF ● ISBN 9783034606523 ● Editora Birkhauser Basel ● Publicado 2011 ● Carregável 3 vezes ● Moeda EUR ● ID 6358835 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

49.788 Ebooks nesta categoria

Capa do Mark (University of California, Los Angeles, USA; formerly, National Academy of Sciences of Ukraine) Burgin: Semitopological Vector Spaces

Mark (University of California, Los Angeles, USA; formerly, National Academy of Sciences of Ukraine) Burgin: Semitopological Vector Spaces

This new volume shows how it is possible to further develop and essentially extend the theory of operators in infinite-dimensional vector spaces, which plays an important role in mathematics, physics …

Capa do S. Coen: Geometry and Complex Variables

S. Coen: Geometry and Complex Variables

This reference presents the proceedings of an international meeting on the occasion of the University of Bologna”s ninth centennial-highlighting the latest developments in the field ofgeometry and c …

Capa do Daniel (The Aerospace Corporation, El Segundo, California, USA) Houston & Raymond J. (Naval Postgraduate School, Monterey, California, USA) Madachy: What Every Engineer Should Know About Modeling and Simulation

Daniel (The Aerospace Corporation, El Segundo, California, USA) Houston & Raymond J. (Naval Postgraduate School, Monterey, California, USA) Madachy: What Every Engineer Should Know About Modeling and Simulation

This practical book presents fundamental concepts and issues in computer modeling and simulation (M&S) in a simple and practical way for engineers, scientists, and managers who wish to apply simulati …

Capa do Prabir K. (Dept. of Food Science, Minas Gerais, Brazil) Chandra & R. Paul (University of California, Davis, USA) Singh: Applied Numerical Methods for Food and Agricultural Engineers

Prabir K. (Dept. of Food Science, Minas Gerais, Brazil) Chandra & R. Paul (University of California, Davis, USA) Singh: Applied Numerical Methods for Food and Agricultural Engineers

Written from the expertise of an agricultural engineering background, this exciting new book presents the most useful numerical methods and their complete program listings. …

Capa do M.D.S. (Ecole Polytechnique, Montreal, Canada) Aliyu: Nonlinear H-Infinity Control, Hamiltonian Systems and Hamilton-Jacobi Equations

M.D.S. (Ecole Polytechnique, Montreal, Canada) Aliyu: Nonlinear H-Infinity Control, Hamiltonian Systems and Hamilton-Jacobi Equations

A comprehensive overview of nonlinear H∞ control theory for both continuous-time and discrete-time systems, Nonlinear H∞-Control, Hamiltonian Systems and Hamilton-Jacobi Equations covers topics as di …

Capa do Hadley Wickham: Advanced R, Second Edition

Hadley Wickham: Advanced R, Second Edition

Advanced R helps you understand how R works at a fundamental level. It is designed for R programmers who want to deepen their understanding of the language, and programmers experienced in other langu …

Capa do Michal Ceppan & Marek Liska: Applications of Numerical Methods in Molecular Spectroscopy

Michal Ceppan & Marek Liska: Applications of Numerical Methods in Molecular Spectroscopy

Applications of Numerical Methods in Molecular Spectroscopy provides a mathematical background, theoretical perspective, and review of spectral data processing methods. The book discusses methods of …

Capa do Henning Bumann & Malte Grosser: Advanced R Solutions

Henning Bumann & Malte Grosser: Advanced R Solutions

This book offers solutions to all 284 exercises in Advanced R, Second Edition . All the solutions have been carefully documented and made to be as clear and accessible as possible. Working through th …

Capa do Giovanni Dore: Differential Equations in Banach Spaces

Giovanni Dore: Differential Equations in Banach Spaces

This reference – based on the Conference on Differential Equations, held in Bologna – provides information on current research in parabolic and hyperbolic differential equations. Presenting methods a …

Capa do Richard Vaillencourt: Simple Solutions to Energy Calculations

Richard Vaillencourt: Simple Solutions to Energy Calculations

Updated with new material, this book shares the author’s secrets for simplifying complex energy calculations, and shows you how to use these time-saving methods. It shows you how to cut through the m …

Próxima página >>>