Bestätigung
Sind Sie sich sicher?
Vorlesungsverzeichnis (VVZ)
Veranstaltungssuche
Veranstaltung
Logische Methoden der Informatik (Übung) Termingruppe 4
Termingruppe 4
Veranstaltung
LV-Nummer
0401 L 176
Beschreibung
Gesamt-Lehrleistung
176,00 UE
Semester
SoSe 2023
Veranstaltungsformat
LV / Übung
Gruppe
Termingruppe 4
Organisationseinheiten
Technische Universität Berlin
↳
Fakultät IV
↳
Institut für Softwaretechnik und Theoretische Informatik
↳
34352200 FG Logik und Semantik
URLs
Label
Ansprechpartner*innen
Verantwortliche
Sprache
Deutsch
Studiengangszuordnungen und Module
Verwandte Veranstaltungen
Termine (66)
Zeitraum
10:00 - 12:00, Mo. 17.04 - 17.07.23, wöchentlich
Ort
EW 217
(
Charlottenburg
)
Organisationseinheiten
34352200 FG Logik und Semantik
Lehrleistung
32,00 UE
Einzeltermine ausklappen
Zeitraum
12:00 - 14:00, Mo., Mo. 17.04, 24.04.23, 08.05.23, 15.05.23, 22.05.23, 05.06.23, 12.06.23, 19.06.23, 26.06.23, 03.07.23, 10.07.23, 17.07.23
Ort
PC 203
(
Charlottenburg
)
Organisationseinheiten
34352200 FG Logik und Semantik
Lehrleistung
32,00 UE
Einzeltermine ausklappen
Zeitraum
12:00 - 14:00, Di. 18.04 - 18.07.23, wöchentlich
Ort
KWT-A 014
(
Charlottenburg
)
Organisationseinheiten
34352200 FG Logik und Semantik
Lehrleistung
37,33 UE
Einzeltermine ausklappen
Zeitraum
14:00 - 16:00, Di. 18.04 - 18.07.23, wöchentlich
Ort
H 2033
(
Charlottenburg
)
Organisationseinheiten
34352200 FG Logik und Semantik
Lehrleistung
37,33 UE
Einzeltermine ausklappen
Zeitraum
12:00 - 14:00, Mi. 19.04 - 19.07.23, wöchentlich
Ort
EW 217
(
Charlottenburg
)
Organisationseinheiten
34352200 FG Logik und Semantik
Lehrleistung
37,33 UE
Einzeltermine ausklappen
Lehrformat
Jedes Format bekommt eine Farbe
Campus
Jeder Campus bekommt eine Farbe
Legende
Semester
Einzelne Woche
Einzelner Tag
Benutzerdefinierter Zeitraum
Alle Wochen
Kalenderoptionen
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
Mo.
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
10:00 - 12:00, Mo. 17.04 - 17.07.23, wöchentlich
Ort
EW 217 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
EW 217
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “EW 217”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mo. 17.04.23, 10:00 - 12:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mo. 24.04.23, 10:00 - 12:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mo. 08.05.23, 10:00 - 12:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mo. 15.05.23, 10:00 - 12:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mo. 22.05.23, 10:00 - 12:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mo. 05.06.23, 10:00 - 12:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mo. 12.06.23, 10:00 - 12:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
12:00 - 14:00, Mo., Mo. 17.04, 24.04.23, 08.05.23, 15.05.23, 22.05.23, 05.06.23, 12.06.23, 19.06.23, 26.06.23, 03.07.23, 10.07.23, 17.07.23
Ort
PC 203 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
PC 203
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “PC 203”
Di.
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
12:00 - 14:00, Di. 18.04 - 18.07.23, wöchentlich
Ort
KWT-A 014 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
KWT-A 014
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “KWT-A 014”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 18.04.23, 12:00 - 14:00
Ort
MA 544 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 544
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 544”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 25.04.23, 12:00 - 14:00
Ort
MA 544 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 544
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 544”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 02.05.23, 12:00 - 14:00
Ort
MA 544 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 544
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 544”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 09.05.23, 12:00 - 14:00
Ort
MA 544 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 544
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 544”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 16.05.23, 12:00 - 14:00
Ort
MA 544 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 544
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 544”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 23.05.23, 12:00 - 14:00
Ort
MA 544 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 544
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 544”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 30.05.23, 12:00 - 14:00
Ort
MA 544 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 544
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 544”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 06.06.23, 12:00 - 14:00
Ort
MA 544 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 544
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 544”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 13.06.23, 12:00 - 14:00
Ort
MA 544 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 544
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 544”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
14:00 - 16:00, Di. 18.04 - 18.07.23, wöchentlich
Ort
H 2033 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
H 2033
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “H 2033”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 18.04.23, 14:00 - 16:00
Ort
MA 551 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 551
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 551”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 25.04.23, 14:00 - 16:00
Ort
MA 551 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 551
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 551”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 02.05.23, 14:00 - 16:00
Ort
MA 551 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 551
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 551”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 09.05.23, 14:00 - 16:00
Ort
MA 551 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 551
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 551”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 16.05.23, 14:00 - 16:00
Ort
MA 551 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 551
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 551”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 23.05.23, 14:00 - 16:00
Ort
MA 551 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 551
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 551”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 30.05.23, 14:00 - 16:00
Ort
MA 551 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 551
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 551”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 06.06.23, 14:00 - 16:00
Ort
MA 551 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 551
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 551”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Di. 13.06.23, 14:00 - 16:00
Ort
MA 551 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 551
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 551”
Mi.
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
12:00 - 14:00, Mi. 19.04 - 19.07.23, wöchentlich
Ort
EW 217 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
EW 217
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “EW 217”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mi. 19.04.23, 12:00 - 14:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mi. 26.04.23, 12:00 - 14:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mi. 03.05.23, 12:00 - 14:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mi. 10.05.23, 12:00 - 14:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mi. 17.05.23, 12:00 - 14:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mi. 24.05.23, 12:00 - 14:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mi. 31.05.23, 12:00 - 14:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mi. 07.06.23, 12:00 - 14:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
LV-Nummer
0401 L 176
Format
Übung
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Planungskommentar
-
Datum/Uhrzeit
Mi. 14.06.23, 12:00 - 14:00
Ort
MA 651 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
Termingruppe 4
MA 651
(Charlottenburg)
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 651”
Do.
Fr.
Kalender als PDF exportieren
Kalender als PDF exportieren
Kalender als PDF exportieren
