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
Licht und Schatten
Das Darknet gilt als Hort des Bösen. Doch die Wahrheit ist kompliziert. von MICHAEL VOGEL Abgründe tun sich auf. Es geht um Kinderpornografie, Erpressung, Drogenhandel, illegalen Waffenhandel, verbotene Wetten, Falschgeld und Datendiebstahl. Kurz: um die dunkle Seite des Menschen. Beispiel Kinderpornografie: Im Herbst 2019 nahmen...
Wissenschaft
Mit dem Flugtaxi nach Paris?
E-Helikopter sollen den Verkehr in Großstädten entlasten und für schnelle Verbindungen zwischen Peripherie und City sorgen. Die Technik dafür steht bereits in den Startlöchern. von ROLF HEßBRÜGGE Aus der Froschperspektive betrachtet ähnelt dieses unbekannte Flugobjekt einem handelsüblichen Hubschrauber. Doch schaut man sich den „...
Weitere Artikel auf wissenschaft.de
Fidschi-Leguane stellen Fernreise-Rekord auf
Kristalle für mehr Sonnenstrom
Evolution im Eiltempo
Teamwork bei Drohnen
Haie stehen Schlange
Ein asymmetrisches All?