 |
| Detailinformationen |
| Quellcurriculum |
Bachelorstudium Technische Mathematik 2025W |
| Lernergebnisse |
Kompetenzen |
| (*)The students get acquainted to study, present and discuss techniques to explore and solve problems on symbolic objects (finitary representations of mathematical entities with “infinite semantics”). There are several instances of this course with varying subtitles referring to the concrete topics that are presented in the course. The different topics of the seminars deal with algebraic expressions (computer algebra), logical propositions (computational logic), and computer programs (automatic programming); details can be found in the course announcement.
|
|
| Fertigkeiten |
Kenntnisse |
(*)- Independently study a recent research paper [K2,K3,K5];
- Prepare and deliver a presentation [K2,K4,K5];
- Actively participate in the discussion of research topics [2,K5].
|
(*)Learning research-driven but also practically oriented algorithms, procedures, and tools in computer algebra, computational logic, and automatic programming; software systems (for computer algebra, computer aided design, computer assisted reasoning, knowledge management, etc); usage of symbolic computation tools and its possibilities for problem solving.
|
|
| Beurteilungskriterien |
|
| Abhaltungssprache |
English |
| Lehrinhalte wechselnd? |
Ja |
| Frühere Varianten |
Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
201MASESYMS20: SE Seminar symbolic computation (2020W-2023S)
201MASESYMS18: SE Seminar Symbolisches Rechnen (2018W-2020S)
201SYMRSYMS12: SE Seminar Symbolisches Rechnen (2012W-2018S)
|
| Gilt als absolviert, wenn |
201MASELSDS20: SE Seminar logic and software design (3 ECTS)
|
|
