Sie sind auf Seite 1von 59

Vorkurs Mathematik fur¨

Informatiker

und Ingenieure

Vorkurs Mathematik fur¨ Informatiker und Ingenieure 4. Auflage, Version 2 Stefan Kleiser, Arne Dannenberg und Armin

4. Auflage, Version 2

Stefan Kleiser, Arne Dannenberg und Armin Hornung

Janis Fehr, Sebastian Kupferschmid und Markus Degen

2

Vorkurs Mathematik fur¨

4. leicht uberarbeitete¨

Stefan Kleiser,

Arne Dannenberg,

Susanne Kasprzak,

Armin Hornung

Informatiker und Ingenieure

Auflage, Oktober 2008

Vorkurs Mathematik fur¨

3. uberarbeitete¨

Janis Fehr,

Markus Degen

Informatiker und Ingenieure

Auflage, Oktober 2004

Einfuhrung¨

in die Universitatsmathematik¨

fur¨

Erstsemester der Fakultat¨

fur¨

angewandte

Wissenschaften (FAW)

 

2.

uberarbeitete¨

Auflage, Oktober 2003

Janis Fehr,

Markus Degen

Einfuhrung¨

in die Universitatsmathematik¨

fur¨

Erstsemester der Fakultat¨

fur¨

angewandte

Wissenschaften (FAW)

1. Auflage, Oktober 2002

Janis Fehr, Sebastian Kupferschmid, Markus Degen

Titelbild: Janis Fehr

Sebastian Kupferschmid, Markus Degen Titelbild: Janis Fehr Dieser Kurs entstand fur¨ Uni Freiburg.

Dieser Kurs entstand fur¨

Uni Freiburg. http://www.fachschaft.informatik.uni-freiburg.de

die Erstsemestereinfuhrung¨

der Fachschaft Informatik und MST an der

fs@fachschaft.informatik.uni-freiburg.de

Lizenz

Copyright (C) 2002-2008 Janis Fehr, Sebastian Kupferschmid, Markus Degen.

Dieses Werk kann durch jedermann gemaߨ

Die Lizenzbedingungen konnen¨

den Bestimmungen der Lizenz fur¨

die freie Nutzung unveranderter¨

unter http://www.uvm.nrw.de/opencontent abgerufen werden.

Inhalte genutzt werden.

3

Vorwort zur 4. Auflage

Verkriecht Euch nicht hinter diesem Skript, stellt Fragen! Es gibt wirklich keine dum- men Fragen. Seid Euch sicher, dass die meisten anderen auch keine Ahnung haben. Dies gilt nicht nur fur¨ diesen Vorkurs, sondern generell fur¨ alle Vorlesungen im Laufe eures Studiums. Dieses Skript soll weiter uberarbeitet¨ werden. Wenn ihr Lust habt mitzuarbeiten, kommt zur Fachschaftssitzung, meldet euch per Mail oder geht auf:

http://fachschaft.informatik.uni-freiburg.de/mathe

Oktober 2008, Arne Dannenberg und Stefan Kleiser

Vorwort zur 3. Auflage

Ein Sprichwort sagt, das einzig Bestandige¨ sei der Wandel. Dies scheint auch fur¨ diesen

¨

Kurs zu gelten. Dass wir im 3. Jahr seit der Ersterscheinung bereits die 2. Uberarbei-

tung vornehmen liegt weniger daran, dass sich am eigentlichen Inhalt dieses Kurses,

hatte¨ - nein, es sind vielmehr die Rahmenbe-

dingungen welche uns wieder zu Anderungen veranlasst haben. Mit der Umstellung der Diplomstudiengange¨ auf das Bachelor/Master System in der Informatik haben sich auch die Studieninhalte verandert.¨ Wahrend¨ fruher¨ die Mathe- matik eine zentrale Rolle im Grundstudium hatte, wird sie in den neuen Studienplanen¨ zum Beifach - mit den entsprechenden Konsequenzen. Um diesem Umstand gerecht zu werden, haben wir die Themenauswahl dieses Kurses entsprechend angepasst.

Oktober 2004, Janis Fehr

der Mathematik, Grundlegendes geandert¨

¨

Vorwort zur 1. Auflage

Die Notwendigkeit eines Mathematikvorkurses fur¨ Erstsemester ist angesichts der ho- hen Diskrepanz zwischen der Zahl der Studienanfanger¨ und derer, die aus der Weih- nachtspause wieder den Weg in die Mathematikvorlesungen finden, unbestritten. Mit diesem Kurs geht die Informatik nach langer Kooperation mit der Physik erstmals eigene Wege. Dieses neue Konzept soll die Erstsemester nicht nur auf die anstehenden Mathematikvorlesungen vorbereiten, wichtig war uns auch eine fachbezogene Motiva- tion der Inhalte. Es war bisher eher schwer, einen angehenden Informatiker von der Notwendigkeit mathematischer Formalismen anhand von “vom Turm fallender Ku- geln” zu uberzeugen.¨ Durch die Umsetzung in Tutoraten anstelle einer zentralen Vorlesung soll die vertraute schulische Atmosphare¨ Gruppenarbeit in den Vordergrund stellen. Trotz des oft “intui- tiven” Ansatzes dieser Einfuhrung¨ haben wir uns sehr bemuht,¨ so formal und korrekt zu arbeiten, wie man das in der Mathematik gewohnt ist. Die vielen Verweise auf spatere¨ Vorlesungen moge¨ uns der Leser mit Vorfreude auf das Studium verzeihen ;-) Zu danken ist an dieser Stelle vor allem Markus Degen und Sebastian Kupferschmid

fur¨ ihre unermudlichen¨ L A T E X-Arbeiten (wobei sie sich auch durch großere¨ Katastro-

phen nicht frustrieren haben lassen), den Korrekturlesern, der Mensa (!) fur¨

¨

und allen, die meine andauernde Ubermudung¨

Oktober 2002, Janis Fehr

ertragen mussten ;-).

den Kaffee

4

Inhaltsverzeichnis

Vorwort zur 4. Auflage

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

3

Vorwort zur 3. Auflage

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

3

Vorwort zur 1. Auflage

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

3

0 Einleitung

9

0.1 Mathematik in der MST

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

9

0.2 Informatik = Mathematik der Informationen !? .

.

.

.

.

.

.

.

.

.

.

.

.

9

0.3 Aufbau dieses Kurses .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

9

0.3.1

Konventionen .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

10

1 Grundlagen

11

1.1 Mengen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

11

1.1.1 Eigenschaften von Mengen

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

11

Verknupfung¨

1.1.2 von Mengen

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

12

 

¨

Ubungen

1.1.3 .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

13

1.2 Die naturlichen¨

Zahlen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

13

1.2.1

Peano-Axiome

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

14

1.3 Die reellen Zahlen .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

14

1.4 Die komplexen Zahlen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

15

1.4.1 Polarformen .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

16

 

¨

1.4.2 Ubungen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

17

1.5 Zahlensysteme

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

17

1.5.1 Binarzahlen¨

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

18

1.5.2 Rechnen mit Binarzahlen¨

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

19

1.5.3 Das Hexadezimalsystem

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

19

 

¨

Ubungen

1.5.4 .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

20

1.6 Summennotation

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

21

1.6.1 Rechnen mit Summen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

22

1.6.2 Rechenregeln fur¨

Summen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

22

1.6.3 Produktnotation

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

22

 

¨

1.6.4 Ubung .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

23

1.7 Kombinatorik

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

23

1.7.1 Permutation .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

23

1.7.2 Kombinationen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

24

1.7.3 Der Binomialkoeffizient

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

25

1.7.4 Herleitung der Binomialkoeffizienten

.

.

.

.

.

.

.

.

.

.

.

.

.

25

 

¨

Ubung .

1.7.5 .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

26

 

5

6

INHALTSVERZEICHNIS

2 Lineare Algebra

27

2.1 Tupel

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

27

2.1.1

Die Ebene R 2 .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

27

2.1.2 Der Raum R 3 .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

27

2.1.3 Bemerkung

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

28

2.2 Vektoren .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

28

2.2.1

Nomenklatur

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

28

2.2.2

Rechenregeln fur¨

Vektoren

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

28

¨

2.2.3

Ubungen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

29

2.3 Lineare Unabhangigkeit¨

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

30

¨

2.3.1

Ubungen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

30

2.4 Gleichungssysteme

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

31

2.4.1

Gauß’sches Eliminationsverfahren .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

31

¨

2.4.2

Ubungen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

32

2.5 Matrizenrechnung

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

33

2.5.1

Konventionen

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

33

2.5.2 Rechenregeln

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

33

¨

Ubungen

2.5.3 .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

34

3 Formalismen und Beweise

 

35

3.1 Logik

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

35

3.1.1 “Spielregeln” der Aussagenlogik

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

35

3.1.2 Verknupfung¨

von Aussagen

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

35

3.1.3 De Morgan’sche Regeln

 

und andere

.

.

.

.

.

.

.

.

.

.

.

.

.

37

3.1.4 Quantoren .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

38

¨

Ubungen

3.1.5 .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

38

3.2 Beweise

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

39

3.2.1 Was ist ein Beweis? .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

39

3.2.2 Wozu Beweise? .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

39

3.2.3 Direkter Beweis

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

39

¨

3.2.4

Ubungen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

40

3.2.5

Beweis durch Widerspruch (indirekter Beweis)

.

.

.

.

.

.

.

.

40

¨

3.2.6

Ubungen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

40

3.2.7

Vollstandige¨

Induktion

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

41

¨

3.2.8

Ubungen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

42

3.3 Rekursion

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

42

¨

3.3.1

Ubungen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

43

4 Analysis

45

4.1 Funktionen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

45

4.1.1 Injektivitat¨

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

46

Surjektivitat¨

4.1.2 .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

46

4.1.3 Bijektivitat¨

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

47

¨

4.1.4 Ubung .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

47

4.2 Folgen .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

47

4.2.1 Folgen

Beispiele fur¨

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

47

¨

Ubungen

4.2.2 .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

48

4.2.3 Konvergenz von Folgen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

48

4.2.4 Rechenregeln fur¨

konvergente Folgen

.

.

</