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
Das Duell der Giganten
Künstliche Intelligenz trifft auf Wikipedia. Damit begegnen sich zwei Hünen der Produktion von Wissen. Wie wird der Wettstreit enden? von STEFAN MEY Innerhalb kurzer Zeit war aus einem Riesen ein Zwerg geworden. Im Januar 2001 startete das Wikipedia-Projekt für ein frei zugängliches Web-Portal mit Informationen zu allen...
Wissenschaft
Wasserverteilung in Flüssen hat sich verändert
Flüsse tragen entscheidend zur Wasserversorgung in weiten Teilen der Welt bei. Zugleich können sie bei Überschwemmungen zur tödlichen Gefahr werden. Eine Studie hat nun für alle rund 2,9 Millionen Flüsse weltweit kartiert, wie sich ihre Durchflussmenge seit 1984 entwickelt hat. Die Ergebnisse sind den Forschenden zufolge...
