Theoretische Informatik (TI)
Alle Hinweise zur Organisation der Lehrveranstaltung erhalten Sie am 30.09., 13.00 Uhr im E112
Organisatorisches
- TI25 Einführung (30.09.)
Vorlesung & Skripte (siehe TI Spots - Vorlesung):
- 07FormaleSprachenS71-S81 (30.09.)
- 08Typ3Sprachen091Typ2PraxisS83-S94-Spot-Folien
- 08Typ3SprachenAS82-S84Kleene (30.09.)
- 08Typ3SprachenBS84-S86PumpingLemma (07.10.)
- 08Typ3SprachenCS86-S88EntscheidbarkeitAbschluss (07.10.)
- 09Typ2SprachenAS89-S94PraxisDarstellungen (07.10.)
- 09Typ2RestS95-S104-Spot-Folien
- 09Typ2SprachenBS95-S96CNF (14.10.)
- 09Typ2SprachenCS97-S101PumpingLemma (14.10.)
- 09Typ2SprachenDS101-S104EntscheidbarkeitAbschluss (14.10.)
- 11CBS115-S133-Folien
- 11CBAPhasenLexerParserEinleitungS115-S122 (21.10.)
- 11CBBSyntaxanalyseS123-S129 (21.10.)
- 11CBCRestS130-133 (28.10.)
- 01EinleitungBerechenbarkeitS10-S12 (28.10.)
- 02URMASyntaxSemantikS13-S19 (28.10.)
- 02URMBMakrosSimulatorS20-S22 (04.11.)
- 03AWHILE_0SyntaxS23-S25 (04.11.)
- 03BWHILESemantikS25-S27 (04.11.)
- 03CTrafoWHILE02URMLOOP_0S28-S31 (11.11.)
- 04APRIMDefS32-S33 (04.11)
- 04BPRIM2LOOPS34-S38 (18.11., vorher vorbereiten)
- 04CPRIMFunktionenPrädikateS39-S45 (18.11., vorher vorbereiten)
- 04LOOP2PrimS46-S50-Spot-Folien
- 04DLOOP2PRIMS46-S50 (25.11.)
- 05ADiagonalisierungAckermannS51-S53 (25.11.)
- 05BMüRekS53-S57 (25.11.)
- 05CMüRek2WHILES57-S59 (02.12.)
- 05DURM2MüRek_RestS59-S63 (02.12.)
- 06ATMS64-S67 (09.12.)
- 06BURM2TM2URMS68-S70 (09.12)
- Weihnachtsvorlesung (16.12)
- 10ATyp0TMTyp1LBAS105-S109 (06.01.)
- 10Typ01EntscheidungAbschlussS109-S114-Spot-Folien
- 10BTyp01EntscheidungAbschlussS109-S114 (06.01.)
- 12APNPS134-S138 (06.01.)
- 12BNPVollständigHartS139-S141 (20.01.)
- 12CNPVollständigeProblemeS141-S147 (20.01.)
- TI25Übung01 (07.10.)
- TI25Übung02 (14.10.)
- TI25Übung03 (21.10.)
- TI25Übung04 (28.10.)
- TI25Übung05 (04.11.)
- TI25Übung06 (11.11.)
- TI25Übung07 (18.11.)
- TI25Übung08 (25.11.)
- TI25Übung09 (02.12.)
- TI25Übung10 (09.12.)
- TI25Übung11 (06.01.)
- TI25Übung12 (20.01.)
- TI25Übung13 (20.01.)
- TIPraktikum0 (11.11.) (in Ilias hochladen bis 11.11., 11.10 Uhr)
- TIPraktikum1 (25.11.)
- TIPraktikum2 (16.12.)
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]