Theoretische Informatik & Logik
Theoretische Informatik & Logik (TILO) (SoSe 2026)
Alle Hinweise zur Organisation der Lehrveranstaltung erhalten Sie am Mi.,08.04., 08.15 - 11.45Uhr im D006 (Ausweichtermin für Ostermontag!!!)
WebEx-Ordner: Die Aufnahmen haben den Titel mmtt (MonatTag)
(siehe TILO Spots - Organisatorisches und Tools und siehe Systemlinks)
- Organisation & persönliche Vorstellung (08.04.)
- Terminübersicht Stand 07.04.26
- Terminübersicht Stand 23.05.26
- RA-Äquivalenzchecker
Vorlesung (siehe TILO Spots - Vorlesung):
Grundlage: TILO24-Skript
- 00EinführungBisS10 (KW15)
- 01LogikMengenlehre-Spotfolien
- 01LogikMengenlehreAEinführungAussagenlogikS11-S15 (KW15)
- 01LogikMengenlehreBPrädikatenlogikMengenlehreS16-S20 (KW15)
- 02EinführungLogikProgrammierungS21-S25 (KW15)
- 03PrologSyntaxS26-S37-Spotfolien
- 03PrologSyntaxAS26-S30 (KW16)
- 03PrologSyntaxBS30-S33 (KW16)
- 03PrologSyntaxCS33-S34 (KW16)
- 03PrologSyntaxDS34-S37 (KW16)
- 04PrologSemantikAS38-S47-Spotfolien
- 04PrologSemantikAS38-S40 (KW17)
- 04PrologSemantikBS41-S43 (KW17)
- 04PrologSemantikCS43-S47 (KW17)
- 04PrologSemantikBS47-S54-Spotfolien
- 04PrologSemantikDS47-S49 (KW18)
- 04PrologSemantikES49-S51 (KW18)
- 04PrologSemantikFS51-S54 (KW19)
- 05PrologBesonderheitenAS55-S58 (KW19)
- 05PrologBesonderheitenBS58-S59 (KW19)
- 05PrologBesonderheitenS60-Spotfolien
- 05PrologBesonderheitenCS60 (KW20) (bitte Spot vorbereitend anschauen!)
- 06EinführungAFSS61-S71 (KW20)
- 07FormaleSprachenAS72-S75 (KW21)
- 07FormaleSprachenBS75-S77 (KW21)
- 07FormaleSprachenCS78-S79 (KW21)
- 08Typ3EAsRAsAS80-S83 (KW21)
- 08Typ3EAsRAsBS84-S86 (KW21)
- 08Typ3EAsRAsCS87-S88 (KW21)
- 08Typ3EAsRAsDS89-S90 (KW22)
- 08Typ3EAsRAsES90-S92 (KW22)
- 08Typ3EAsRAsFS92-S93 (KW23)
- 08Typ3EAsRAsGS94-S96 (KW23)
- 09Typ2PDAsAnwAS97-S100 (KW23/24)
- 09Typ2PDAsAnwBS100-S102 (KW24)
- 09Typ2PDAsAnwCS102-S104 (KW24)
- 09Typ2PDAsAnwDS104-S106 (KW24)
- 09Typ2PDAsAnwES106-S109 (KW25)
- 09Typ2PDAsAnwFS109-S112 (KW25)
- 09Typ2PDAsAnwGS113-S115 (KW25)
- 10EntscheidbarkeitAS116-S119 (KW26)
- 10EntscheidbarkeitBS120-S122 (KW26)
- 10EntscheidbarkeitCS122-S124 (KW26)
- 11KomplexitätS125-S131 (KW27)
- 12OptimierungAS132-S135 (KW27)
- 12OptimierungBS135-S138 (KW27)
- TILO26Ueb01 (13.4., KW16)
- TILO26Ueb01Ergänzung (Do., 16.4.., KW16)
- TILO26Ueb02 (20.4., KW17)
- TILO26Ueb03 (27.4., KW18)
- TILO26Ueb04 (04.5., KW19)
- TILO26Ueb05 (11.5., KW20)
- TILO26Ueb06 (18.5., KW21)
- TILO26Ueb07 (01.6., KW23)
- TILO26Ueb08 (08.6., KW24)
- TILO26Ueb09 (15.6., KW25)
- TILO26Ueb10 (22.6., KW26)
- TILO26Ueb11 (29.6., KW27)
- TILO26Ueb12 (06.7., KW28)
- TILO26Prak01 Aufgabenstellung
- TILO26Prak02 Aufgabenstellung
- TILO26Prak03 Aufgabenstellung
- TutoriumSpracheEinerGrammatik (Spot)
- TILO26Prak04 Aufgabenstellung
- TILO26Prak05 Aufgabenstellung
- Tilo25KlausurHilfsblätter
- Beispielklausur (Besprechung in letzter Woche)
- 00110TILO25K01LogikMengenlehre
- 01118TILO25K02GrundlagenLP
- 01925TILO25K03Beweisbäume
- 02635TILO25K04Prolog
- 03645TILO25K05Prolog
- 04655TILO25K06Prolog_Termination
- 05670TILO25K07Typ3
- 07190TILO25K08Typ3
- 091101TILO25K09Typ3
- 102118TILO25K10Typ2
- 119135TILO25K11AnwendungenTyp2
- 136150TILO25K12Teil3
LV-Nr. 53105 | Die Veranstaltung ist ein Pflichtmodul des 2. Semesters im Studiengang Informatik.
Details entnehmen Sie bitte der Modulbeschreibung.