Lehrinhalte:
- Syntax und Semantik der Aussagenlogik, funktionale Vollständigkeit und Normalformen, Kompaktheitssatz der Aussagenlogik, vollständige Beweiskalküle: Resolution und ein Sequenzenkalkül;
- Syntax und Semantik der Logik erster Stufe, Strukturen und Belegungen, Normalformen und Skolemisierung, der Satz von Herbrand und der Kompaktheitsstaz der Logik erster Stufe, vollständige Beweiskalküle: (Grundinstanzen-)Resolution und ein Sequenzenkalkül,
- Gödelscher Vollständigkeitssatz, Unentscheidbarkeit der Logik erster Stufe;
- optional: Exkurse zu Ausdrucksstärke und model checking
Literatur:
- Burris: Logic for Mathematics and Computer Science
- Schöning: Logik für Informatiker
- Boolos, Burgess, Jeffrey: Computability and Logic
- Skript (2 Teile, elektronisch unter www.mathematik.tu-darmstadt.de/~otto)
- Dozent*in: Ulrik Buchholtz
- Dozent*in: Martin Otto
- Dozent*in: Jonathan Weinberger
Übersichtswissen zu Net-Centric Computing (NCC), einem grundlegenden Aspekt der modernen Informatik; tiefes Verständnis und Kenntnis fundamentaler Konzepte im Teilbereich Rechnernetze; Kenntnis grundlegender Methoden zur Modellierung, Planung und Bewertung von Net-Centric Systems
- Grundbegriffe: Dienst, Protokoll, Verbindung, Schichtenmodell
- Wichtigste Protokollmechanismen zu Media Access, Routing, Broad---/Multicast
- Multimedia Data Handling
- Eigenschaften kontinuierlicher Datenströme und deren Verarbeitung
- Dienstgüte: Definition und zentrale Mechanismen
- Multimedia---Synchronisation: Grundlagen
- Kompression: Verfahren; Grundlagen zu Standards(Verweis Auf Weiterführendes)
- Dozent*in: Fritz Beutel
- Dozent*in: Matthias Hollick
- Dozent*in: Maximilian Kratz
- Dozent*in: Annemarie Mattmann
Lehrende: Prof. Ph.D. Sebastian Faust
Veranstaltungsart: Integrierte Veranstaltung
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: FormMeth SWentwurf
Semesterwochenstunden: 3
Unterrichtssprache: Deutsch
- Dozent*in: Andreas Erwig
- Dozent*in: Sebastian Faust
- Dozent*in: Maximilian Orlt
- Dozent*in: Benjamin Schlosser
Informationsmanagement SS 2021
- Dozent*in: Thomas Arnold
- Dozent*in: Carsten Binnig
- Dozent*in: Benjamin Hilprecht
Lehrinhalte:
- Analysis in ℝ: Potenzreihen, Elementarfunktionen, Differential-
und Integralrechnung, Satz von Taylor, Extremwerte, Fourierreihen
- Analysis mehrer Veränderlicher: Stetigkeit, partielle und totale Differenzierbarkeit, Extremwerte, Kurven
- Gewöhnliche Differentialgleichungen: Systeme linearer DGLen, Satz von Picard-Lindelöf
- Allgemeine Algebra: Algebren und Unteralgebren, Homomorphismen, Quotienten
- Dozent*in: Markus Anders
- Dozent*in: Jendrik Brachter
- Dozent*in: Ulrik Buchholtz
- Dozent*in: Kord Eickmeyer
- Dozent*in: Albrun Knof
- Dozent*in: Sukie Vetter
Der Treffpunkt Mathematik ist ein freiwilliges
Zusatzangebot des Fachbereiches Mathematik, das als Ergänzung zu den
grundlegenden Mathematikvorlesungen in den ersten Semestern gedacht ist.
Er besteht seit dem WS
2011/2012. Die
vorlesungsbegleitenden Veranstaltungen werden durch einen Klausurvorbereitungskurs in der vorlesungsfreien Zeit ergänzt.
- Dozent*in: Richard Löscher