Theoretische Informatik (TI)
Alle Hinweise zur Organisation der Lehrveranstaltung erhalten Sie am 06.10.26, 13.00 Uhr im E112.
Organisatorisches
- TI26 Einführung (06.10.) (Aufzeichnung)
Vorlesung & Skripte (siehe TI Spots - Vorlesung):
- 07FormaleSprachenS71-S81 (06.10.)
- 08Typ3Sprachen091Typ2PraxisS83-S94-Spot-Folien
- 08Typ3SprachenAS82-S84Kleene (06.10.)
- 08Typ3SprachenBS84-S86PumpingLemma ()
- 08Typ3SprachenCS86-S88EntscheidbarkeitAbschluss ()
- 09Typ2SprachenAS89-S94PraxisDarstellungen ()
- 09Typ2RestS95-S104-Spot-Folien
- 09Typ2SprachenBS95-S96CNF ()
- 09Typ2SprachenCS97-S101PumpingLemma ()
- 09Typ2SprachenDS101-S104EntscheidbarkeitAbschluss ()
- 11CBS115-S133-Folien
- 11CBAPhasenLexerParserEinleitungS115-S122 ()
- 11CBBSyntaxanalyseS123-S129 ()
- 11CBCRestS130-133 ()
- 01EinleitungBerechenbarkeitS10-S12 ()
- 02URMASyntaxSemantikS13-S19 ()
- 02URMBMakrosSimulatorS20-S22 ()
- 03AWHILE_0SyntaxS23-S25 ()
- 03BWHILESemantikS25-S27 ()
- 03CTrafoWHILE02URMLOOP_0S28-S31 ()
- 04APRIMDefS32-S33 ()
- 04BPRIM2LOOPS34-S38 (, vorher vorbereiten)
- 04CPRIMFunktionenPrädikateS39-S45 (, vorher vorbereiten)
- 04LOOP2PrimS46-S50-Spot-Folien
- 04DLOOP2PRIMS46-S50 ()
- 05ADiagonalisierungAckermannS51-S53 ()
- 05BMüRekS53-S57 ()
- 05CMüRek2WHILES57-S59 ()
- 05DURM2MüRek_RestS59-S63 ()
- 06ATMS64-S67 ()
- 06BURM2TM2URMS68-S70 ()
- Weihnachtsvorlesung ()
- 10ATyp0TMTyp1LBAS105-S109 ()
- 10Typ01EntscheidungAbschlussS109-S114-Spot-Folien
- 10BTyp01EntscheidungAbschlussS109-S114 ()
- 12APNPS134-S138 ()
- 12BNPVollständigHartS139-S141 ()
- 12CNPVollständigeProblemeS141-S147 ()
- TI26Übung01 (13.10.)
Die Prüfung wird in der 1. Phase schriftlich als 90min Klausur und in den beiden weiteren Prüfungsphasen mündlich mit einer Dauer von ca. 30min durchgeführt.
LV-Nr. 58203 | Die Veranstaltung ist ein Pflichtmodul des Wintersemesters in den Masterstudiengängen Information Systems Engineering und Informatik.
Details entnehmen Sie bitte der Modulbeschreibung.
Seiteninhalt [173213]