Mitmachstation
Wie bringt man einem Computer bei, mit Symbolen zu rechnen?

Thema: Digitalisierung und Naturwissenschaften
Schlagworte: Informationstechnologie, Künstliche Intelligenz und Mathematik
Altersgruppe: 6 bis 10 Jahre, 10 bis 14 Jahre, 14 bis 18 Jahre und ab 18 Jahre
Zielgruppe: Barrierefrei und In English

Rechnen mit Zahlen lernt heute jedes Kind in der Schule. Für das Zahlenrechnen hat man Computer, aber die Sprache der Mathematik kennt nicht nur Zahlen, sondern auch Formeln, Figuren, Theoreme, und und und. Symbolisches Rechnen ist ein Forschungsgebiet, das sich damit beschäftigt, dem Computer die Sprache der Mathematik beizubringen, d.h. mit Formeln, Figuren und Theoremen etc. zu "rechnen".

Maximale Kapazität der Station: 6 Personen

Symbolisches Rechnen

Mathematiker versuchen, Probleme zu lösen. Dazu werden die Probleme in die Sprache der Mathematik übersetzt. Ein Problem wie "Wieviel ist 1+1?" kann heute jeder mit dem Taschenrechner ausrechnen. Aber wie findet ein Computer die Stammfunktion von x+tan(x)? Wie findet er eine einfache Formel für die Summe 1+2+...+n? Damit Computer solche Formeln (nicht Zahlen) "berechnen" bzw. sogar mathematische Theoreme bzw. Aussagen automatisch beweisen können, arbeiten die Forscher:innen am JKU-Institut für Symbolisches Rechnen (RISC) an mathematischen Theorien und Algorithmen. An dieser Station können Sie erfahren, was heute schon möglich ist und wo die Schwierigkeiten liegen, Computer intelligenter zu machen.

Besucherinformation

Anfahrtsbeschreibung: Details zur Anreise finden Sie hier in der Infobox. Ausreichend gratis Parkmöglichkeiten sind vorhanden und am 24.05.2024 ausgewiesen.

Dieser Ausstellungsstandort ist barrierefrei zugänglich und verfügt über barrierefreie Toiletten.

Partner der LNF
Johannes Kepler Universität Linz
Technisch-Naturwissenschaftliche Fakultät
Institut für Symbolisches Rechnen (RISC)
IT-Center
Softwarepark 35, 4232 Hagenberg
Softwarepark Hagenberg - IT Center

Öffnungszeiten

Erster Einlass: 17:00
Letzter Einlass: 23:00

Sponsoren

7 weitere Stationen an diesem Standort