Advertisement

Funktionale und Algebraische Aspekte

  • Friedrich L. Bauer
  • Martin Wirsing
Chapter
  • 151 Downloads
Part of the Mathematik für Informatiker book series (1211)

Zusammenfassung

In diesem Kapitel über die „Algebra der Logik“ wird der Zusammenhang zwischen Aussageformen (Booleschen Formen) und Funktionen über einer zweielementigen Menge von Objekten (im Modell aussagenlogische Funktionen, binäre Schaltfunktionen) näher untersucht. Auch Repräsentationsfragen werden berührt. Das Kapitel schließt mit einem Ausblick auf die Algebra der Aussageformen und auf Programmiersprachen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Friedrich L. Bauer
    • 1
  • Martin Wirsing
    • 2
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Deutschland
  2. 2.PassauDeutschland

Personalised recommendations