"Das Nachdenken über Systeme und ihre Komplexität und darüber, wie wir diese organisieren, ist ein elementarer Bestandteil von Lehre und Forschung in diesem Institut. Das beeindruckt mich sehr." Vinton G. Cerf, Google
Open Course Design Thinking: d.school-Referent Thomas Both zu Gast
Aufgrund der großen Nachfrage gibt es einen weiteren Open Course Design Thinking vom 31. Mai bis 2....
Bewerbungsschluss HPI-Schülerkolleg
HPI-Schülerkolleg geht 2012 in sein viertes Jahr. Bis zum 6. Juni können sich interessierte und...
Hochschulinformationstag am HPI
Am 8. Juni 2012 findet der Hochschulinformationstag der Universität Potsdam auf dem Campus...
HPI Alumni Homecoming Event 2012
Die zentrale Begegnungsveranstaltung für die Ehemaligen des HPI feiert 2012 gleich mehrere...
Future SOC Symposium am HPI
Vom 14. bis zum 15. Juni 2012 findet das siebte Future SOC Symposium statt.
Zertifikatsverleihung HPI-Schülerkolleg 2011/12
15 Seminareinheiten in je 3 bis 4 Modulen haben die rund 55 Schülerinnen und Schüler abgeschlossen,...
Von berechenbaren Funktionen zu spezifizierbaren Systemen
tele-TASK-Aufzeichnung des Vortrags
Als zentrale Aufgabe der Informatik wird bislang im Allgemeinen das Programmieren von Rechensystemen betrachtet. Es wird jedoch zunehmend deutlich, dass der Informatiker in der Zukunft breiter angelegte Aufgaben als "Systems Engineer" hat, also für das sinngerechte Funktionieren rechnergestützter Systeme zuständig ist. Beispiele solcher Systeme sind das unfallfreie Auo oder der vollautomatische Geschäftsprozess.
Die Theorie der berechenbaren Funktionen liefert die theoretische Grundlage für die Programmierung. Fragen der Bedeutung, der Komplexität und der Korrektheit von Programmen werden auf dieser Grundlage behandelt.
In diesem Vortrag fragen wir nach einer entsprechenden Theorie für das Systems Engineering. Wir diskutieren insbesondere, wie ein Modell aussieht, das die relevanten Aspekte eines Systems angemessen repräsentiert und dessen wichtigste Eigenschaften formal analysierbar sind.
Sprache: Deutsch
Gastgeber: Prof. Dr. Christoph Meinel
Ort: HS 1
Datum: Donnerstag, 28. September 2006
Zeit: 16:00