Wahrig Fremdwörterlexikon
Prädikatenlogik
Prä|di|ka|ten|lo|gik 〈f.; –; unz.; Philos.〉
Teilgebiet der mathematischen Logik, das sich mit der formalen Analyse von Aussagen befasst u. dabei die Aussageform als eine Funktion mit Konstanten u. Variablen betrachtet
Wissenschaft
Erleuchtung für Computer
Mit ihrem immensen Bedarf an Rechenleistung bringen Künstliche Intelligenz und Big Data die heutige Mikroelektronik an ihre Grenzen. Optische Computerchips könnten ein Ausweg sein und neue Arten von Rechenmaschinen ermöglichen. von THOMAS BRANDSTETTER Bei der Kommunikation hat Licht seine Überlegenheit bereits bewiesen....
Wissenschaft
Leises Wetter kann auch stürmisch sein
Auf dem Mars ziehen Eiswolken über die Krater und Staubteufel wirbeln auf. Sie verraten, wie lebendig die Atmosphäre des Roten Planeten ist. von KAI DÜRFELD Ein hauchdünner Schleier aus Eis liegt über dem Kraterrand. Die Landschaft ist erstarrt, ein Relief aus Sand und Stein – und regungsloser Stille. Doch weit oben, hoch über...
