1. Vorlesungsverzeichnis (VVZ)
  2. Veranstaltungssuche
  3. Veranstaltung

Logik Großübung Termingruppe 0

Veranstaltung

LV-Nummer 0401 L 165 GÜ
Gesamt-Lehrleistung 48,00 UE
Semester WS 2019/20
Veranstaltungsformat LV / Übung
Gruppe Termingruppe 0
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

Termine (1)


Do. 17.10.19 - 13.02.20, wöchentlich, 16:00 - 18:00

Charlottenburg
,
EB 407

34352200 FG Logik und Semantik

48,00 UE
Einzeltermine ausklappen
Legende
  • Semester
  • Einzelne Woche
  • Einzelner Tag
  • Benutzerdefinierter Zeitraum
  • Alle Wochen
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
Mo.
Di.
Mi.
Do.
Logik Großübung
Termingruppe 0
Charlottenburg, EB 407
Fr.
Kalender als PDF exportieren

Bemerkung

Die Anmeldung zu den Übungen findet über Moses statt. Anmeldeschluss ist der 26. Oktober 2012.

ISIS-Übungsumgebung unter https://www.isis.tu-berlin.de/course/view.php?id=5513

Inhalt

Aussagenlogik und Prädikatenlogik erster Stufe. Für diese werden grundlegende Begriffe wie Äquivalenz, Normalformen, Folgerungen, Ableiten, Widersprüche und die Korrektheit bzw. Vollständigkeit eingeführt. Weiterhin werden die Grundlagen des Theorembeweisens und der Logischen Programmierung vorgestellt.