Theoretische Informatik (TI)

WebEx-Ordner: Die Aufnahmen haben den Titel mmtt (MonatTag)

Organisatorisches

• TI23 Einführung (02.10., Verlegung vom 03.10.)

Vorlesung & Skripte (siehe TI Spots - Vorlesung):

• 12CNPVollständigeProblemeS141-S147 (16.01.)
• 12BNPVollständigHartS139-S141 (16.01.)
• 12APNPS134-S138 (09.01.)
• 10BTyp01EntscheidungAbschlussS109-S114 (09.01.)
• 10Typ01EntscheidungAbschlussS109-S114
• 10ATyp0TMTyp1LBAS105-S109 (09.01.)
• 06BURM2TM2URMS68-S70 (19.12.)
• 06ATMS64-S67 (12.12.)
• 05DURM2MüRek_RestS59-S63 (12.12.)
• 05CMüRek2WHILES57-S59 (05.12.)
• 05BMüRekS53-S57 (05.12.)
• 05ADiagonalisierungAckermannS51-S53 (28.11.)
• 04DLOOP2PRIMS46-S50 (28.11.)
• 04LOOP2PrimS46-S50
• 04CPRIMFunktionenPrädikateS39-S45 (21.11.)
• 04BPRIM2LOOPS34-S38 (21.11.)
• 04APRIMDefS32-S33 (14.11.)
• 03CTrafoWHILE02URMLOOP_0S28-S31 (14.11.)
• 03BWHILESemantikS25-S27 (14.11.)
• 03AWHILE_0SyntaxS23-S25 (07.11.)
• 02URMBMakrosSimulatorS20-S22 (07.11.)
• 02URMASyntaxSemantikS13-S19 (07.11.)
• 01EinleitungBerechenbarkeitS10-S12 (31.10.)
• 11CBCRestS130-133 (31.10.)
• 11CBBSyntaxanalyseS123-S129 (31.10.)
• 11CBAPhasenLexerParserEinleitungS115-S122 (31.10.)
• 11CBS115-S133-Folien
• 09Typ2SprachenDS101-S104EntscheidbarkeitAbschluss (24.10.)
• 09Typ2SprachenCS97-S101PumpingLemma (24.10.)
• 09Typ2SprachenBS95-S96CNF (24.10.)
• 09Typ2RestS95-S104-Spot-Folien
• 09Typ2SprachenAS89-S94PraxisDarstellungen (24.10.)
• 08Typ3SprachenCS86-S88EntscheidbarkeitAbschluss (17.10.)
• 08Typ3SprachenBS84-S86PumpingLemma (17.10.)
• 08Typ3SprachenAS82-S84Kleene (17.10.)
• 08Typ3Sprachen091Typ2PraxisS83-S94-Spot-Folien
• 07FormaleSprachenS71-S81 (02.10.)

Übung:

• TI23Übung12 (16.01.)
• TI23Übung11 (09.01.)
• TI23Übung10 (19.12.)
• TI23Übung09 (12.12.)
• TI23Übung08 (05.12.)
• TI23Übung07 (28.11.)
• TI23Übung06 (21.11.)
• TI23Übung05 (14.11.)
• TI23Übung04 (07.11.)
• TI23Übung03 (31.10.)
• TI23Übung02 (24.10.)
• TI23Übung01 (17.10.)

Praktikum:

• TI23Prak2 (Testat bis 19.12.)
• TI23Prak1 (Testat bis 28.11.)
• TI23Prak0 (Upload bis 14.11.)

Prüfungen:

• Altklausur1
• Altklausur2
• Altklausur3
• MündlichePrüfung
• Klausurrelevante polynomielle Reduktionen

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.

Tools

LV-Nr. 58203 | Die Veranstaltung ist ein Pflichtmodul des Wintersemesters im Masterstudiengang Information Systems Engineering.

Details entnehmen Sie bitte der Modulbeschreibung.