311.260 (19S) symbolic computation

Sommersemester 2019

Registration deadline has expired.

First course session
05.03.2019 15:00 - 17:00 N.2.01 On Campus
... no further dates known

Overview

Lecturer
Course title german Symbolic Computation
Type Lecture
Hours per Week 2.0
ECTS credits 3.0
Registrations 8
Organisational unit
Language of instruction German
possible language(s) of the assessment German , English
Course begins on 05.03.2019
eLearning Go to Moodle course

Time and place

List of events is loading...

Course Information

Intended learning outcomes

Die Studierenden sind in der Lage, mathematische Probleme durch Einsatz moderner Hilfsmittel in Form von Computeralgebrasystemen zu lösen sowie die dahinterliegenden mathematischen Theorien erklären zu können. Sie kennen die Möglichkeiten und Grenzen von Symbolic Computation.

Teaching methodology including the use of eLearning tools

Vortrag mit Computervorführungen

Course content

Symbolic Computation umfasst jene Bereiche der Computermathematik, die exakte (im Gegensatz zu numerischen) Resultate liefern. Das umfasst nicht nur die Erledigung von "Routine-Aufgaben" wie das Ausmultiplizieren von Polynomen, differenzieren von Funktionen u.v.m., sondern auch gänzlich neue Verfahren, die viele Probleme, die bisher nur durch geschickte Manipulationen mit Papier und Bleistift zu lösen waren, attackieren können.


  • Summieren hypergeometrischer Reihen (Zeilberger-Algorithmus)
  • Gröbner-Basen (Lösung algebraischer Gleichungssysteme)
  • Faktorisierung von Polynomen

Prior knowledge expected

Grundzüge der Algebra (Polynome, Ideale, an einer Stelle endliche Körper), wie sie in der LV Algebraische Strukturen vermittelt werden.

Literature

vgl. Moodle.

Examination information

Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.

Examination methodology

Mündliche Prüfung

Examination topic(s)

Gesamter Stoff der Vorlesung

Assessment criteria / Standards of assessment for examinations

Freie Würdigung der erbrachten Leistungen.

Es können bei der mündlichen Prüfung mitgebrachte Unterlagen konsultiert werden; Art und Umfang der Konsultation gehen die Beurteilung mit ein.

Grading scheme

Grade / Grade grading scheme

Position in the curriculum

  • Master's degree programme Applied Informatics (SKZ: 911, Version: 13W.1)
    • Subject: Information and System Security (Compulsory elective)
      • Symbolic Computation ( 2.0h VK / 4.0 ECTS)
        • 311.260 symbolic computation (2.0h VO / 3.0 ECTS)
  • Bachelorstudium Technische Mathematik (SKZ: 201, Version: 17W.1)
    • Subject: Diskrete Mathematik (Compulsory elective)
      • 10.7 Symbolic Computation ( 2.0h VO / 3.0 ECTS)
        • 311.260 symbolic computation (2.0h VO / 3.0 ECTS)
          Absolvierung im 4., 5., 6. Semester empfohlen
  • Bachelor's degree programme Technical Mathematics (SKZ: 201, Version: 12W.2)
    • Subject: Diskrete Mathematik (Compulsory elective)
      • Symbolic Computation ( 2.0h VO / 3.0 ECTS)
        • 311.260 symbolic computation (2.0h VO / 3.0 ECTS)
  • Masterstudium Mathematics (SKZ: 401, Version: 18W.1)
    • Subject: Discrete Mathematics (Compulsory elective)
      • 6.6 Selected Topics in Algebra and Number Theory ( 2.0h VO / 3.0 ECTS)
        • 311.260 symbolic computation (2.0h VO / 3.0 ECTS)

Equivalent courses for counting the examination attempts

Sommersemester 2023
  • 311.260 VO Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h / 3.0ECTS)
Sommersemester 2014
  • 311.260 VO Symbolic Computation (2.0h / 3.0ECTS)