Lexikon
Lọgikkalkül
[
das; griechisch + lateinisch
]eine Formalisierung (Kalkülisierung) der Logik durch Zeichensymbole und Operationsregeln, um mit diesen nach dem Vorbild der Arithmetik zu „rechnen“ (Formalismus, Kalkül). Im Einzelnen unterscheidet man den Aussagenkalkül, den Prädikaten- und den Klassenkalkül.
Wissenschaft
Kleinplaneten unter der Lupe
Die Erforschung der Planetoiden tritt in eine neue Phase: Im Labor analysieren Wissenschaftler den Urstoff, aus dem sich einst die großen Planeten formten.
Der Beitrag Kleinplaneten unter der Lupe erschien zuerst auf...
Wissenschaft
Alles fürs Kind
Die bindungsorientierte Erziehung stellt Bedürfnisse von Kindern in den Mittelpunkt. Was hinter diesem Stil steckt und was die Forschung dazu sagt. von JAN SCHWENKENBECHER Welche ist die beste Erziehungsmethode? Folgt man Blogs, Podcasts, Magazinen und Bestsellern für Eltern sowie der ein oder anderen Momfluencerin, lautet die...
