Theoretische Informatik & Logik
Theoretische Informatik & Logik (TILO) (SoSe 2024)
Alle Hinweise zur Organisation der Lehrveranstaltung erhalten Sie am 03.04., 09.00 Uhr im D006
WebEx-Ordner: Die Aufnahmen haben den Titel mmtt (MonatTag)
(siehe TILO Spots - Organisatorisches und Tools und siehe Systemlinks)
- Organisation & persönliche Vorstellung (03.4.)
- Terminübersicht Stand 28.03.24
Vorlesung (siehe TILO Spots - Vorlesung):
Grundlage: TILO24-Skript
- 00EinführungBisS10 (03.4.)
- 01LogikMengenlehre-Spotfolien
- 01LogikMengenlehreAEinführungAussagenlogikS11-S15 (KW14)
- 01LogikMengenlehreBPrädikatenlogikMengenlehreS16-S20 (KW14)
- 02EinführungLogikProgrammierungS21-S25 (KW15)
- 03PrologSyntaxS26-S37-Spotfolien
- 03PrologSyntaxAS26-S30 (KW15)
- 03PrologSyntaxBS30-S33 (KW15)
- 03PrologSyntaxCS33-S34 (KW15)
- 03PrologSyntaxDS34-S37 (KW16)
- 04PrologSemantikAS38-S47-Spotfolien
- 04PrologSemantikAS38-S40 (KW16)
- 04PrologSemantikBS41-S43 (KW17)
- 04PrologSemantikCS43-S47 (KW17)
- 04PrologSemantikBS47-S54-Spotfolien
- 04PrologSemantikDS47-S49 (KW17)
- 04PrologSemantikES49-S51 (KW18)
- 04PrologSemantikFS51-S54 (KW18)
- 05PrologBesonderheitenAS55-S58 (KW18)
- 05PrologBesonderheitenBS58-S59 (KW18)
- 05PrologBesonderheitenS60-Spotfolien
- 05PrologBesonderheitenCS60 (KW19)
- 06EinführungAFSS61-S71 (KW19)
- 07FormaleSprachenAS72-S75 (KW19)
- 07FormaleSprachenBS75-S77 (KW20)
- 07FormaleSprachenCS78-S79 (KW20)
- 08Typ3EAsRAsAS80-S83 (KW20)
- 08Typ3EAsRAsBS84-S86 (KW20)
Studierenden-Uploads im Ilias und Abhaken im Übungsverwaltungssystem bis 09.00 Uhr am Besprechungstag!!!
- TILO24Ueb01 (08.4., KW15)
- TILO24Ueb02 (15.4., KW16)
- TILO24Ueb03 (22.4., KW17)
- TILO24Ueb04 (29.4., KW18)
- TILO24Ueb05 (06.5., KW19)
- TILO24Ueb06 (13.5., KW20)
- Tilo24KlausurHilfsblätter
- Beispielklausur (Besprechung in letzter Woche)
- 00110TILO24K01LogikMengenlehre
LV-Nr. 53105 | Die Veranstaltung ist ein Pflichtmodul des 2. Semesters im Studiengang Informatik.
Details entnehmen Sie bitte der Modulbeschreibung.