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
Auto-Akkus – brandgefährlich?
Gelegentliche Meldungen über brennende Auto-Akkus lassen aufhorchen. Wie leicht fangen Stromer Feuer? Und wie sieht es etwa bei Handy-Akkus aus? von ROLF HEßBRÜGGE Als das Auto-Transportschiff „Freemantle Highway“ im Juli vergangenen Jahres auf der Nordsee in Flammen stand, schien die Ursache schnell ermittelt: Der Akku eines an...
Wissenschaft
Erster Schritt zur Impfung gegen HIV?
Trotz jahrzehntelanger Forschung gibt es bislang noch keinen Impfstoff gegen das humane Immundefizienz-Virus HIV. Nun haben vier Forschungsteams unabhängig voneinander an Rhesusaffen und Mäusen erste Erfolge auf dem Weg der Impfstoffentwicklung erzielt. Mit Hilfe einer Technik namens Keimbahn-Targeting griffen sie in die Reifung...
Weitere Artikel auf wissenschaft.de
Nicht im Gleichgewicht
Ein Stoff zum Staunen
Sauberer Stahl
Wie KI unsere Kreativität beeinflusst
Am Kern der Zeit
Die Umwelt auf dem Schirm