Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Prüfungsnummer 354690
Studiengang [079] - Informatik
Prüfungsversion [-1] - besondere Verarb.
Abschnitt [G] - Grundstudium
Kurztext FMI-IN3469
Drucktext MM LOG III - 6 LP
Pflichtkennzeichen [WP] - Wahlpflichtfach
Prüfungsform [G] - generiert
Prüfungsart [MO] - Modul
Art der Notengebung [G] - Berechnung nur m. 1 NachK
Inhalt und Qualifikationsziel

Gegenstand des Moduls sind Themen zu:

  • Aussagenlogik
  • Quantifizierte Boolesche Formeln
  • Prädikatenlogik
  • Modallogik und weitere nichtklassische Logiken
  • Beweistheorie
  • Modelltheorie

Gewählt werden kann aus dem Lehrveranstaltungsangebot. Genaue Angaben zum gewählten Lehrinhalt befinden sich im Veranstaltungskommentar zu jeder Lehrveranstaltung.

Lehr- und Lernformen

Vorlesung und/oder Übung im Gesamtumfang von 4 SWS

Die genaue Zusammensetzung ist abhängig von der gewählten Lehrveranstaltung und wird im Vorlesungsverzeichnis angekündigt.

Lehr- und Prüfungssprache

Deutsch, bei Bedarf Englisch

Voraussetzungen für die Teilnahme

keine

Voraussetzungen für die Vergabe von Leistungspunkten

mündliche oder schriftliche Prüfung oder Projektarbeit

Die Prüfungsform richtet sich nach der in diesem Modul gewählten Lehrveranstaltung. Sie wird im Vorlesungsverzeichnis veröffentlicht und von der Lehrperson zu Veranstaltungsbeginn bekannt gegeben.

Impressum | Datenschutzerklärung