Inhalt:

• Aufbau der Zahlenbereiche von den natürlichen bis zu den reellen Zahlen, Vollständigkeitseigenschaft der reellen Zahlen
• Polynome, Nullstellen und Polynominterpolation
• Exponential- und Logarithmusfunktion, trigonometrische Funktionen
• Komplexe Zahlen, komplexe Exponentialfunktion und komplexe Wurzeln
• Konvergenz von Folgen und Reihen, Konvergenz und Stetigkeit von Funktionen, O-Notation
• Differentialrechnung: Ableitung einer Funktion, ihre Interpretation und Anwendungen
• Intergralrechnung: Bestimmtes und unbestimmtes Integral, Hauptsatz der Differential- und Intergralrechnung, Anwendungen
• Potenzreihen
• Grundlagen der Stochstik: Wahrscheinlichkeitsräume, diskrete und stetige Zufallsvariable, Erwartungswert und Varianz

• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6. Auflage 2001
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• Peter Hartmann: Mathematik für Informatiker, Vieweg, 4. Auflage 2006
• Thomas Westermann: Mathematik für Ingenieure mit Maple 1, Springer-Verlag, 4. Auflage 2005

Freischaltung der Anmeldung zu Tutorien wird rechtzeitig bekanntgegeben.

Inhalt:

• Aufbau der Zahlenbereiche von den natürlichen bis zu den reellen Zahlen, Vollständigkeitseigenschaft der reellen Zahlen
• Polynome, Nullstellen und Polynominterpolation
• Exponential- und Logarithmusfunktion, trigonometrische Funktionen
• Komplexe Zahlen, komplexe Exponentialfunktion und komplexe Wurzeln
• Konvergenz von Folgen und Reihen, Konvergenz und Stetigkeit von Funktionen, O-Notation
• Differentialrechnung: Ableitung einer Funktion, ihre Interpretation und Anwendungen
• Intergralrechnung: Bestimmtes und unbestimmtes Integral, Hauptsatz der Differential- und Intergralrechnung, Anwendungen
• Potenzreihen
• Grundlagen der Stochstik: Wahrscheinlichkeitsräume, diskrete und stetige Zufallsvariable, Erwartungswert und Varianz

• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6. Auflage 2001
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• Peter Hartmann: Mathematik für Informatiker, Vieweg, 4. Auflage 2006
• Thomas Westermann: Mathematik für Ingenieure mit Maple 1, Springer-Verlag, 4. Auflage 2005

Freischaltung der Anmeldung zu Tutorien wird rechtzeitig bekanntgegeben.

Inhalte

Studentinnen und Studenten erlernen die Grundlagen des Programmierens im Kleinen.

Es werden die Grundlagen der Berechenbarkeit (Lambda-Kalkül, primitive Rekursion, Fixpunkte), eine Einführung in die Theorie der Programmiersprachen (Syntax (Backus-Naur-Form), operationale Semantik, Daten und Programm) gegeben.

Es werden Konzepte funktionaler Programmierung (z. B. elementare Datentypen, Ausdrücke, Funktionsdefinition, Rekursion, Funktionsabstraktion, Closure, Funktionen höherer Ordnung, universelle Polymorphie) und deren Ausführung (Auswertungsstrategien) eingeführt. Es werden Techniken zum Beweisen von Programmeigenschaften (Termersetzung, strukturelle Induktion, Terminierung, Church-Rosser-Theorem) und deren Anwendungen (Typsysteme, Typherleitung und Typüberprüfung) eingeführt.

Grundlegende Abstraktionen wie algebraische und abstrakte Datentypen und modularer Programmentwurf, sowie Nebenwirkungen (z. B. durch Monaden) anhand von Ein- und Ausgabe werden behandelt.

• Simon Thompson: Haskell: The Craft of Functional Programming, Third Edition, Addison-Wesley, 2011.
• Graham Hutton: Programming in Haskell, Cambridge University Press, 2007
• Bird, R./Wadler, Ph.: Einführung in Funktionale Programmierung, Hanser Verlag, 1982.
• Hans Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, Springer-Verlag, 1978.

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!

Beginnst Du im Sommersemester Dein Studium an der FU Berlin? Ist Dein Studienfach Informatik oder Mathematik? Dann bist Du herzlich zu unserem Brückenkurs eingeladen! Im Brückenkurs wirst du die wichtigsten mathematischen Grundlagen wiederholen.

Weitere Infos und ein genauer Terminplan folgen. Wenn Du auf dem Laufenden bleiben möchtest, kannst Du Dich gerne in unsere Mailingliste eintragen

Mathematisch-logisches Denken ist für das Lösen von Problemen der Informatik essentiell. Da hinsichtlich dieser Voraussetzungen in den letzten Jahren in den Informatik-Anfängervorlesungen einige Defizite deutlich wurden, werden im Rahmen des Brückenkurses die wichtigsten mathematischen Grundlagen wiederholt. Schwerpunkte sind: elementare Mengenlehre, Relationen und Funktionen, logische Grundlagen, Umgang mit mathematischen Formeln und das Verstehen von mathematischen Beweisen.

• Meinel, Mundhenk; Mathematische Grundlagen der Informatik, Teubner Verlag

Der Brückenkurs richtet sich an alle Studienanfänger in den Fächern Informatik und Mathematik.

• Lineare Algebra:
  • Vektorraum, Basis und Dimension;
  • lineare Abbildung, Matrix und Rang;
  • Gauss-Elimination und lineare Gleichungssysteme;
  • Determinanten, Eigenwerte und Eigenvektoren;
  • Euklidische Vektorräume und Orthonormalisierung;
  • Hauptachsentransformation
• Anwendungen der linearen Algebra in der affinen Geometrie, Statistik und Codierungstheorie (lineare Codes)

• Klaus Jänich: Lineare Algebra, Springer-Lehrbuch, 10. Auflage 2004
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• G. Grimmett, D. Welsh: Probability - An Introduction, Oxford Science Publications 1986
• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6. Auflage 2001
• G. Berendt: Mathematik für Informatiker, Spektrum Akademischer Verlag 1994
• Oliver Pretzel: Error-Correcting Codes and Finite Fields, Oxford Univ. Press 1996

Freischaltung der Anmeldung zu Tutorien wird rechtzeitig bekanntgegeben.

Inhalt

In einem vorbereitenden Kolloquium werden aktuelle Unterrichtsmethoden für Tutorien zur Mathematik und Informatik vorgestellt und diskutiert. Anschließend findet noch während der Semesterferien ein Vorstellungsgespräch mit dem Tutorenauswahlausschuss statt, in dem die Eignung als Tutor festgestellt wird.

Nach erfolgreicher Eignungsfeststellung wird ein Tutorium zu einer selbst gewählten Veranstaltung des Pflichtbereichs vorbereitet, durchgeführt, dokumentiert und analysiert.

Seifert, J. W.: Visualisieren Präsentieren Moderieren. GABAL Verlag, 16. Auflage 2001

Termine und Raum nach Vereinbarung

Vorbesprechung am Do, 19. 7. um 14:15 im SR 049, Takustr. 9

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

Inhalt:

• Aufbau der Zahlenbereiche von den natürlichen bis zu den reellen Zahlen, Vollständigkeitseigenschaft der reellen Zahlen
• Polynome, Nullstellen und Polynominterpolation
• Exponential- und Logarithmusfunktion, trigonometrische Funktionen
• Komplexe Zahlen, komplexe Exponentialfunktion und komplexe Wurzeln
• Konvergenz von Folgen und Reihen, Konvergenz und Stetigkeit von Funktionen, O-Notation
• Differentialrechnung: Ableitung einer Funktion, ihre Interpretation und Anwendungen
• Intergralrechnung: Bestimmtes und unbestimmtes Integral, Hauptsatz der Differential- und Intergralrechnung, Anwendungen
• Potenzreihen
• Grundlagen der Stochstik: Wahrscheinlichkeitsräume, diskrete und stetige Zufallsvariable, Erwartungswert und Varianz

• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6. Auflage 2001
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• Peter Hartmann: Mathematik für Informatiker, Vieweg, 4. Auflage 2006
• Thomas Westermann: Mathematik für Ingenieure mit Maple 1, Springer-Verlag, 4. Auflage 2005

Freischaltung der Anmeldung zu Tutorien wird rechtzeitig bekanntgegeben.

Inhalt

In einem vorbereitenden Kolloquium werden aktuelle Unterrichtsmethoden für Tutorien zur Mathematik und Informatik vorgestellt und diskutiert. Anschließend findet noch während der Semesterferien ein Vorstellungsgespräch mit dem Tutorenauswahlausschuss statt, in dem die Eignung als Tutor festgestellt wird.

Nach erfolgreicher Eignungsfeststellung wird ein Tutorium zu einer selbst gewählten Veranstaltung des Pflichtbereichs vorbereitet, durchgeführt, dokumentiert und analysiert.

Seifert, J. W.: Visualisieren Präsentieren Moderieren. GABAL Verlag, 16. Auflage 2001

Termine und Raum nach Vereinbarung

Vorbesprechung am Do, 19. 7. um 14:15 im SR 049, Takustr. 9

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

• Lineare Algebra:
  • Vektorraum, Basis und Dimension;
  • lineare Abbildung, Matrix und Rang;
  • Gauss-Elimination und lineare Gleichungssysteme;
  • Determinanten, Eigenwerte und Eigenvektoren;
  • Euklidische Vektorräume und Orthonormalisierung;
  • Hauptachsentransformation
• Anwendungen der linearen Algebra in der affinen Geometrie, Statistik und Codierungstheorie (lineare Codes)

• Klaus Jänich: Lineare Algebra, Springer-Lehrbuch, 10. Auflage 2004
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• G. Grimmett, D. Welsh: Probability - An Introduction, Oxford Science Publications 1986
• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6. Auflage 2001
• G. Berendt: Mathematik für Informatiker, Spektrum Akademischer Verlag 1994
• Oliver Pretzel: Error-Correcting Codes and Finite Fields, Oxford Univ. Press 1996

Freischaltung der Anmeldung zu Tutorien wird rechtzeitig bekanntgegeben.

Inhalt

In einem vorbereitenden Kolloquium werden aktuelle Unterrichtsmethoden für Tutorien zur Mathematik und Informatik vorgestellt und diskutiert. Anschließend findet noch während der Semesterferien ein Vorstellungsgespräch mit dem Tutorenauswahlausschuss statt, in dem die Eignung als Tutor festgestellt wird.

Nach erfolgreicher Eignungsfeststellung wird ein Tutorium zu einer selbst gewählten Veranstaltung des Pflichtbereichs vorbereitet, durchgeführt, dokumentiert und analysiert.

Seifert, J. W.: Visualisieren Präsentieren Moderieren. GABAL Verlag, 16. Auflage 2001

Termine und Raum nach Vereinbarung

Vorbesprechung am Do, 19. 7. um 14:15 im SR 049, Takustr. 9

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

Inhalt

Das Proseminar vertieft Inhalte aus den Grundvorlesungen der Arbeitsgruppe Theoretische Informatik. Im Wintersemester werden weiterführende Themen aus der Berechenbarkeits- und Sprachentheorie behandelt (im Anschluss an "Grundlagen der theoretischen Informatik"); im Sommersemester geht es um Themen aus der Algorithmik (im Anschluss an "Algorithmen, Datenstrukturen, und Datenabstraktion").

Voraussetzungen

zwei abgeschlossene Fachsemester Informatik, Leistungsnachweis GTI

wird mit der Ankündigung bekannt gegeben

Inhalt

In einem vorbereitenden Kolloquium werden aktuelle Unterrichtsmethoden für Tutorien zur Mathematik und Informatik vorgestellt und diskutiert. Anschließend findet noch während der Semesterferien ein Vorstellungsgespräch mit dem Tutorenauswahlausschuss statt, in dem die Eignung als Tutor festgestellt wird.

Nach erfolgreicher Eignungsfeststellung wird ein Tutorium zu einer selbst gewählten Veranstaltung des Pflichtbereichs vorbereitet, durchgeführt, dokumentiert und analysiert.

Seifert, J. W.: Visualisieren Präsentieren Moderieren. GABAL Verlag, 16. Auflage 2001

Termine und Raum nach Vereinbarung

Vorbesprechung am Do, 19. 7. um 14:15 im SR 049, Takustr. 9

Inhalt

Im Mittelpunkt stehen zunächst der Begriff des Algorithmus und der Weg von der Problemstellung über die algorithmische Lösung zum Programm. Anhand zahlreicher Beispiele werden Grundprinzipien des Algorithmenentwurfs erläutert. Die Implementierung der Algorithmen wird verbunden mit der Einführung der funktionalen Programmiersprache Haskell. Im Weiteren werden die theoretischen, technischen und organisatorischen Grundlagen von Rechnersystemen vorgestellt. Dabei werden die Themen Binärdarstellung von Informationen im Rechner, Boolesche Funktionen und ihre Berechnung durch Schaltnetze, Schaltwerke für den Aufbau von Prozessoren und das von- Neumann-Rechnermodell behandelt.

Voraussetzungen

Zur Vorbereitung wird der Besuch des Brückenkurses empfohlen.

• S. Thompson; Haskell: The Craft of Functional Programming; Addison-Wesley
• F. Rabhi, G. Lapalme; Algorithms: A Functional Proramming Approach; Addison-Wesley
• G. Hutton; Programming in Haskell; Cambridge University Press
• A. Tanenbaum, J. Goodman; Computerarchitektur; Pearson Studium

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

• Lineare Algebra:
  • Vektorraum, Basis und Dimension;
  • lineare Abbildung, Matrix und Rang;
  • Gauss-Elimination und lineare Gleichungssysteme;
  • Determinanten, Eigenwerte und Eigenvektoren;
  • Euklidische Vektorräume und Orthonormalisierung;
  • Hauptachsentransformation
• Anwendungen der linearen Algebra in der affinen Geometrie, Statistik und Codierungstheorie (lineare Codes)

• Klaus Jänich: Lineare Algebra, Springer-Lehrbuch, 10. Auflage 2004
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• G. Grimmett, D. Welsh: Probability - An Introduction, Oxford Science Publications 1986
• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6. Auflage 2001
• G. Berendt: Mathematik für Informatiker, Spektrum Akademischer Verlag 1994
• Oliver Pretzel: Error-Correcting Codes and Finite Fields, Oxford Univ. Press 1996

Freischaltung der Anmeldung zu Tutorien wird rechtzeitig bekanntgegeben.

Inhalt:

• Theoretische Rechnermodelle
  • Automaten
  • formale Sprachen
  • Grammatiken und die Chomsky-Hierarchie
  • Turing-Maschinen
  • Berechenbarkeit
• Einführung in die Komplexität von Problemen

• Uwe Schöning, Theoretische Informatik kurzgefasst, 5. Auflage, Spektrum Akademischer Verlag, 2008
• John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexität, Pearson Studium, 3. Auflage, 2011
• Ingo Wegener: Theoretische Informatik - Eine algorithmenorientierte Einführung, 2. Auflage, Teubner, 1999
• Michael Sipser, Introduction to the Theory of Computation, 2nd ed., Thomson Course Technology, 2006
• Wegener, Kompendium theoretische Informatik - Eine Ideensammlung, Teubner 1996

Inhalt

Die thematischen Schwerpunkte sind:

• Grundlagen der Programmierung: Imperative und objekt-orientierte Programmierung
• Algorithmen und Datenstrukturen: Entwurf und Implementierung von Datenstrukturen
• Analyse von Algorithmen

Programmiert wird in C++.

Zielgruppe

Studierende mit dem Nebenfach Informatik und Studierende der Bioinformatik

• Goodrich, Tamassia: Data Structures and Algorithms in C++
• Stroustrup: Die C++ Programmiersprache
• Cormen, Leiserson, Rivest, Stein: Introduction to Algorithms
• Kleinberg, Tardos: Algorithm Design
• Schöning: Algorithmen - kurz gefasst

Inhalt

In einem vorbereitenden Kolloquium werden aktuelle Unterrichtsmethoden für Tutorien zur Mathematik und Informatik vorgestellt und diskutiert. Anschließend findet noch während der Semesterferien ein Vorstellungsgespräch mit dem Tutorenauswahlausschuss statt, in dem die Eignung als Tutor festgestellt wird.

Nach erfolgreicher Eignungsfeststellung wird ein Tutorium zu einer selbst gewählten Veranstaltung des Pflichtbereichs vorbereitet, durchgeführt, dokumentiert und analysiert.

Seifert, J. W.: Visualisieren Präsentieren Moderieren. GABAL Verlag, 16. Auflage 2001

Termine und Raum nach Vereinbarung

Vorbesprechung am Do, 19. 7. um 14:15 im SR 049, Takustr. 9

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

Beginnst Du Dein Studium an der FU Berlin? Ist Dein Studienfach Informatik oder Mathematik? Dann bist Du herzlich zu unserem Brückenkurs eingeladen! Im Brückenkurs wirst

• du die Institute für Informatik und Mathematik kennen lernen,
• deinen Account einrichten,
• dich für deine Vorlesungen anmelden,
• die wichtigsten mathematischen Grundlagen wiederholen,
• und viele nette Menschen kennen lernen.

Weitere Infos und ein genauer Terminplan folgen. Wenn Du auf dem Laufenden bleiben möchtest, kannst Du Dich gerne in unsere Mailingliste eintragen

Mathematisch-logisches Denken ist für das Lösen von Problemen der Informatik essentiell. Da hinsichtlich dieser Voraussetzungen in den letzten Jahren in den Informatik-Anfängervorlesungen einige Defizite deutlich wurden, werden im Rahmen des Brückenkurses die wichtigsten mathematischen Grundlagen wiederholt. Schwerpunkte sind: elementare Mengenlehre, Relationen und Funktionen, logische Grundlagen, Umgang mit mathematischen Formeln und das Verstehen von mathematischen Beweisen.

• Meinel, Mundhenk; Mathematische Grundlagen der Informatik, Teubner Verlag

• Aussagenlogik und mathematische Beweistechniken
• Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
• Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
• Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
• Prädikatenlogik und mathematische Strukturen
• Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
• Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume

• Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 2. Auflage 2002
• Uwe Schöning: Logik für Informatiker, B.I.-Wissenschaftsverlag; 5. Auflage 2000
• Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
• M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004

Inhalt:

• Aufbau der Zahlenbereiche von den natürlichen bis zu den reellen Zahlen, Vollständigkeitseigenschaft der reellen Zahlen
• Polynome, Nullstellen und Polynominterpolation
• Exponential- und Logarithmusfunktion, trigonometrische Funktionen
• Komplexe Zahlen, komplexe Exponentialfunktion und komplexe Wurzeln
• Konvergenz von Folgen und Reihen, Konvergenz und Stetigkeit von Funktionen, O-Notation
• Differentialrechnung: Ableitung einer Funktion, ihre Interpretation und Anwendungen
• Intergralrechnung: Bestimmtes und unbestimmtes Integral, Hauptsatz der Differential- und Intergralrechnung, Anwendungen
• Potenzreihen
• Grundlagen der Stochstik: Wahrscheinlichkeitsräume, diskrete und stetige Zufallsvariable, Erwartungswert und Varianz

• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6. Auflage 2001
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• Peter Hartmann: Mathematik für Informatiker, Vieweg, 4. Auflage 2006
• Thomas Westermann: Mathematik für Ingenieure mit Maple 1, Springer-Verlag, 4. Auflage 2005

Freischaltung der Anmeldung zu Tutorien wird rechtzeitig bekanntgegeben.

Inhalt

In einem vorbereitenden Kolloquium werden aktuelle Unterrichtsmethoden für Tutorien zur Mathematik und Informatik vorgestellt und diskutiert. Anschließend findet noch während der Semesterferien ein Vorstellungsgespräch mit dem Tutorenauswahlausschuss statt, in dem die Eignung als Tutor festgestellt wird.

Nach erfolgreicher Eignungsfeststellung wird ein Tutorium zu einer selbst gewählten Veranstaltung des Pflichtbereichs vorbereitet, durchgeführt, dokumentiert und analysiert.

Seifert, J. W.: Visualisieren Präsentieren Moderieren. GABAL Verlag, 16. Auflage 2001

Termine und Raum nach Vereinbarung

Vorbesprechung am Do, 19. 7. um 14:15 im SR 049, Takustr. 9

Inhalt

Im Mittelpunkt stehen zunächst der Begriff des Algorithmus und der Weg von der Problemstellung über die algorithmische Lösung zum Programm. Anhand zahlreicher Beispiele werden Grundprinzipien des Algorithmenentwurfs erläutert. Die Implementierung der Algorithmen wird verbunden mit der Einführung der funktionalen Programmiersprache Haskell. Im Weiteren werden die theoretischen, technischen und organisatorischen Grundlagen von Rechnersystemen vorgestellt. Dabei werden die Themen Binärdarstellung von Informationen im Rechner, Boolesche Funktionen und ihre Berechnung durch Schaltnetze, Schaltwerke für den Aufbau von Prozessoren und das von- Neumann-Rechnermodell behandelt.

Voraussetzungen

Zur Vorbereitung wird der Besuch des Brückenkurses empfohlen.

• S. Thompson; Haskell: The Craft of Functional Programming; Addison-Wesley
• F. Rabhi, G. Lapalme; Algorithms: A Functional Proramming Approach; Addison-Wesley
• G. Hutton; Programming in Haskell; Cambridge University Press
• A. Tanenbaum, J. Goodman; Computerarchitektur; Pearson Studium

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

Inhalt

In einem vorbereitenden Kolloquium werden aktuelle Unterrichtsmethoden für Tutorien zur Mathematik und Informatik vorgestellt und diskutiert. Anschließend findet noch während der Semesterferien ein Vorstellungsgespräch mit dem Tutorenauswahlausschuss statt, in dem die Eignung als Tutor festgestellt wird.

Nach erfolgreicher Eignungsfeststellung wird ein Tutorium zu einer selbst gewählten Veranstaltung des Pflichtbereichs vorbereitet, durchgeführt, dokumentiert und analysiert.

Seifert, J. W.: Visualisieren Präsentieren Moderieren. GABAL Verlag, 16. Auflage 2001

Termine und Raum nach Vereinbarung

Diese Vorlesung gibt einen Einblick in aktuelle Forschungsthemen im Bereich der Algorithmik, die in aktuellen Projekten am Institut für Informatik bearbeitet werden. Da der Inhalt den aktuell laufenden Themen angepasst wird, kann er nicht im Vorhinein festgelegt werden.

Wird noch bekannt gegeben.

Empfohlene Vorkenntnisse:

Schein in "Höhere Algorithmik" oder ähnliches.

Zielgruppe:

Studierende im Masterstudiengang Informatik oder Mathematik in den höheren Semestern des Bachelorstudiengangs.

Inhalt

Fortgeschrittene Themen des Algorithmenentwurfs mit wechselnden Schwerpunkten. Der Inhalt ist nicht im Vorhinein bestimmt, sondern wird in jedem Semester neu festgelegt. Exemplarisch könnten Algorithmen für graphentheoretische Probleme, zum Beispiel über (mehrfachen) Zusammenhang, kürzeste Wege, Flüsse, behandelt werden.

Zielgruppe

Master-Studierende der Informatik oder Mathematik

Empfohlene Vorkenntnisse

Vorlesung "Höhere Algorithmik" oder vergleichbare Veranstaltung

Spezialliteratur aus Zeitschriften

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

Inhalt:

• Aufbau der Zahlenbereiche von den natürlichen bis zu den reellen Zahlen, Vollständigkeitseigenschaft der reellen Zahlen
• Polynome, Nullstellen und Polynominterpolation
• Exponential- und Logarithmusfunktion, trigonometrische Funktionen
• Komplexe Zahlen, komplexe Exponentialfunktion und komplexe Wurzeln
• Konvergenz von Folgen und Reihen, Konvergenz und Stetigkeit von Funktionen, O-Notation
• Differentialrechnung: Ableitung einer Funktion, ihre Interpretation und Anwendungen
• Intergralrechnung: Bestimmtes und unbestimmtes Integral, Hauptsatz der Differential- und Intergralrechnung, Anwendungen
• Potenzreihen
• Grundlagen der Stochstik: Wahrscheinlichkeitsräume, diskrete und stetige Zufallsvariable, Erwartungswert und Varianz

• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6. Auflage 2001
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• Peter Hartmann: Mathematik für Informatiker, Vieweg, 4. Auflage 2006
• Thomas Westermann: Mathematik für Ingenieure mit Maple 1, Springer-Verlag, 4. Auflage 2005

Freischaltung der Anmeldung zu Tutorien wird rechtzeitig bekanntgegeben.

Inhalt

In einem vorbereitenden Kolloquium werden aktuelle Unterrichtsmethoden für Tutorien zur Mathematik und Informatik vorgestellt und diskutiert. Anschließend findet noch während der Semesterferien ein Vorstellungsgespräch mit dem Tutorenauswahlausschuss statt, in dem die Eignung als Tutor festgestellt wird.

Nach erfolgreicher Eignungsfeststellung wird ein Tutorium zu einer selbst gewählten Veranstaltung des Pflichtbereichs vorbereitet, durchgeführt, dokumentiert und analysiert.

Seifert, J. W.: Visualisieren Präsentieren Moderieren. GABAL Verlag, 16. Auflage 2001

Termine und Raum nach Vereinbarung

Vorbesprechung am Do, 19. 7. um 14:15 im SR 049, Takustr. 9

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

• Lineare Algebra:
  • Vektorraum, Basis und Dimension;
  • lineare Abbildung, Matrix und Rang;
  • Gauss-Elimination und lineare Gleichungssysteme;
  • Determinanten, Eigenwerte und Eigenvektoren;
  • Euklidische Vektorräume und Orthonormalisierung;
  • Hauptachsentransformation
• Anwendungen der linearen Algebra in der affinen Geometrie, Statistik und Codierungstheorie (lineare Codes)

• Klaus Jänich: Lineare Algebra, Springer-Lehrbuch, 10. Auflage 2004
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• G. Grimmett, D. Welsh: Probability - An Introduction, Oxford Science Publications 1986
• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6. Auflage 2001
• G. Berendt: Mathematik für Informatiker, Spektrum Akademischer Verlag 1994
• Oliver Pretzel: Error-Correcting Codes and Finite Fields, Oxford Univ. Press 1996

Freischaltung der Anmeldung zu Tutorien wird rechtzeitig bekanntgegeben.

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

• Analyse von Sortierverfahren: Mergesort, Quicksort, u.a.
• ADTs Prioritätswarteschlange und Wörterbuch und zugehörige Datenstrukturen: Heaps, Hashing, binäre Suchbäume, B-Bäume, u.a.
• Algorithmen auf Graphen: Breiten- und Tiefensuche, topologisches Sortieren, minimale Spannbäume, kürzeste Wege.
• Algorithmen für Mengen von Zeichenketten.
• Speicherverwaltung.
• Verschiedene Entwurfstechniken für Algorithmen: teile-und-herrsche, greedy, dynamische Programmierung.
• Mathematische Analyse von Algorithmen bezüglich ihres Resourcenbedarfs: Laufzeit, Speicherplatz.

• M.T. Goodrich, R. Tamassia: Data Structures and Algorithms in Java. Wiley 2004
• R. H. Güting, S. Dieker: Datenstrukturen und Algorithmen, Teubner 2003
• Cormen, Leiserson, Rivest: Algorithmen, Oldenbourg 2004
• R. Sedgewick: Algorithmen in Java. (Teil 1-4), Pearson 2003

• Aussagenlogik und mathematische Beweistechniken
• Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
• Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
• Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
• Prädikatenlogik und mathematische Strukturen
• Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
• Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume

• Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 2. Auflage 2002
• Uwe Schöning: Logik für Informatiker, B.I.-Wissenschaftsverlag; 5. Auflage 2000
• Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
• M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

Inhalt:

• Theoretische Rechnermodelle
  • Automaten
  • formale Sprachen
  • Grammatiken und die Chomsky-Hierarchie
  • Turing-Maschinen
  • Berechenbarkeit
• Einführung in die Komplexität von Problemen

• Uwe Schöning, Theoretische Informatik kurzgefasst, 5. Auflage, Spektrum Akademischer Verlag, 2008
• John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexität, Pearson Studium, 3. Auflage, 2011
• Ingo Wegener: Theoretische Informatik - Eine algorithmenorientierte Einführung, 2. Auflage, Teubner, 1999
• Michael Sipser, Introduction to the Theory of Computation, 2nd ed., Thomson Course Technology, 2006
• Wegener, Kompendium theoretische Informatik - Eine Ideensammlung, Teubner 1996

Inhalt

Das Proseminar vertieft Inhalte aus den Grundvorlesungen der Arbeitsgruppe Theoretische Informatik. Im Wintersemester werden weiterführende Themen aus der Berechenbarkeits- und Sprachentheorie behandelt (im Anschluss an "Grundlagen der theoretischen Informatik"); im Sommersemester geht es um Themen aus der Algorithmik (im Anschluss an "Algorithmen, Datenstrukturen, und Datenabstraktion").

Voraussetzungen

zwei abgeschlossene Fachsemester Informatik, Leistungsnachweis GTI

wird mit der Ankündigung bekannt gegeben

Mathematisch-logisches Denken ist eine wichtige Grundlage für die Beschäftigung mit Problemen der Mathematik und Informatik. Da hinsichtlich dieser Voraussetzungen in den letzten Jahren in den Anfängervorlesungen einige Defizite deutlich wurden, wendet sich dieser Brückenkurs an alle Studienanfänger der Informatik und Mathematik, die hier noch einen persönlichen Nachholbedarf sehen oder sich einfach besser auf die Anforderungen der Hochschulmathematik vorbereiten wollen. Die einzelnen Schwerpunkte des Brückenkurses sind: elementare Mengenlehre, Relationen und Funktionen, logische Grundlagen, Umgang mit mathematischen Formeln und das Verstehen von mathematischen Beweisen.

Skript: http://www.inf.fu-berlin.de/lehre/SS16/bruecke/skript15.pdf

Nachmittags werden von den MentorInnen und FSIs verschiedene Veranstaltungen zur Orientierung, zu organisatorischen Fragen (Studienplanung, Anmeldung zu Veranstaltungen etc.) und zum gegenseitigen Kennenlernen angeboten.

Ablaufplan:

http://fsi.spline.de/wp-content/uploads/2016/04/o-wochen-plan_sose16.pdf

• Meinel, Mundhenk; Mathematische Grundlagen der Informatik, Teubner Verlag

Zielgruppe:

StudienanfängerInnen der Informatik und Mathematik (auch Nebenfach)

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

Inhalt:

• Aufbau der Zahlenbereiche von den natürlichen bis zu den reellen Zahlen, Vollständigkeitseigenschaft der reellen Zahlen
• Polynome, Nullstellen und Polynominterpolation
• Exponential- und Logarithmusfunktion, trigonometrische Funktionen
• Komplexe Zahlen, komplexe Exponentialfunktion und komplexe Wurzeln
• Konvergenz von Folgen und Reihen, Konvergenz und Stetigkeit von Funktionen, O-Notation
• Differentialrechnung: Ableitung einer Funktion, ihre Interpretation und Anwendungen
• Intergralrechnung: Bestimmtes und unbestimmtes Integral, Hauptsatz der Differential- und Intergralrechnung, Anwendungen
• Potenzreihen
• Grundlagen der Stochstik: Wahrscheinlichkeitsräume, diskrete und stetige Zufallsvariable, Erwartungswert und Varianz

• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6. Auflage 2001
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• Gerhard Berendt: Mathematische Grundlagen der Informatik, Band 2, B.I.-Wissenschaftsverlag; 1990
• Thomas Westermann: Mathematik für Ingenieure mit Maple 1, Springer-Verlag, 4. Auflage 2005

Freischaltung der Anmeldung zu Tutorien wird rechtzeitig bekanntgegeben.

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

Beginnst Du im Wintersemester Dein Studium an der FU Berlin? Ist Dein Studienfach Informatik oder Bioinformatik? Dann bist Du herzlich zu unserem Brückenkurs eingeladen! Im Brückenkurs wirst

• du die Institute für Informatik und Bioinformatik kennen lernen,
• deinen Account einrichten,
• dich für deine Vorlesungen anmelden,
• die wichtigsten mathematischen Grundlagen wiederholen,
• und viele nette Menschen kennen lernen.

Weitere Infos und ein genauer Terminplan folgen. Wenn Du auf dem Laufenden bleiben möchtest, kannst Du Dich gerne in unsere Mailingliste eintragen

Mathematisch-logisches Denken ist für das Lösen von Problemen der Informatik essentiell. Da hinsichtlich dieser Voraussetzungen in den letzten Jahren in den Informatik-Anfängervorlesungen einige Defizite deutlich wurden, werden im Rahmen des Brückenkurses die wichtigsten mathematischen Grundlagen wiederholt. Schwerpunkte sind: elementare Mengenlehre, Relationen und Funktionen, logische Grundlagen, Umgang mit mathematischen Formeln und das Verstehen von mathematischen Beweisen.

• Skript
• Meinel, Mundhenk; Mathematische Grundlagen der Informatik, Teubner Verlag

Der Brückenkurs richtet sich an alle Studienanfänger in den Fächern Informatik und Bio-Informatik.

• Lineare Algebra:
  • Vektorraum, Basis und Dimension;
  • lineare Abbildung, Matrix und Rang;
  • Gauss-Elimination und lineare Gleichungssysteme;
  • Determinanten, Eigenwerte und Eigenvektoren;
  • Euklidische Vektorräume und Orthonormalisierung;
  • Hauptachsentransformation
• Anwendungen der linearen Algebra in der affinen Geometrie, Statistik und Codierungstheorie (lineare Codes)
• Grundbegriffe der Stochastik:
  • Diskrete und stetige Wahrscheinlichkeitsräume, Unabhängigkeit von Ereignissen;
  • Zufallsvariable und Standardverteilungen;
  • Erwartungswert und Varianz

• Klaus Jänich: Lineare Algebra, Springer-Lehrbuch, 10. Auflage 2004
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• G. Grimmett, D. Welsh: Probability - An Introduction, Oxford Science Publications 1986
• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6. Auflage 2001
• G. Berendt: Mathematik für Informatiker, Spektrum Akademischer Verlag 1994
• Oliver Pretzel: Error-Correcting Codes and Finite Fields, Oxford Univ. Press 1996

Freischaltung der Anmeldung zu Tutorien wird rechtzeitig bekanntgegeben.

Inhalt:

Vorträge über eigene Forschung und Originalarbeiten aus der theoretischen Informatik, insbesondere Algorithmen.

Zielgruppe:

Master-Studenten und Dissertanten der Arbeitsgruppe Theoretische Informatik.

Inhalt:

• Aufbau der Zahlenbereiche von den natürlichen bis zu den komplexen Zahlen, Vollständigkeitseigenschaft der reellen Zahlen
• Polynome, Nullstellen und rationale Funktionen, Polynominterpolation
• Exponential- und Logarithmusfunktion, trigonometrische Funktionen
• Konvergenz von Folgen und Reihen, Konvergenz und Stetigkeit von Funktionen,
• Differentialrechnung: Ableitung einer Funktion, ihre Interpretation und Anwendungen
• Integralrechnung: Bestimmtes und unbestimmtes Integral, Hauptsatz der Differential- und Integralrechnung, Anwendungen
• Taylor-Reihen - Grundbegriffe der Differentialrechnung mehrerer Veränderlicher: Partielle Ableitung, Gradient, Jacobi-Matrix
• Lösen einfacher Differentialgleichungen

• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1, Springer-Verlag, 6.Auflage 2001
• Dirk Hachenberger: Mathematik für Informatiker, Pearson 2005
• Gerhard Berendt: Mathematische Grundlagen der Informatik, Band 2, B.I.-Wissenschaftsverlag; 1990
• Thomas Westermann: Mathematik für Ingenieure mit Maple 1, Springer-Verlag, 4.Auflage 2005

Zielgruppe:

Studierende der Bioinformatik im 2. Semester

Voraussetzungen:

Mathematik für Bioinformatiker I

Grundlagen der Berechenbarkeit:

• Lambda-Kalkül
• primitive Rekursion
• µ-Rekursion

Einführung in die Funktionale Programmierung (Haskell):

• Syntax (Backus-Naur-Form)
• primitive Datentypen, Listen, Tupel, Zeichenketten
• Ausdrücke, Funktionsdefinitionen, Rekursion und Iteration
• Funktionen höherer Ordnung, Polymorphie
• Typsystem, Typherleitung und –überprüfung
• Algebraische und abstrakte Datentypen
• Ein- und Ausgabe
• Such- und Sortieralgorithmen

Beweisen von Programmeigenschaften:

• Termersetzung
• strukturelle Induktion
• Terminierung

Implementierung und Programmiertechnik:

• Auswertungsstrategien für funktionale Programme
• Modularer Programmentwurf

• Simon Thompson: Haskell: The Craft of Functional Programming, 2nd Edition, Addison-Wesley, 1999
• Graham Hutton: Programming in Haskell, Cambridge University Press, 2007
• Bird, R./Wadler, Ph.: Einführung in Funktionale Programmierung, Hanser Verlag, 1982
• Hans Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, Springer-Verlag 1978

Vorträge über eigene Forschung, Bachelor-, Diplom- und Masterarbeiten, sowie Originalarbeiten aus der Theoretischen Informatik, insbesondere Algorithmen.

Inhalt:

Das Proseminar baut auf den ALP-Vorlesungen auf.

Zielgruppe:

Bachelorstudenten der Informatik, Bioinformatik und Mathematik

Inhalt

Die thematischen Schwerpunkte sind:

• Grundlagen der Programmierung: Imperative und objekt-orientierte Programmierung
• Algorithmen und Datenstrukturen: Entwurf und Implementierung von Datenstrukturen
• Analyse von Algorithmen

Programmiert wird in Java.

• Goodrich, Tamassia: Data Structures and Algorithms in Java
• Cormen, Leiserson, Rivest: Introduction to Algorithms
• Lewis, Chase: Java Software Structures
• Sedgewick: Algorithms in Java
• Kleinberg, Tardos: Algorithm Design,
• Schöning: Algorithmen - kurz gefasst
• Barnes, Kölling: Objektorientierte Programmierung mit Java

Zielgruppe

Studierende mit dem Nebenfach Informatik und Studierende der Bioinformatik