Technische Universität Ilmenau

Prädikatenlogik - Modultafeln der TU Ilmenau

Die Modultafeln sind ein Informationsangebot zu unseren Studiengängen. Rechtlich verbindliche Angaben zum Verlauf des Studiums entnehmen Sie bitte dem jeweiligen Studienplan (Anlage zur Studienordnung). Bitte beachten Sie diesen rechtlichen Hinweis. Angaben zum Raum und Zeitpunkt der einzelnen Lehrveranstaltungen entnehmen Sie bitte dem aktuellen Vorlesungsverzeichnis.

Fachinformationen zu Fachnummer 7556 - allgemeine Informationen
Fachnummer7556
Fakultät
Fachgebietsnummer2418 (Grundlagen der Mathematik)
Fachverantwortliche(r)Prof. Dr. Jochen Harant
SpracheDeutsch
TurnusWintersemester
VorkenntnisseGrundlagen der Aussagenlogik
LernergebnisseMathematisches Beweisen mit Hilfe eines Computers, Unabhängigkeit von Axiomensystemen
InhaltFormelwelt der Prädikatenlogik, Herbrand-Theorie, Resolution
MedienformenTafel, Folien
LiteraturB. Mates: Elementare Logik - Prädikatenlogik der ersten Stufe. Vandenhoeck & Ruprecht, Göttingen 1997.
Lehrevaluation

Pflichtevaluation:

Freiwillige Evaluation:

Hospitation:

Spezifik im Studiengang Master Mathematik und Wirtschaftsmathematik 2008
FachnamePrädikatenlogik
Prüfungsnummer2400197
Leistungspunkte4
Präsenzstudium (h)34
Selbststudium (h)86
VerpflichtungWahlpflicht
Abschlussmündliche Prüfungsleistung, 30 Minuten
Details zum Abschluss

werden bei Bedarf festgelegt

max. Teilnehmerzahl

Informationen und Handreichungen zur Pflege von Modul- und Fachbeschreibungen durch den Modul- oder Fachverantwortlichen finden Sie auf den Infoseiten zum Modulkatalog.