Lehrveranstaltungen im 1. Semester (B.Sc. Informatik)

Im Prinzip ist es in unserem Studiengang nicht vorgeschrieben welche Lehrveranstaltungen in welchem Semester belegt werden müssen. Es gibt allerdings einen Regelstudienplan. Sofern du keine ungewöhnliche Vorerfahrung in Informatik und Studium hast, rät es sich sehr, sich gerade im ersten Semester daran zu halten!

Die eine Veranstaltung, die im ersten Semester absolviert werden muss, ist das iMS; mehr Informationen dazu auf der Seite zu Kontakten am Fachbereich!

Im ersten Semester wirst du also wahrscheinlich die Vorlesungen Funktionale und Objektorientierte Programmierkonzepte (FOP), Digitaltechnik (DT), Automaten, Formale Sprachen und Entscheidbarkeit (AFE) und Mathematik 1 für Informatik und Wirtschaftsinformatik hören.

Im Folgenden ist aufgeführt, wer diese Lehrveranstaltungen im Wintersemester 2023 gehalten hat und wie bzw. wo man diese Personen erreichen kann. Normalerweise bieten alle offene Sprechstunden an.

Einige Informationen sind mit (Historisch) gekennzeichnet. Diese sind nicht zwingend aktuell, waren aber in den letzten Jahren so.  Alles hier mit Vorsicht genießen und im Zweifel lieber nochmal nachfragen.

 

Name: Tim Neubacher
Gebäude/Raum: S2|02 D115
E-Mail-Adresse: mentorensystem@informatik.tu-darmstadt.de
Zugehörigkeit: Dekanat Fachbereich Informatik

Zusammenfassung (Stand 01.10.2022):

  • Kurs: wir warten selbst noch auf den Link
  • Vorlesung: aber Pflichtfach - sonst Zusatzleistung
  • Übungen: wöchentliche Besprechungen (15 Minuten); wöchentliche Fragebögen;
  • Übungsanmeldung: Anmeldung zu eigenem regelmäßigen Termin TBD, wöchentliche Teilnahme erforderlich; Fragebogen TBD. ausfüllen (dauert ca. 15-20 Minuten)!; Anmeldung zum Mentorentisch (freiwillig, für erste Fragen) ab TBD im moodle-Kurs (bis 1 Stunde vorher)
  • Zulassung: —
  • Bonus: —
  • Die Mentor*innen sind da um euch zu helfen!
  • Individuelle Beratung,  vertrauliche Gespräche - es geht nichts an die Orgas, an Dozent*innen oder an andere Mentor*innen

Name: Prof. Dr. Karsten Weihe
Gebäude/Raum: S2|02 E122
E-Mail-Adresse: weihe@informatik.tu-darmstadt.de
Zugehörigkeit: Fachgebiet Algorithmik

Besondere Bitte von Prof. Weihe:

"Sobald Sie Ihre TU-ID haben, registrieren Sie sich bitte umgehend im Lernportal Informatik für die Lehrveranstaltung "Funktionale und objektorientierte Programmierkonzepte" und beantworten dort die beiden Fragen. Dazu gehen Sie auf https://moodle.informatik.tu-darmstadt.de/course/view.php?id=945, tippen auf die Athene unter "Login mit TU-ID" und loggen sich dann ganz normal mit TU-ID und Passwort ein."

Zusammenfassung (Stand 01.10.2022):

  • Kurs: https://moodle.informatik.tu-darmstadt.de/enrol/index.php?id=1248
  • Vorlesung:
    • Dienstags: 15:20 - 18:50 Uhr, S1|01 A1, A01, A02
    • Mittwochs: 8:00 - 9:40 Uhr, S1|01 A1, A01, A02
  • Übungen: 11 Übungsblätter, Hausaufgabenpunkte erhalten, alleine bearbeiten, Plagiatschecks!
  • Zusammen lernen: "ja, Zusammen Hausaufgaben erstellen: nein”
  • Übungsanmeldung: praktischer Übungsbetrieb/Betreuung im Kurs noch nicht klar kommuniziert
  • Ablaufstruktur einer Woche: im Kurs kommuniziert
  • Zulassung: mindestens 50% der Hausaufgabenpunkte
  • Bonus: “Mehr Info folgt zu gegebener Zeit”
  • Bitte Umfrage zu Vorkenntnissen ausfüllen (2 Minuten)
  • Bitte Java & Eclipse installieren

Name: Daniel Günther
Gebäude/Raum: S2|20 214
E-Mail-Adresse: guenther@encrypto.cs.tu-darmstadt.de
Zugehörigkeit: Fachgebiet ENCRYPTO

Zusammenfassung (Stand 30.10.2020):

  • Kurs: im Informatik Moodle (Kurs noch nicht freigeschaltet)
  • Vorlesung: Donnestsags 8:00 - 9:40 S1|01 A1 (Audimax)
  • Übungen: Präsenzübungen
  • Übungsanmeldung: Traditionell über Moodle
  • Zulassung: keine Info bisher
  • Bonus: keine Info bisher
  • Wichtigste Literatur: Digital Design and Computer Architecture: ARM Edition, Sarah L. Harris und David M. Harris, Morgan Kaufman (2016)

Name: Dr. rer. nat. Kord Eickmeyer; M.Sc. Markus Anders
Gebäude/Raum: S2|15 204
E-Mail-Adresse: eickmeyer@mathematik.tu-darmstadt.de
Zugehörigkeit: Arbeitsgruppe Logik

Weitere Informationen durch die Verwantwortlichen

Qualifikationsziele/Lernergebnisse:

die mathematische Behandlung symbolischer Information (als Zeichenreihen kodierte Daten) und ihrer systematischen Verarbeitung;
die Klassifikation unterschiedlicher Komplexitätsgrade in Struktur und Präsentation symbolischer Information;
die Behandlung prinzipieller Fragen zur algorithmischen Lösbarkeit von Problemen anhand abstrakter Berechnungsmodelle.

Dabei geht es v.a. auch um mathematische Präzision und angemessene Abstraktion für Konzepte und Methoden der theoretischen Informatik, die auch für die praktische Informatik von fundamentaler Bedeutung sind.

Endliche Automaten, Determinismus/Nichtdeterminismus, Automatenkonstruktionen und reguläre Sprachen, Chomsky-Hierarchie, Maschinenmodelle und Grundbegriffe der Berechenbarkeitstheorie

Voraussetzungen: keine

Moodle: wahrscheinlich Infromatik-Moodle

Kontakt:

  1. Moodle-Forum (organisatorisch oder fachlich)
  2. Sprechstunden Tutor*innen
  3. E-Mail-Adresse Assistenz: weinberger@mathematik.tu-darmstadt.de
  4. Sprechstunden des LZMs (Lernzentrum Mathematik)

Sonstiges:

Die Vorlesungen werden aufgezeichnet und sind unter Moodle abrufbar.
Bitte lesen Sie vor dem Anschauen der Videos die entsprechenden Abschnitte im Vorlesungs-Skript. Zusätzlich soll eine Frage- und Diskussionsstunde in Form einer Live-Videokonferenz angeboten werden.
Diese soll bewusst interaktiv sein und ist auf Ihre aktive Teilnahme und Ihre Initiative angewiesen:
Wir freuen uns über viele Fragen und einen regen Diskurs.
Darüberhinaus empfehlen wir Ihnen nachdrücklich, sich regelmäßig in individuellen kleinen Lerngruppen zur Vor- und Nachbereitung wie auch zur Bearbeitung von übungen und Hausaufgaben auszutauschen.
Kommunikation auf verschiedenen Ebenen ist essentiell zugunsten Ihres Lernerfolgs!

Zusammenfassung (Stand 01.10.2022):

  • Kurs: noch nicht bekannt
  • Vorlesung: Freitags 8:00 - 9:40 S1|01 A04, A03, A02 (beachte die Null, die sind im Keller unterm Audimax)
  • Übungen: Historisch alle zwei Wochen abgaben, keine aktuellen Infos bekannt
  • Sprechstunden: 2 wöchentlich, alle dürfen besucht werden (nicht nur der eigene Tutor/die eigene Tutorin
  • Übungsanmeldung via Webreg (Plugin) im Moodle-Kurs (Historisch)
  • Zulassung: 30% der Hausaufgabenpunkte (Historisch)
  • Bonus: ab 60% der Hausaufgabenpunkte (Historisch)
  • Wichtigstes Material: Skript (bitte vor der VL durchlesen)

Verantwortliche

Name: Prof. Dr. Thomas Streicher
Gebäude/Raum: S2|15 208
E-Mail-Adresse: streicher@mathematik.tu-darmstadt.de
Zugehörigkeit: Arbeitsgruppe Logik (FB 4, Mathematik)

Weitere Informationen durch die Verantworlichen

Assistenz:

Ulrik Buchholtz, PhD: Wiss. Mitarbeiter AG Logik (Habilitand im Bereich Typentheorie und Homotopietheorie)

Miriam Schmitt: Wiss. Mitarbeiter AG Analysis (Bereich Partielle Differentialgleichungen)

Jonathan Weinberger: Wiss. Mitarbeiter AG Logik (Doktorand im Bereich Typentheorie und Kategorientheorie),

Qualifikationsziele / Lernergebnisse:

Nach Abschluss des Moduls können die Studierenden:
- mit abstrakten Begriffen präzise umgehen, Beweise nachvollziehen, Beweisideen erläutern und auch selbstständig
Beweise führen,
- die axiomatisch-deduktive Vorgehensweise der Mathematik verstehen und anwenden,
- die vermittelten Kenntnisse und Begriffe aus zentralen Gebieten der Mathematikgrundausbildung beherrschen, so
dass sie diese für die verschiedenen Anwendungen in der Informatik nutzen können.

Lerninhalt:

Grundlagen: Relationen, Abbildungen, Gruppen, Ringe, Körper, komplexe Zahlen;
Lineare Algebra: Vektorräume, Basen, Skalarprodukte, lineare Abbildungen, lineare Gleichungssysteme, Basiswechsel, Determinanten, Eigenwerttheorie;
Analysis in $\mathbb R$: Folgen, Konvergenz, Asymptotik, Reihen, Kompaktheit.

Voraussetzungen: keine

Moodle: https://moodle.informatik.tu-darmstadt.de/course/view.php?id=986

Kontakt:

  1. Moodle-Forum (organisatorisch oder fachlich)
  2. Sprechstunden Tutor*innen
  3. E-Mail-Adresse Assistenz: weinberger@mathematik.tu-darmstadt.de und mschmitt@mathematik.tu-darmstadt.de
  4. Sprechstunden des LZMs (Lernzentrum Mathematik)

Sonstiges:

Die Vorlesungen werden aufgezeichnet und sind unter Moodle abrufbar.
Bitte lesen Sie vor dem Anschauen der Videos die entsprechenden Abschnitte im Vorlesungs-Skript.

Außerdem sind die Aufzeichnungen der Vorlesung aus einem früheren Semester, gelesen von Herrn Prof. Dr. Haller-Dintelmann, verfügbar.

Darüberhinaus empfehlen wir Ihnen nachdrücklich, sich regelmäßig in individuellen kleinen Lerngruppen zur Vor- und Nachbereitung wie auch zur Bearbeitung von Übungen und Hausaufgaben auszutauschen.
Kommunikation auf verschiedenen Ebenen ist essentiell zugunsten Ihres Lernerfolgs!

Zusammenfassung (Stand 30.10.2020):

  • Kurs: wahrscheinlich Informatik-Moodle, keine Infos bekannt.
  • Vorlesung:
    • Montags 13:30 - 15:10 Uhr S1|01 A1 (Audimax)
    • Donnerstags 9:50 - 11:30 Uhr S1|01 A03 (Unterm Audimax)
  • Übungen: Hausaufgaben: wöchentlich in Moodle hochladen als PDF, Zusammenarbeit bis zu 3 Personen OK; Zusatzangebot “Treffpunkt Mathematik für Informatik” (weiterer Moodlekurs) (Historisch)
  • Übungsanmeldung: Anmeldung via Webreg (Plugin) in Moodle (Historisch)
  • Zulassung: 30% der Hausaufgabenpunkte (Historisch)
  • Bonus: ab 50% der Hausaufgabenpunkte (Historisch)