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

Einführung in die formale Logik für IMP - Detailseite

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 3313041
Semester SoSe 2021 SWS 2
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfrist Es findet keine Online-Belegung über AGNES statt!
Veranstaltungsformat Keine Angabe

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Mi. 11:00 bis 13:00 wöch 1303 (Seminarraum)
Stockwerk: 1. OG

alttext alttext 		RudCh26-Modul 1 Erwin-Schrödinger-Zentrum - Rudower Chaussee 26 (RUD26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Berkholz findet statt     1000
Gruppe 1:
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Berkholz, Christoph
Studiengänge
Abschluss Studiengang LP Semester
Bachelor of Science  Info, Mathe und Physik Monobachelor ( Vertiefung: kein LA; POVersion: 2019 )   5  -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

Einführung in die mathematische Logik und ihre Anwendungen in der Informatik

Im Einzelnen umfassen die Themen der Vorlesung:

  • Aussagenlogik (Grundlagen, Endlichkeitssatz, Resolution)
  • Prädikatenlogik der 1. Stufe (Grundlagen, Beweiskalkül, Vollständigkeitssatz, Endlichkeitssatz und Anwendungen)
  • Weiterführende Themen (beispielsweise Ehren-feucht-Fraissé Spiele und der Satz von Herbrand)

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2021. Aktuelles Semester: WiSe 2024/25.
Ansprechpartner:innen | Barrierefreiheit | Impressum | Datenschutzerklärung
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin