Електронна книга > Наука > Математика > Martin Ziegler: Mathematische Logik (PDF)

Martin Ziegler
Mathematische Logik [PDF ebook]

Підтримка

Обкладинка 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

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Німецька ● Формат PDF ● ISBN 9783034606523 ● Видавець Birkhauser Basel ● Опубліковано 2011 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6358835 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

49 788 Електронні книги в цій категорі

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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. …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Наступна сторінка >>>