Menü
Positionsanzeige
Inhalt

[ 201MASESYMS23 ] SE Symbolic Computation
Versionsauswahl
(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B3 - Bachelor's programme 3. year Mathematics Carsten Schneider 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2025W
Learning Outcomes
Competences
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.
Skills Knowledge
  • 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.
Criteria for evaluation
Language English and French
Changing subject? Yes
Earlier variants They also cover the requirements of the curriculum (from - to)
201MASESYMS20: SE Seminar symbolic computation (2020W-2023S)
201MASESYMS18: SE Seminar symbolic computation (2018W-2020S)
201SYMRSYMS12: SE Seminar symbolic computation (2012W-2018S)
Is completed if (*)201MASELSDS20: SE Seminar logic and software design (3 ECTS)
On-site course
Maximum number of participants 15
Assignment procedure Direct assignment