Einfuhrung in Die Mathematik Fur Informatiker

Die vorliegenden Bande sind aus einer dreisemestrigen Einfiihrungsvorlesung fUr Informatiker an der TU Wien entstanden, in der die wichtigsten Grund lagen aus den Gebieten Lineare und Nichtlineare Algebra, Analysis und Diskrete Mathematik behandelt werden. Zusatzlich zu den Inhalten, die in den Mathematikgrundvorlesungen der klassischen Ingenieurfacher auftreten, bilden dabei die in den Computerwissenschaften besonders wichtigen Metho den aus Kombinatorik, Graphentheorie und der Algebra endlicher Korper Schwerpunkte. Bei der Ausarbeitung wurde der Stoff einerseits durch Fakten und Beweise erganzt, die aufgrund ihres Umfanges in der Vorlesung nicht gebracht werden konnen; andererseits wurde auch eine Vielzahl von durchge rechneten Beispielen in den Text aufgenommen, urn das Verstandnis und die Mog1ichkeit des Selbststudiums zu fOrdern. Neben Beispielen, in denen es urn das direkte Anwenden mathematischer “Rezepte” geht, finden sich auch zahl reiche solche, in denen inhaltliche Beobachtungen wichtiger Art gemacht werden. Der Stil der Darstellung wurde nach Moglichkeit mathematisch exakt gehalten, ohne einen allzu abstrakten logischen Formalismus zu verwenden. Tiefgehende Fakten, deren Beweise iiber den Rahmen einer solchen einfUh renden Darstellung fUr Informatiker hinausgehen, werden ohne Beweis ange geben, die einfacher zu fiihrenden Beweise jedoch vorgefUhrt, da auch der Ingenieurstudent aus dem Verstehen von Beweisideen vie1 Verstandnis fUr die von ihm verwendeten mathematischen Methoden und deren Grenzen gewin nen kann. Aus dem Inhalt der 3 Bande groBteils ausgespart blieben Methoden, denen iiblicherweise eigene Vorlesungen gewidmet sind, wie Wahrscheinlich keitsrechnung und Statistik, Logik und Numerische Mathematik, da ihre Aufnahme den Gesamtumfang bei weitem gesprengt hatte.