WIW01210 – Logik und Algorithmierung

Modul
Logik und Algorithmierung
Logic and Algorithmization
Modulnummer
WIW01210
Version: 1
Fakultät
Wirtschaftswissenschaften
Niveau
Diplom
Dauer
1 Semester
Turnus
Sommersemester
Modulverantwortliche/-r

Prof. Dr. Christian-Andreas Schumann
Christian.Schumann(at)fh-zwickau.de
Dozent/-in(nen)

Prof. Dr. Christian-Andreas Schumann
Christian.Schumann(at)fh-zwickau.de
Dozent/-in in: "Logik und Algorithmierung "

Prof. Dr. Stephan Kassel
Stephan.Kassel(at)fh-zwickau.de
Dozent/-in in: "Logik und Algorithmierung "

Prof. Dr. Christoph Laroque
Christoph.Laroque(at)fh-zwickau.de
Dozent/-in in: "Logik und Algorithmierung "

Prof. Dr. Tobias Teich
Tobias.Teich(at)fh-zwickau.de
Dozent/-in in: "Logik und Algorithmierung "
Lehrsprache(n)

Deutsch
in "Logik und Algorithmierung "
ECTS-Credits

8.00 Credits

Workload

240 Stunden

Lehrveranstaltungen

2.40 SWS (2.40 SWS Vorlesung mit integr. Übung / seminaristische Vorlesung)
Selbststudienzeit

204.00 Stunden
204.00 Stunden Selbststudium - Logik und Algorithmierung

Prüfungsvorleistung(en)
Keine
Prüfungsleistung(en)

schriftliche Prüfungsleistung
Modulprüfung | Prüfungsdauer: 90 min | Wichtung: 50%
in "Logik und Algorithmierung "

schriftliche Prüfungsleistung
Modulprüfung | Prüfungsdauer: 90 min | Wichtung: 50%
in "Logik und Algorithmierung "
Medienform
Keine Angabe
Lehrinhalte/Gliederung
  • Klassische Aussagenlogik: Syntax, Semantik, Äquivalenz, Normalformen, Kalkül, Entscheidbarkeit
  • Boolesche Algebra
  • Kombinatorische Schaltungen und deren Minimierung
  • Signaturen, Terme, Algebraische Strukturen Klassische
  • Prädikatenlogik der ersten Stufe: Syntax, Semantik, Äquivalenz, Normalformen, Unentscheidbarkeit
Qualifikationsziele

Die Studierenden verstehen die Rolle der Logik als Sprache zur exakten Formalisierung praktischer Problemstellungen. Sie beherrschen die Grundbegriffe der klassischen Aussagen- und Prädikatenlogik und kennen Anwendungen der Logik in der technischen, praktischen und angewandten Informatik. Sie wissen, dass einige, jedoch nicht alle logisch formalisierbaren Probleme algorithmisch lösbar sind.
Besondere Zulassungsvoraussetzung

keine
Empfohlene Voraussetzungen
Keine Angabe
Fortsetzungsmöglichkeiten
Keine Angabe
Literatur
Keine Angabe
Hinweise
Keine Angabe
Zuordnung zum Curriculum

278 Wirtschaftsinformatik - Diplom 2014 Teilzeit

278 Wirtschaftsinformatik - Diplom 2017 Teilzeit

Detailansicht schließen
© Modulux (Version 4.4)