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
Sichere Depots für Wasserstoff
Wasserstoff, der etwa mit Solarstrom produziert wurde, über längere Zeit aufzubewahren, ist eine Herausforderung. Möglichkeiten dazu bieten Hohlräume in unterirdischen Salzstöcken – oder Eisenerz. von CHRISTIAN BERNHART(Eisenspeicher) und RALF BUTSCHER Am 9. Mai 2025 war es soweit: Auf einem Gelände bei Etzel, einem Teilort der...
Wissenschaft
Der Landwirtschaft geht ein Licht auf
Schnelleres Wachstum, besserer Geschmack und höhere Erträge – energiesparende LED-Beleuchtung macht in der modernen Landwirtschaft einiges möglich. von Rainer Kurlemann Pflanzen benötigen Licht zum Wachsen. Das klingt einfach, doch hinter diesem Satz versteckt sich eine komplizierte Physik, die beispielsweise im Ackerbau wichtig...
