Skip to main content
main-content

Über dieses Buch

Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion. Damit gibt es Antworten auf Fragen wie Was genau ist eigentlich ein Widerspruchsbeweis? Oder eine Widerlegung? Und wie hängen sie miteinander zusammen? Die Autoren versuchen, derartige fragen zu erörtern, indem sie verbreitete Beweismuster und anhand von allgemein verständlichen Beispielen aus dem Alltag, der Mathematik und der Informatik zu verdeutlichen.

Inhaltsverzeichnis

Frontmatter

Einfache und komplexe Beweismuster

Frontmatter

2017 | Supplement | Buchkapitel

Chapter 1. Einleitung

Hans Jürgen Ohlbach, Norbert Eisinger

2017 | Supplement | Buchkapitel

Chapter 2. Vorbereitung: Arten des Schließens

Hans Jürgen Ohlbach, Norbert Eisinger

2017 | Supplement | Buchkapitel

Chapter 3. Vorbereitung: Schreibweisen der Logik

Hans Jürgen Ohlbach, Norbert Eisinger

2017 | Supplement | Buchkapitel

Chapter 4. Einfache Beweismuster

Hans Jürgen Ohlbach, Norbert Eisinger

2017 | Supplement | Buchkapitel

Chapter 5. Komplexe Beweismuster

Hans Jürgen Ohlbach, Norbert Eisinger

2017 | Supplement | Buchkapitel

Chapter 6. Vollständige Induktion

Hans Jürgen Ohlbach, Norbert Eisinger

"Transfinite Ordinalzahlenund transfinite Induktion"

2017 | Supplement | Buchkapitel

Chapter 7. Einleitung zu Teil II

Hans Jürgen Ohlbach, Norbert Eisinger

2017 | Supplement | Buchkapitel

Chapter 8. Vollständige Induktion und Grenzwertbildung

Hans Jürgen Ohlbach, Norbert Eisinger

2017 | Supplement | Buchkapitel

Chapter 9. Transfinite Ordinalzahlen

Hans Jürgen Ohlbach, Norbert Eisinger

2017 | Supplement | Buchkapitel

Chapter 10. Transfinite Induktion

Hans Jürgen Ohlbach, Norbert Eisinger

2017 | Supplement | Buchkapitel

Chapter 11. Exkurs: Mathematisches Arbeiten

Hans Jürgen Ohlbach, Norbert Eisinger

Backmatter

Weitere Informationen

Premium Partner

GI LogoNeuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Erforderliche Schutzmaßnahmen für das (vernetzte) Auto

Längst sind moderne Autos kleine Rechnernetzwerke auf Rädern. Was bedeutet dies für die Sicherheit? Dieser Beitrag liefert einen Überblick über Angriffsmethoden und Sicherheitstechnologien für moderne Fahrzeuge. Jetzt gratis downloaden!