Nummer

INF3666
Titel

Symbolisches Rechnen
Art der Vorlesung

Wahlpflicht
ECTS 3
Arbeitsaufwand
- Kontaktzeit
- Selbststudium
Arbeitsaufwand:
90 h
Kontaktzeit:
30 h / 2 SWS
Selbststudium:
60 h
Veranstaltungsdauer 1 Semester
Häufigkeit des Angebots Im Wintersemester
Unterrichtssprache Deutsch
Prüfungsform

Vortrag und Ausarbeitung

Lehrform(en) Proseminar
Inhalt

Wechselnde Themenstellungen zu bereits etablierten Methoden des Symbolischen Rechnens aus den Teilgebieten Computer Logik und Computer Algebra. Es wird die selbstständige Einarbeitung in Lehrbücher und wissenschaftliche Literatur und die verständliche Aufbereitung der Inhalte für Fachkollegen geübt.

Qualifikationsziele

Die Studierenden erwerben sowohl soziale als auch technische Grundkompetenzen. Sie arbeiten sich unter Anleitung selbstständig anhand von wissenschaftlicher Literatur in einen Teilbereich des Symbolischen Rechnens ein. Sie fassen technische Inhalte zusammen und präsentieren sie den Teilnehmern in einem Vortrag. Die Zusammenfassung besteht aus Rechner gestützten Vortragsfolien, einer schriftlichen Ausarbeitung und ggf. auch in einer Umsetzung in ein kleines Softwaresystem. Neben der technischen Weiterbildung werden auch soziale Kompetenzen wie Kommunikationsfähigkeit, Moderationskompetenz, rhetorische Fähigkeiten und Kritikfähigkeit gestärkt.

Vergabe von Leistungspunkten/Benotung
Lehrform
Status
SWS
LP
Prüfungsform
Prüfungsdauer
Benotung
Berechnung
Modulnote (%)
Teilnahmevoraussetzungen Es gibt keine besonderen Voraussetzungen.
Dozent/in
Literatur / Sonstiges

Wissenschaftliche Lehrbücher; themenbezogene wissenschaftliche Artikel.

Zuletzt angeboten nicht bekannt
Geplant für derzeit nicht geplant
Zugeordnete Studienbereiche INFM1510, MEINFM1510