Module Number

INF3666
Module Title

Symbolic Computing (Proseminar)
Type of Module

Elective Compulsory
ECTS 3
Work load
- Contact time
- Self study
Workload:
90 h
Class time:
30 h / 2 SWS
Self study:
60 h
Duration 1 Semester
Frequency In the winter semester
Language of instruction German
Type of Exam

Presentation and essay

Lecture type(s) Proseminar
Content

Changing topics on already established methods of symbolic computation from the subfields of computer logic and computer algebra. Students will learn how to work independently with textbooks and scientific literature and how to present the contents in a comprehensible way to their peers.

Objectives

The students acquire both social and technical basic skills. Under guidance, they work independently into a sub-area of symbolic computation using scientific literature. They summarise technical content and present it to the participants in a presentation. The summary consists of computer-aided presentation slides, a written elaboration and, if necessary, an implementation in a small software system. In addition to technical training, social skills such as communication skills, moderation skills, rhetorical skills and critical faculties are also strengthened.

Allocation of credits / grading
Type of Class
Status
SWS
Credits
Type of Exam
Exam duration
Evaluation
Calculation
of Module (%)
Prerequisite for participation There are no specific prerequisites.
Lecturer / Other
Literature

Wissenschaftliche Lehrbücher; themenbezogene wissenschaftliche Artikel.

Last offered unknown
Planned for currently not planned
Assigned Study Areas INFM1510, MEINFM1510