311.260 (14S) Symbolic Computation

Sommersemester 2014

Anmeldefrist abgelaufen.

Erster Termin der LV
04.03.2014 15:00 - 17:00 N.0.08 On Campus
... keine weiteren Termine bekannt

Überblick

Lehrende/r
LV-Titel englisch Symbolic Computation
LV-Art Vorlesung
Semesterstunde/n 2.0
ECTS-Anrechnungspunkte 3.0
Anmeldungen 0
Organisationseinheit
Unterrichtssprache Deutsch
LV-Beginn 01.03.2014

Zeit und Ort

Liste der Termine wird geladen...

LV-Beschreibung

Lehrmethodik inkl. Einsatz von eLearning-Tools

Vortrag mit Computervorführungen

Inhalt/e

​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.

Themen

  • Groebner Basen (zum Lösen algebraischer Gleichungssysteme u.v.m.)
  • Summieren hypergeometrischer Reihen (Zeilberger-Algorithmus)
  • Faktorisieren von Polynomen

Lehrziel

Die Studierenden sollen in die Lage versetzt werden, mathematische Probleme durch Einsatz moderner Hilfsmittel in Form von Computeralgebrasystemen zu lösen. Durch die Untersuchung von zugrundeliegenden Verfahren sollen die Möglichkeiten und Grenzen von Symbolic Computation aufgezeigt werden.

Erwartete Vorkenntnisse

Algebraische Strukturen

Sonstige Studienbehelfe

vgl. Moodle

Literatur

vgl. Moodle

Prüfungsinformationen

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.

Prüfungsinhalt/e

Gesamter Stoff der Vorlesung

Beurteilungskriterien/-maßstäbe

Mündliche Prüfung

Beurteilungsschema

Note Benotungsschema

Position im Curriculum

  • Masterstudium Angewandte Informatik (SKZ: 911, Version: 13W.1)
    • Fach: Information and System Security (Wahlfach)
      • Symbolic Computation ( 2.0h VK / 4.0 ECTS)
        • 311.260 Symbolic Computation (2.0h VO / 3.0 ECTS)
  • Bachelorstudium Technische Mathematik (SKZ: 201, Version: 12W.2)
    • Fach: Diskrete Mathematik (Wahlfach)
      • Symbolic Computation ( 2.0h VO / 3.0 ECTS)
        • 311.260 Symbolic Computation (2.0h VO / 3.0 ECTS)
  • Bachelorstudium Technische Mathematik und Datenanalyse (SKZ: 201, Version: 03W.3)
    • Fach: Datensicherheit und Kryptologie (Wahlfach)
      • Angewandte Kryptologie ( 2.0h VO / 3.0 ECTS)
        • 311.260 Symbolic Computation (2.0h VO / 3.0 ECTS)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

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