<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
  <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  <link rel="stylesheet" type="text/css" media="all" href="stylesheet.css">
  <title>Aufteilung der Themen</title>
</head>
<body>
  <span id="menu"><a href="index.php">zurück zur Liste</a></span>
  
  <div id="buttons">
    <form action="edit.php" method="POST">
      <input type="hidden" name="filename" value="<?php echo $_SERVER['SCRIPT_FILENAME']?>">
      <p>
        <input type="submit" value="Seite bearbeiten">
      </p>
    </form>
  </div>
  
  <h1>Bearbeitung der Themen</h1>
  
  <h2>Vera</h2>
  Haskell, Spezifikation, Abstrakte Datentypen

  <h2>Bettina</h2>
  Primitiv-rekursive Funktionen, Algorithmen, Graphen & Bäume, Induktion, Laufzeitbestimmung, O-Notation

  <h2>Tilman</h2>
  Java, UML, &#955;-Kalkül, Vergleich Programmiersprachen, Rekursion und Endrekursivierung, Perfect Shuffle

  <h2>Es fehlen noch...</h2>
  Verifikation und Validation, Relationen
  
</body>
</html>