AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden

Ausgewählte Kapitel der Logik: Lokalität - Detailseite

  • Funktionen:
  • Online Belegung noch nicht möglich oder bereits abgeschlossen
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 3313044
Semester WiSe 2019/20 SWS 4
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfristen - Eine Belegung ist online erforderlich
Veranstaltungsformat Präsenz

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer
Di. 15:00 bis 17:00 wöch Erwin Schrödinger-Zentrum /Modul 1 - 1305 Rudower Chaussee 26 (RUD26) - (Unterrichtsraum) Schweikardt findet statt     25
Do. 15:00 bis 17:00 wöch Erwin Schrödinger-Zentrum /Modul 1 - 1305 Rudower Chaussee 26 (RUD26) - (Unterrichtsraum) Schweikardt findet statt     25
Gruppe 1:
Zur Zeit keine Belegung möglich


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Kämpfer, Petra begleitend
Pergl, Gesine begleitend
Schweikardt, Nicole , Prof. Dr. verantwortlich
Studiengänge
Abschluss Studiengang LP Semester
Master of Education (ISS)  Informatik 1. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Master of Education (GYM)  Informatik 1. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Master of Education (ISG)  Informatik 1. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )   -  
Master of Education (BS)  Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Master of Education (ISS)  Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Master of Education (GYM)  Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Master of Education (ISG)  Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )   -  
Master of Science  Informatik Hauptfach ( Vertiefung: kein LA; POVersion: 2015 )   -  
Master of Science  Wirtschaftsinformatik Hauptfach ( Vertiefung: kein LA; POVersion: 2016 )   -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

Die mathematische Logik beschäftigt sich mit den grundlegenden Eigenschaften von formalen Systemen und Sprachen, insbesondere der Ausdrucksstärke von formalen Sprachen und Beweissystemen sowie den Möglichkeiten und Grenzen des automatischen Schließens.
In dieser Vorlesung werden ausgewählte Kapitel der mathematischen Logik und deren Anwendungen in der Informatik im Kontext von Lokalitätsresultaten behandelt. Themen der Vorlesung sind u.a. die Sätze von Gaifman und Hanf und die Anwendung von Lokalitätsresultaten zum Nachweis von Nicht-Ausdrückbarkeitsresultaten und zum Beweis von algorithmischen Meta-Theoremen.
Die Vorlesung richtet sich an fortgeschrittene Studierende in einem Masterstudiengang, die sich im Bereich der Logik spezialisieren wollen. Voraussetzung für die Teilnahme an der Veranstaltung sind Kenntnisse, die in der Vorlesung "Logik in der Informatik" vermittelt werden.

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2019/20. Aktuelles Semester: SoSe 2021.
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin