Advertisement

Elementare Logik

  • Klaus HölligEmail author
  • Jörg Hörner
Chapter

Zusammenfassung

Die Aufgaben in diesem Kapitel behandeln die folgenden Themen:

  • Vereinfachung eines logischen Ausdrucks

  • Umformung und Wahrheitswerttabelle für einen logischen Ausdruck

  • Vereinfachung einer logischen Schaltung

  • Wahrheitswerttabellen für logische Ausdrücke

  • Beschreibung mit Quantoren: Größter gemeinsamer Teiler

  • Direkter Beweis: Kathetensatz

  • Indirekter Beweis: Irrationalität einer dritten Wurzel

  • Induktionsbeweis: Summe rationaler Ausdrücke

  • Rekursion und vollständige Induktion

  • Induktionsbeweis: Winkelsumme im n-Eck

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature 2019

Authors and Affiliations

  1. 1.Universität StuttgartStuttgartDeutschland
  2. 2.Fachbereich MathematikUniversität StuttgartStuttgartDeutschland

Personalised recommendations