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 in der Woche online gestellt und in der Woche darauf besprochen. Diskussionen und Tipps gibt es hier im Forum. Die Übungen müssen in der darauffolgenden Woche Montags bis 12 Uhr in den Tutorenfächern in der A3 abgegeben werden.
Der erste Teil der Vorlesung wird von Professor Reinert gehalten, der zweite von Dr. Köbis.
Die aktive Teilnahme ist erreicht wenn
- 100 Punkte (50%) 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 21.02.2020, 12-14 im Großen Hörsaal, Takustraße 9 statt. Als Hilfsmittel ist ein einseitig handschriftlich beschriebenes DIN A4 Blatt zugelassen.
Die Nachklausur findet am 12.03.20202, 12-14 ebenfalls im Großen Hörsaal in der Takustraße 9 statt.
Übersicht:
Datum | Inhalt |
---|---|
15.10 | Intro/Aussagenlogik |
18.10 | Aussagenlogik II + Quantoren |
22.10 | Prädikate und Quantoren |
25.10 | Beweistechniken, Mengenlehre |
29.10. | Kartesisches Produkt, Relationen, Äquival. Rel. |
01.11. | Partielle Ordnungen, Funktionen |
05.11. | Peano Axiome, voll. Induktion, Abzählbarkeit |
08.11. | Elementare Zählprinzipien, Fundamentale Zählkoeffizienten I |
12.11 | Elementare Zählprinzipien, Fundamentale Zählkoeffizienten II |
15.11. | Schubfachprinzip und einfache Rekursionen |
19.11. | Kalkül endlicher Differenzen I |
22.11 | Kalkül endlicher Differenzen II |
26.11 | Kalkül endlicher Differenzen III |
29.11 | Diskrete Wahrscheinlichkeit |
03.12 | Quiz (Kahoot) |
06.12 | Review 1 |
10.12. | Gruppen |
13.12. | Körper, Vektorräume |
17.12. | Lineare Unabhängigkeit, Dimension |
20.12. | Lineare Abbildungen |
07.01. | Matrizen |
10.01. | Elementare Umformungen |
14.01. | Gauß Algorithmus |
17.01. | Quotientenräume, Inverse |
22.01. | Determinante I |
24.01. | Review 2 |
28.01. | Determinante II |
31.01. | Diagonalisierbarkeit |
04.02. | Eigenwerte und Eigenvektoren, Charakteristisches Polynom |
07.02. | Anwendung von Eigenwerten, SVD |
11.02. | Skalarprodukt, Projektionen und Orthogonalsysteme |
14.02. | Klausurvorbereitung |