Zusammenfassung
Die Logik, genauer, die formale Logik, untersucht die Verknüpfung von Aussagen und ihre Schlußfolgerung. Sie abstrahiert dabei vom konkreten Gegenstandsbereich und betrachtet nur, was man aus der Struktur der Aussagen schließen kann.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Aristoteles, 384–322 v. Chr., griechischer Philosoph. Die megarisch-stoische Schule des Euklid von Megara, ca. 450–380 v. Chr., kennt bereits den Begriffder aussagenlogischen Variablen, der Aristoteles fremd war.
engl. well-formed.
engl. satisfiability problem.
Alfred Horn, Logiker. In (Horn, 1951) formuliert er spezielle Kriterien für die Disjunktionen, die heute Hornklauseln heißen.
engl. overflow.
Im Englischen heißt p i eine don’t care Variable.
Willard van Orman Quine, amerikanischer Logiker und Philosoph, geb. 1908.
engl. ordered binary decision diagram.
engl. sequential (logic) circuit
engl. negation by failure.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Goos, G. (1997). Grundlagen aus der formalen Logik. In: Vorlesungen über Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-10816-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-10816-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62880-4
Online ISBN: 978-3-662-10816-1
eBook Packages: Springer Book Archive