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)
- 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)
- TILO26Prak01 Aufgabenstellung
- TILO26Prak02 Aufgabenstellung
- TILO26Prak03 Aufgabenstellung
- TutoriumSpracheEinerGrammatik (Spot)
- TILO26Prak04 Aufgabenstellung
- TiloKlausurHilfsblätter
- Beispielklausur (Besprechung in letzter Woche)
- 00110TILOK01LogikMengenlehre
- 01118TILO26K02GrundlagenLP
LV-Nr. 53105 | Die Veranstaltung ist ein Pflichtmodul des 2. Semesters im Studiengang Informatik.
Details entnehmen Sie bitte der Modulbeschreibung.
