Studium & Lehre
Vor dem Studium
Informationen für Studieninteressierte
Studiengänge von A-Z
Bewerbung
Fit4TU - Self-Assessment
Beratungsangebote für Studieninteressierte
Warum Braunschweig?
Im Studium
Erstsemester-Hub
Semestertermine
Lehrveranstaltungen
Studien-ABC
Studienorganisation
Beratungsnavi
Zusatzqualifikationen
Finanzierung und Kosten
Besondere Studienbedingungen
Gesundheit & Wohlbefinden
Campusleben
Nach dem Studium
Exmatrikulation und Vorlegalisation
Nach dem Abschluss
Alumni*ae
Strategien und Qualitätsmanagement
Qualitätsmanagement
Systemakkreditierung
Studienqualitätsmittel
TU Lehrpreis
Für Lehrende
Informationen für Lehrende
Konzepte
Lernmanagementsystem Stud.IP
Kontakt
Studienservice-Center
Sag's uns - in Studium und Lehre
Zentrale Studienberatung
Immatrikulationsamt
Abteilung 16 - Studium und Lehre
Career Service
Projekthaus
Forschung
Forschungsprofil
Forschungsschwerpunkte
Exzellenzcluster der TU Braunschweig
Forschungsprojekte
Forschungszentren
Forschungsprofile der Professuren
Frühe Karrierephase
Förderung in den frühen Phasen der wissenschaftlichen Karriere
Promotion
Postdocs
Nachwuchsgruppenleitung
Junior Professur und Tenure-Track
Habilitation
Service-Angebote für Wissenschaftler*innen
Forschungsdaten & Transparenz
Transparenz in der Forschung
Forschungsdaten
Open Access Strategie
Digitale Forschungsanzeige
Forschungsförderung
Netzwerk Forschungsförderung
Datenbanken und Stiftungen
Kontakt
Forschungsservice
Graduiertenakademie
International
Internationale Studierende
Warum Braunschweig?
Studium mit Abschluss
Austauschstudium
TU Braunschweig Summer School
Geflüchtete
International Student Support
Wege ins Ausland
Studium im Ausland
Praktikum im Ausland
Lehren und Forschen im Ausland
Arbeiten im Ausland
Internationale Forschende
Welcome Support for International Researchers
Service für gastgebende Einrichtungen
Sprachen und interkulturelle Kompetenzvermittlung
Deutsch lernen
Fremdsprachen lernen
Interkulturelle Kompetenzvermittlung
Internationales Profil
Internationalisierung
Internationale Kooperationen
Strategische Partnerschaften
Internationale Netzwerke
International House
Wir über uns
Kontakt & Sprechstunden
Aktuelles und Termine
International Days
5. Studentische Konferenz: Internationalisierung der Hochschulen
Newsletter, Podcast & Videos
Stellenausschreibungen
Die TU Braunschweig
Unser Profil
Ziele & Werte
Ordnungen und Leitlinien
Allianzen & Partner
Hochschulentwicklung 2030
Stiftungsuniversität
Internationale Strategie
Fakten & Zahlen
Unsere Geschichte
Karriere
Arbeiten an der TU
Stellenmarkt
Berufsausbildung an der TU
Wirtschaft & Unternehmen
Unternehmensgründung
Freunde & Förderer
Öffentlichkeit
Veranstaltungskalender
Check-in für Schüler*innen
Hochschulinformationstag (HIT)
CampusXperience
Kinder-Uni
Das Studierendenhaus
Gasthörer*innen & Senior*innenstudium
Nutzung der Universitätsbibliothek
Presse & Kommunikation
Stabsstelle Presse und Kommunikation
Medienservice
Ansprechpartner*innen
Tipps für Wissenschaftler*innen
Themen und Stories
Kontakt
Allgemeiner Kontakt
Anreise
Für Hinweisgeber
Struktur
Leitung & Verwaltung
Das Präsidium
Stabsstellen
Verwaltung
Organe, Statusgruppen und Kommissionen
Fakultäten
Carl-Friedrich-Gauß-Fakultät
Fakultät für Lebenswissenschaften
Fakultät Architektur, Bauingenieurwesen und Umweltwissenschaften
Fakultät für Maschinenbau
Fakultät für Elektrotechnik, Informationstechnik, Physik
Fakultät für Geistes- und Erziehungswissenschaften
Institute
Institute von A-Z
Einrichtungen
Universitätsbibliothek
Gauß-IT-Zentrum
Zentrale Personalentwicklung
International House
Projekthaus
Transferservice
Hochschulsportzentrum
Einrichtungen von A-Z
Studierendenschaft
Studierendenparlament
Fachschaften
Studentische Wahlen
Lehrer*innenbildung
Lehrer*innenfortbildung
Forschung
Chancengleichheit
Gleichstellung
Familie
Diversität
Kontakt
Personensuche
Suche
Schnellzugriff
Personensuche
Webmail
cloud.TU Braunschweig
Messenger
Mensa
TUconnect (Studierendenportal)
Lehrveranstaltungen
Im Notfall
Stud.IP
UB Katalog
Status GITZ-Dienste
Störungsmeldung GB3
IT Dienste
Informationsportal (Beschäftigte)
Beratungsnavi
Linksammlung
DE
Facebook
Instagram
YouTube
LinkedIn
Mastodon
Bluesky
Suchen
Menü
Suche
Struktur
Fakultäten
Carl-Friedrich-Gauß-Fakultät
Institute
Institut für Theoretische Informatik
Lehre
Theoretische Informatik 1 Nachschreibeklausur SS25
Lehre
Einführung in die Logik
SEP 2025
Seminar
Komplexitätstheorie
Nebenläufigkeitstheorie
Semantik
Teamprojekt 2025
Theoretische Informatik 1 Nachschreibeklausur
Theoretische Informatik 1 Nachschreibeklausur SS25
Organisation
Die Nachschreibeklausur findet am 3. September 2025 statt. Raum und Uhrzeit werden noch bekannt gegeben.
Die Prüfung orientiert sich am Inhalt der Vorlesung aus dem letzten Semester:
Theoretische Informatik 1 WS 24/25
Bildnachweise dieser Seite
