zurück zur Hilfsnavigation

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)

Organisatorisches & Tools

(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)
TutoriumSpracheEinerGrammatik
08Typ3EAsRAsBS84-S86 (KW21)
08Typ3EAsRAsCS87-S88 (KW22)
08Typ3EAsRAsDS89-S90 (KW22)
08Typ3EAsRAsES90-S92 (KW23)
08Typ3EAsRAsFS92-S93 (KW23)
08Typ3EAsRAsGS94-S96 (KW23)
09Typ2PDAsAnwAS97-S100 (KW23)
09Typ2PDAsAnwBS100-S102 (KW24)
09Typ2PDAsAnwCS102-S104 (KW24)
09Typ2PDAsAnwDS104-S106 (KW24)
09Typ2PDAsAnwES106-S109 (KW24)
09Typ2PDAsAnwFS109-S112 (KW25)
09Typ2PDAsAnwGS113-S115 (KW25)
10EntscheidbarkeitAS116-S119 (KW25)
10EntscheidbarkeitBS120-S122 (KW26)
10EntscheidbarkeitCS122-S124 (KW26)
11KomplexitätS125-S131 (KW26)
12OptimierungAS132-S135 (KW27)
12OptimierungBS135-S138 (KW27)

Übung:

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)
TILO24Ueb07 (27.5., KW22)
TILO24Ueb08 (03.6., KW23)
TILO24Ueb09 (10.6., KW24)
TILO24Ueb10 (17.6., KW25)
TILO24Ueb11 (24.6., KW26)
TILO24Ueb12 (01.7., KW27)
TILO24Ueb13 (08.7., KW28)

Praktikum:

Klausuraufgabensammlung:

LV-Nr. 53105 | Die Veranstaltung ist ein Pflichtmodul des 2. Semesters im Studiengang Informatik.

Details entnehmen Sie bitte der Modulbeschreibung.