Theoretische Informatik (TI)
Alle Hinweise zur Organisation der Lehrveranstaltung erhalten Sie am 01.10., 13.00 Uhr im E112
Organisatorisches
- TI24 Einführung (01.10.)
Vorlesung & Skripte (siehe TI Spots - Vorlesung):
- 07FormaleSprachenS71-S81 (01.10.)
- 08Typ3Sprachen091Typ2PraxisS83-S94-Spot-Folien
- 08Typ3SprachenAS82-S84Kleene (01.10.)
- 08Typ3SprachenBS84-S86PumpingLemma (08.10.)
- 08Typ3SprachenCS86-S88EntscheidbarkeitAbschluss (08.10.)
- 09Typ2SprachenAS89-S94PraxisDarstellungen (08.10.)
- 09Typ2RestS95-S104-Spot-Folien
- 09Typ2SprachenBS95-S96CNF (15.10.)
- 09Typ2SprachenCS97-S101PumpingLemma (15.10.)
- 09Typ2SprachenDS101-S104EntscheidbarkeitAbschluss (15.10.)
- 11CBS115-S133-Folien
- 11CBAPhasenLexerParserEinleitungS115-S122 (22.10.)
- 11CBBSyntaxanalyseS123-S129 (22.10.)
- 11CBCRestS130-133 (29.10.)
- 04LOOP2PrimS46-S50
- 01EinleitungBerechenbarkeitS10-S12 (29.10.)
- 02URMASyntaxSemantikS13-S19 (29.10.)
- 02URMBMakrosSimulatorS20-S22 (05.11.)
- 03AWHILE_0SyntaxS23-S25 (05.11.)
- 03BWHILESemantikS25-S27 (05.11.)
- 03CTrafoWHILE02URMLOOP_0S28-S31 (12.11.)
- 04APRIMDefS32-S33 (05.11.)
- 04BPRIM2LOOPS34-S38 (19.11., vorher vorbereiten)
- 04CPRIMFunktionenPrädikateS39-S45 (19.11., vorher vorbereiten)
- 04DLOOP2PRIMS46-S50 (26.11.)
- 05ADiagonalisierungAckermannS51-S53 (26.11.)
- 05BMüRekS53-S57 (26.11.)
- 05CMüRek2WHILES57-S59 (03.12.)
- 05DURM2MüRek_RestS59-S63 (03.12.)
- 06ATMS64-S67 (10.12.)
- 06BURM2TM2URMS68-S70 (10.12.)
- Weihnachtsvorlesung (17.12)
- 10ATyp0TMTyp1LBAS105-S109 (07.01.)
- 10Typ01EntscheidungAbschlussS109-S114
- 10BTyp01EntscheidungAbschlussS109-S114 (07.01.)
- 12APNPS134-S138 (07.01.)
- 12BNPVollständigHartS139-S141 (14.01.)
- 12CNPVollständigeProblemeS141-S147 (14.01.)
- TI24Übung01 (08.10.)
- TI24Übung02 (15.10.)
- TI24Übung03 (22.10.)
- TI24Übung04 (29.10.)
- TI24Übung05 (05.11.)
- TI24Übung06 (12.11.)
- TI24Übung07 (19.11.)
- TI24Übung08 (26.11.)
- TI24Übung09 (03.12.)
- TI24Übung10 (10.12.)
- TI24Übung11 (07.01.)
- TI24Übung12 (14.01.)
- TI24Übung13 (21.01.)
- TIPrak0 (12.11.) (vorher in Ilias hochladen)
- TIPrak1 (26.11.)
- TIPrak2 (17.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.