Informatik = Matematik Datalogi Anvendelse
Dines Bjørner, IT/DTU
Sektion for Programmelsystemer

• Contents
• Baggrund
• Ingeniørkunst
• Datalogi
  • Teoretisk Datalogi
    • Beregnelighed
    • Processer
    • Typeteori
    • Bevisteoretiske Beregninger
    • Algebraisk Semantik
    • Denotations Semantik
    • Operationel Semantik
    • Algoritmelære og Komplexitet
  • Metodelære
    • Programmeludvikling
    • Domæne-ingeniørkundskab
    • Krav-ingeniørkundskab
    • Programmel-ingeniørkundskab
    • Programmeringsprog
    • Problem-rammer
  • Abstraktion og Sprog
• Informatik
  • Datalog Først
  • Domænespecialist Først
  • ``Teamwork''
• Generelle Betragtninger
  • Historisk Udvikling
  • Datalogiens Univers
• DTUs Informatikprofil
• ``Katastrofer'' & ``Hypes''
• Afslutning
• About this document ...