Advertisement

Logik

  • Peter HartmannEmail author
Chapter
  • 93 Downloads

Zusammenfassung

Als Informatiker ist man ständig mit Aufgabenstellungen aus der Logik befasst. In diesem Kapitel lernen Sie
  • was eine Aussage ist,

  • den Unterschied zwischen Syntax und Semantik,

  • wie Sie Aussagen und Aussageformeln auswerten können,

  • die Prädikatenlogik,

  • wichtige Beweisprinzipien der Mathematik,

  • die Verwendung von Vor- und Nachbedingungen beim Programmieren.

Copyright information

© Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature 2019

Authors and Affiliations

  1. 1.Hochschule LandshutLandshutDeutschland

Personalised recommendations