Inbunden, Tyska, 2023
608 kr
Skickas inom 3-6 vardagar
Dirk W. Hoffmann – författare
Visar alla böcker från författaren Dirk W. Hoffmann. Handla med fri frakt och snabb leverans.
19 produkter
19 produkter
- E-bokPDF, Tyska, 2008
444 kr
Läs direkt efter köp
Computerabstürze, Rückrufaktionen, Sicherheitslecks: Das Phänomen Software-Fehler hat sich zum festen Bestandteil unseres täglichen Lebens entwickelt. Mit dem unaufhaltsamen Vordringen der Computertechnik in immer mehr sicherheitskritische Bereiche wird die Software-Qualitätssicherung zu einer stetig wichtiger werdenden Disziplin der Informationstechnik. Aber warum ist die Qualität von Software heute so schlecht? Und viel wichtiger noch: Stehen wir der Misere hilflos gegenüber?
Dieses Buch führt umfassend und praxisnah in das Gebiet der Software-Qualitätssicherung ein und gibt eine Antwort auf die oben gestellten Fragen. Zu Beginn werden die typischen Fehlerquellen der Programmentwicklung erörtert und anschließend die verschiedenen Methoden und Techniken behandelt, die uns zur Verbesserung der Qualität zur Verfügung stehen. Behandelt werden die zentralen Themenkomplexe aus den Gebieten der konstruktiven und analytischen Qualitätssicherung, der Software-Infrastruktur und der Managementprozesse.
- E-bokPDF, Tyska, 2012
319 kr
Läs direkt efter köp
Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren?
Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen.
Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik, hin zu den Grenzen der Mathematik. Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie.
Das Buch enthält zahlreiche zweifarbige Abbildungen und mehr als 70 Aufgaben (mit Lösungen auf der Website zum Buch).
Für die zweite Auflage wurde das Kapitel ''Beweistheorie'' thematisch um das Diagonalisierungslemma, den Satz von Tarski, das Berry-Paradoxon sowie den Satz vonLöb erweitert.
- Häftad, Tyska, 2013
593 kr
Skickas inom 10-15 vardagar
Computerabstürze, Rückrufaktionen, Sicherheitslecks: Das Phänomen Software- Fehler hat sich zum festen Bestandteil unseres täglichen Lebens entwickelt. Mit dem unaufhaltsamen Vordringen der Computertechnik in immer mehr sicherheitskritische Bereiche wird die Software-Qualitätssicherung zu einer stetig wichtiger werdenden Disziplin der Informationstechnik. Aber warum ist die Qualität von Software heute so schlecht? Und viel wichtiger noch: Stehen wir der Misere hilflos gegenüber? Dieses Buch führt umfassend und praxisnah in das Gebiet der Software- Qualitätssicherung ein und gibt eine Antwort auf die oben gestellten Fragen. Zu Beginn werden die typischen Fehlerquellen der Programmentwicklung erörtert und anschließend die verschiedenen Methoden und Techniken behandelt, die uns zur Verbesserung der Qualität zur Verfügung stehen. Behandelt werden die zentralen Themenkomplexe aus den Gebieten der konstruktiven und analytischen Qualitätssicherung, der Software-Infrastruktur und der Managementprozesse. Die 2. Auflage wurde durchgehend aktualisiert und korrigiert. - E-bokPDF, Tyska, 2013
591 kr
Läs direkt efter köp
Computerabstürze, Rückrufaktionen, Sicherheitslecks: Das Phänomen Software- Fehler hat sich zum festen Bestandteil unseres täglichen Lebens entwickelt. Mit dem unaufhaltsamen Vordringen der Computertechnik in immer mehr sicherheitskritische Bereiche wird die Software-Qualitätssicherung zu einer stetig wichtiger werdenden Disziplin der Informationstechnik. Aber warum ist die Qualität von Software heute so schlecht? Und viel wichtiger noch: Stehen wir der Misere hilflos gegenüber? Dieses Buch führt umfassend und praxisnah in das Gebiet der Software- Qualitätssicherung ein und gibt eine Antwort auf die oben gestellten Fragen. Zu Beginn werden die typischen Fehlerquellen der Programmentwicklung erörtert und anschließend die verschiedenen Methoden und Techniken behandelt, die uns zur Verbesserung der Qualität zur Verfügung stehen. Behandelt werden die zentralen Themenkomplexe aus den Gebieten der konstruktiven und analytischen Qualitätssicherung, der Software-Infrastruktur und der Managementprozesse. Die 2. Auflage wurde durchgehend aktualisiert und korrigiert. - E-bokPDF, Tyska, 2014
452 kr
Läs direkt efter köp
Gegenstand dieses Buches sind die Grundlagen der Informations- und Codierungstheorie, wie sie in den Fächern Informatik, Nachrichtentechnik, Elektrotechnik und Informationstechnik an vielen Hochschulen und Universitäten unterrichtet werden. Im Mittelpunkt stehen die unterschiedlichen Facetten der digitale Datenübertragung. Das Gebiet wird aus informationstheoretischer Sicht aufgearbeitet und zusammen mit den wichtigsten Konzepten und Algorithmen der Quellen-, Kanal- und Leitungscodierung vorgestellt. Um eine enge Verzahnung zwischen Theorie und Praxis zu erreichen, wurden zahlreiche historische Notizen in das Buch eingearbeitet und die theoretischen Kapitel an vielen Stellen um Anwendungsbeispiele und Querbezüge ergänzt. - Häftad, Tyska, 2017
524 kr
Skickas inom 10-15 vardagar
Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Gödel zwei Unvollständigkeitssätze bewiesen, die unseren Blick auf die Mathematik von Grund auf verändert haben. Gödels Sätze manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine Kluft besteht, die wir nicht überwinden können. Die Mathematik fügt sich in kein formales Korsett.Seit ihrer Entdeckung sind die Unvollständigkeitssätze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. Doch kaum ein Werk behandelt die Gödel‘sche Arbeit in ihrer ursprünglichen Form − und dies hat triftige Gründe: Seine komplexen, in akribischer Präzision beschriebenen Argumentationsketten, die vielen Definitionen und Sätze und die heute weitgehend überholte Notation machen Gödels historisches Meisterwerkzu einer schwer zu lesenden Arbeit.In diesem Buch wird Gödels Beweis aus dem Jahr 1931 detailliert aufgearbeitet. Alle Einzelschritte werden erläutert und anhand zahlreicher Beispiele verständlich erklärt. Doch dieses Buch ist mehr als eine kommentierte Fassung der historischen Arbeit. Die Beweise der Unvollständigkeitssätze in vollem Umfang zu verstehen, bedingt, die Geschichte zu verstehen, und so versetzen zahlreiche Exkurse den Leser in die Zeit zu Beginn des zwanzigsten Jahrhunderts zurück. Es ist die Zeit, in der die Mathematik die größte Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische Mengenlehre Gestalt annahmen und sich Hilberts formalistische Logik und Brouwers intuitionistische Mathematik mit offenem Visier gegenüber standen.Die 2. Auflage ist vollständig durchgesehen.Stimme zur ersten Auflage: „...eine didaktisch sehr gut gemachte Darstellung.“Prof. Dr. Matthias Homeister, FH Brandenburg - E-bokPDF, Tyska, 2017
510 kr
Läs direkt efter köp
Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Gödel zwei Unvollständigkeitssätze bewiesen, die unseren Blick auf die Mathematik von Grund auf verändert haben. Gödels Sätze manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine Kluft besteht, die wir nicht überwinden können. Die Mathematik fügt sich in kein formales Korsett.
Seit ihrer Entdeckung sind die Unvollständigkeitssätze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. Doch kaum ein Werk behandelt die Gödel‘sche Arbeit in ihrer ursprünglichen Form − und dies hat triftige Gründe: Seine komplexen, in akribischer Präzision beschriebenen Argumentationsketten, die vielen Definitionen und Sätze und die heute weitgehend überholte Notation machen Gödels historisches Meisterwerkzu einer schwer zu lesenden Arbeit.In diesem Buch wird Gödels Beweis aus dem Jahr 1931 detailliert aufgearbeitet. Alle Einzelschritte werden erläutert und anhand zahlreicher Beispiele verständlich erklärt. Doch dieses Buch ist mehr als eine kommentierte Fassung der historischen Arbeit. Die Beweise der Unvollständigkeitssätze in vollem Umfang zu verstehen, bedingt, die Geschichte zu verstehen, und so versetzen zahlreiche Exkurse den Leser in die Zeit zu Beginn des zwanzigsten Jahrhunderts zurück. Es ist die Zeit, in der die Mathematik die größte Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische Mengenlehre Gestalt annahmen und sich Hilberts formalistische Logik und Brouwers intuitionistische Mathematik mit offenem Visier gegenüber standen.Die 2. Auflage ist vollständig durchgesehen.
Stimme zur ersten Auflage:
„...eine didaktisch sehr gut gemachte Darstellung.“ Prof. Dr. Matthias Homeister, FH Brandenburg
421 kr
Skickas inom 10-15 vardagar
Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren? Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen. Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik, hin zu den Grenzen der Mathematik. Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie.Das Buch enthält zahlreiche zweifarbige Abbildungen und mehr als 70 Aufgaben (mit Lösungen auf der Website zum Buch). Für die dritte Auflage wurde das Kapitel ‚Modelltheorie‘ um eine Beschreibung der von Paul Cohen entwickelten Forcing-Technik ergänzt.- E-bokPDF, Tyska, 2018
411 kr
Läs direkt efter köp
Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren?
Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen.
Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik, hin zu den Grenzen der Mathematik. Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie.
Das Buch enthält zahlreiche zweifarbige Abbildungen und mehr als 70 Aufgaben (mit Lösungen auf der Website zum Buch).
Für die dritte Auflage wurde das Kapitel ‚Modelltheorie‘ um eine Beschreibung der von Paul Cohen entwickelten Forcing-Technik ergänzt.
- Häftad, Tyska, 2024
576 kr
Skickas inom 10-15 vardagar
Gegenstand dieses Lehrbuches sind die Grundlagen der Informations- und Codierungstheorie, wie sie in den Fächern Informatik, Nachrichtentechnik, Elektrotechnik und Informationstechnik an vielen Hochschulen und Universitäten unterrichtet werden. Im Mittelpunkt stehen die unterschiedlichen Facetten der digitalen Datenübertragung. Das Gebiet wird aus informationstheoretischer Sicht aufgearbeitet und zusammen mit den wichtigsten Konzepten und Algorithmen der Quellen-, Kanal- und Leitungscodierung vorgestellt. Um eine enge Verzahnung zwischen Theorie und Praxis zu erreichen, wurden zahlreiche historische Notizen in das Buch eingearbeitet und die theoretischen Kapitel an vielen Stellen mit Anwendungsbeispielen und Querbezügen versehen. Die neue Auflage wurde um eine Darstellung der ANS-Codierung ergänzt. - E-bokPDF, Tyska, 2023
574 kr
Läs direkt efter köp
Gegenstand dieses Lehrbuches sind die Grundlagen der Informations- und Codierungstheorie, wie sie in den Fächern Informatik, Nachrichtentechnik, Elektrotechnik und Informationstechnik an vielen Hochschulen und Universitäten unterrichtet werden. Im Mittelpunkt stehen die unterschiedlichen Facetten der digitalen Datenübertragung. Das Gebiet wird aus informationstheoretischer Sicht aufgearbeitet und zusammen mit den wichtigsten Konzepten und Algorithmen der Quellen-, Kanal- und Leitungscodierung vorgestellt. Um eine enge Verzahnung zwischen Theorie und Praxis zu erreichen, wurden zahlreiche historische Notizen in das Buch eingearbeitet und die theoretischen Kapitel an vielen Stellen mit Anwendungsbeispielen und Querbezügen versehen. Die neue Auflage wurde um eine Darstellung der ANS-Codierung ergänzt. - Häftad, Engelska, 2024
616 kr
Skickas inom 10-15 vardagar
In 1931, the mysterious-sounding article "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" shook the mathematical world. In this article, Kurt Gödel proved two incompleteness theorems that have fundamentally changed our view of mathematics. Gödel's theorems manifest that the concept of truth and the concept of provability cannot coincide. Since their discovery, the incompleteness theorems have attracted much attention, and a flood of articles and books have been devoted to their striking consequences. For good reasons, however, hardly any work deals with Gödel's article in its original form: His complex lines of thought described with meticulous precision, the many definitions and theorems, and the now largely outdated notation turn Gödel's historical masterpiece into a difficult read.This book explores Gödel's original proof in detail. All individual steps are carefully explained and illustrated with numerous examples. However, this book is more than just an annotated version of the historical article, as the proper understanding of Gödel's work requires a solid grasp of history. Thus, numerous excursions take the reader back to the beginning of the twentieth century. It was the time when mathematics experienced one of its greatest crises, when type theory and axiomatic set theory were taking shape, and Hilbert's formalistic logic and Brouwer's intuitionistic mathematics were openly confronting each other.This book is the revised translation of the second edition of the author's German language book "Die Gödel'schen Unvollständigkeitssätze". - E-bokPDF, Engelska, 2024
797 kr
Läs direkt efter köp
In 1931, the mysterious-sounding article "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" shook the mathematical world. In this article, Kurt Gödel proved two incompleteness theorems that have fundamentally changed our view of mathematics. Gödel''s theorems manifest that the concept of truth and the concept of provability cannot coincide.
Since their discovery, the incompleteness theorems have attracted much attention, and a flood of articles and books have been devoted to their striking consequences. For good reasons, however, hardly any work deals with Gödel''s article in its original form: His complex lines of thought described with meticulous precision, the many definitions and theorems, and the now largely outdated notation turn Gödel''s historical masterpiece into a difficult read.
This book explores Gödel''s original proof in detail. All individual steps are carefully explained and illustrated with numerous examples. However, this book is more than just an annotated version of the historical article, as the proper understanding of Gödel''s work requires a solid grasp of history. Thus, numerous excursions take the reader back to the beginning of the twentieth century. It was the time when mathematics experienced one of its greatest crises, when type theory and axiomatic set theory were taking shape, and Hilbert''s formalistic logic and Brouwer''s intuitionistic mathematics were openly confronting each other.This book is the revised translation of the second edition of the author''s German language book "Die Gödel''schen Unvollständigkeitssätze".
- Del 19 - Mathematics Study Resources
Limits of Mathematics
A Journey Through the Key Areas of Mathematical Logic
Häftad, Engelska, 2025560 kr
Skickas inom 10-15 vardagar
Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth century provides astonishing answers to these questions.This book takes you on a journey through the core areas of mathematical logic, leading to the limits of mathematics. The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel's incompleteness theorems, computability theory, algorithmic information theory, and model theory.The book contains numerous two-color illustrations and more than 70 exercises (with solutions available on the author's website). This translation is based on the third edition of the original German book. - E-bokPDF, Engelska, 2025
718 kr
Läs direkt efter köp
Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth century provides astonishing answers to these questions.This book takes you on a journey through the core areas of mathematical logic, leading to the limits of mathematics. The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel's incompleteness theorems, computability theory, algorithmic information theory, and model theory.The book contains numerous two-color illustrations and more than 70 exercises (with solutions available on the author's website). This translation is based on the third edition of the original German book. - E-bokPDF, Tyska, 2011
351 kr
Läs direkt efter köp
Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren?
Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen; Antworten, die die Mathematik in der gleichen Weise verändert haben wie die Einstein’sche Relativitätstheorie die Physik. Heute wissen wir, dass in der Mathematik erkenntnistheoretische Grenzen existieren, die wir nicht überwinden können. Sie sind integraler Bestandteil jener Gesetzmäßigkeiten, die diese Wissenschaft im Innersten zusammenhalten.
Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik, hin zu den Grenzen der Mathematik. Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie.
Das Buch enthält zahlreiche zweifarbige Abbildungen und mehr als 70 Aufgaben (mit Lösungen auf der Website zum Buch).
- Häftad, Tyska, 2012
541 kr
Skickas inom 5-8 vardagar
- E-bokPDF, Tyska, 2012
213 kr
Läs direkt efter köp
Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Gödel zwei Unvollständigkeitssätze bewiesen, die unseren Blick auf die Mathematik von Grund auf verändert haben. Gödels Sätze manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine unüberwindbare Kluft besteht, die wir nicht überwinden können. Die Mathematik fügt sich in kein formales Korsett.
Seit ihrer Entdeckung sind die Unvollständigkeitssätze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. Doch kaum ein Werk behandelt die Gödel‘sche Arbeit in ihrer ursprünglichen Form − und dies hat triftige Gründe: Seine komplexen, in akribischer Präzision beschriebenen Argumentationsketten, die vielen Definitionen und Sätze und die heute weitgehend überholte Notation machen Gödels historisches Meisterwerk zu einer schwer zu lesenden Arbeit.
In diesem Buch wird Gödels Beweis aus dem Jahr 1931 detailliert aufgearbeitet. Alle Einzelschritte werden erläutert und anhand zahlreicher Beispiele verständlich erklärt. Doch dieses Buch ist mehr als eine kommentierte Fassung der historischen Arbeit. Die Beweise der Unvollständigkeitssätze in vollem Umfang zu verstehen, bedingt, die Geschichte zu verstehen, und so versetzen zahlreiche Exkurse den Leser in die Zeit zu Beginn des zwanzigsten Jahrhunderts zurück. Es ist die Zeit, in der die Mathematik die größte Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische Mengenlehre Gestalt annahmen und sich Hilberts formalistische Logik und Brouwers intuitionistische Mathematik mit offenem Visier gegenüber standen.
