Inhalt:

  • Aussagenlogik und mathematische Beweistechniken
  • Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen
  • Funktionen
  • Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
  • Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
  • Lineare Algebra: Vektorraum, Basis und Dimension; lineare Abbildung,
  • Matrix und Rang; Gauss-Elemination und lineare Gleichungssysteme
  • Determinanten, Eigenwerte und Eigenvektoren; Euklidische Vektorräume und Orthonormalisierung; Hauptachsentransformation
  • Anwendungen der linearen Algebra in der affinen Geometrie

 

Zielgruppe:

Studierende der Bioinformatik im 1. Semester

 

Voraussetzungen:

Empfohlen wird der Besuch der Veranstaltung: Brückenkurs: Informatik und Bioinformatik (19320973)


Literatur:

Peter Hartmann: Mathematik für Informatiker, 6. Auflage,Springer Vieweg
Daniel Grieser: Mathematisches Problemlösen und Beweisen, Springer Spektrum                                          
Gerd Fischer: Lineare Algebra, Springer Vieweg
Graham, Knuth, Patashnik: Concrete Mathematics

 

Übungen:

Die Übungszettel werden spätestens am Mittwoch online gestellt und in der Woche darauf besprochen. Diskussionen und Tipps gibt es hier im Forum. Die Übungen müssen in der darauffolgenden Woche Dienstags um 12 Uhr in den Tutorenfächern in der A3 abgegeben werden.

Der erste Teil der Vorlesung wird von Professor Reinert gehalten, der zweite von Prof. Siebert.

Die aktive Teilnahme ist erreicht wenn

  • 90 Punkte aus den beiden Übungsreviews erreicht werden
  • 80% der Übungsaufgaben sichtbar bearbeitet sind
  • Sie mindestens eine Aufgabe in den Übungen vorgerechnet haben

Zusätzliche Regelungen bzgl. der Bearbeitung der Übungen werde noch bekannt gegeben.

 

Klausur

Die Klausur findet am 12.02.2019 , 14-16 im Großen Hörsaal, Takustraße 9 statt. Als Hilfsmittel ist ein einseitig handschriftlich beschriebenes DIN A4 Blatt zugelassen. Die Einsicht wird am 19.2.2019 im Raum 005 in der Takustr. 9 stattfinden. Studierende deren Nachnamen mit A-M beginnen, können 10:15-10:45 Einsicht nehmen, die übrigen 10:45-11:15.

Die Nachklausur findet am 03.04.2019, 10-12, im Großen Hörsaal, Takustraße 9 statt.

 

Übersicht:

Datum Inhalt
16.10  Intro/Aussagenlogik 
17.10  Aussagenlogik II + Quantoren
23.10  Prädikate und Quantoren 
24.10  Beweistechniken, Mengenlehre
30.10.  Kartesisches Produkt, Relationen, Äquival. Rel.
31.10.  Partielle Ordnungen, Funktionen
06.11.  Peano Axiome, voll. Induktion, Abzählbarkeit
07.11.  Elementare Zählprinzipien, Fundamentale Zählkoeffizienten I
13.11  Elementare Zählprinzipien, Fundamentale Zählkoeffizienten II
14.11.  Schubfachprinzip und einfache Rekursionen
20.11.  Kalkül endlicher Differenzen I
21.11  Kalkül endlicher Differenzen II
27.11  Kalkül endlicher Differenzen III
28.11  Diskrete Wahrscheinlichkeit
04.12  frei (Uni Geburtstag)
05.12  Review 1
11.12.  Gruppen, Körper, Vektorräume 
12.12.  Lineare Unabhängigkeit
18.12.  Dimension 
19.12.  Lineare Abbildungen
08.01.  Matrizen
09.01.  Elementare Umformungen
15.01.  Gauß Algorithmus
16.01.  Quotientenräume, Inverse
22.01.  Determinante I
23.01.  Review 2
29.01.  Determinante II
30.01.  Diagonalisierbarkeit
05.02.  Eigenwerte und Eigenvektoren
06.02.  Charakteristisches Polynom
12.02.  Klausur
13.02.  keine Veranstaltung