Inhalt

[ 201SYMBPLSK23 ] KV Practical in 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 Temur Kutsia 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2025W
Learning Outcomes
Competences
Programming of mathematical/symbolic algorithms in a computer algebra system
Skills Knowledge
  • understanding of specifications of algorithms
  • creating specifications for algorithms
  • implementing algorithms an a concrete computer algebra system
  • documenting algorithms and their implementation
  • documenting a whole project
data structures for polynomials and other symbolic expresssions, programming language of chosen computer algebra system, usual kind of documenting in this system
Criteria for evaluation
Language English and French
Changing subject? Yes
Corresponding lecture (*)201SYMRPSRK20: KV Programming project symbolic computation (3 ECTS)
Earlier variants They also cover the requirements of the curriculum (from - to)
201LOSDPLSK20: KV Practical in Logic and Software Design (2020W-2023S)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment