311.260 (23S) Selected Topics in Discrete Mathematics (Symbolic Computation)

Sommersemester 2023

Anmeldefrist abgelaufen.

Erster Termin der LV
07.03.2023 09:00 - 11:00 N.2.01 On Campus
... keine weiteren Termine bekannt

Überblick

Lehrende/r
LV-Titel englisch Selected Topics in Discrete Mathematics (Symbolic Computation)
LV-Art Vorlesung
LV-Modell Präsenzlehrveranstaltung
Semesterstunde/n 2.0
ECTS-Anrechnungspunkte 3.0
Anmeldungen 14
Organisationseinheit
Unterrichtssprache Englisch
LV-Beginn 07.03.2023
eLearning zum Moodle-Kurs
Anmerkungen

Lehrveranstaltung wird sowohl als Symbolic Computation für das Bachelorstudium als auch als Selected Topics in Discrete Mathematics (Symbolic Computation) fürs Masterstudium angerechnet. Die Unterrichtssprache hängt vom Bedarf ab.

Zeit und Ort

Liste der Termine wird geladen...

LV-Beschreibung

Intendierte Lernergebnisse

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.

Lehrmethodik

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.


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

Erwartete Vorkenntnisse

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

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üfungsmethode/n

Mündliche Prüfung (ca. 30 minutes)

Prüfungsinhalt/e

Inhalt der Vorlesung

Beurteilungskriterien/-maßstäbe

Es wird auf einen vernünftige Kenntnis der Definitionen und Aussagen sowie auf eine eingehendes Verständnis des Stoffes der Vorlesung inklusive Beweise Wert gelegt. Freie Würdigung der erbrachten Leistungen.

Es können bei der mündlichen Prüfung mitgebrachte Folien der Vorlesung (mit Formeln und Algorithmen) sowie zusätzliche Unterlagen mit Formeln konsultiert werden; Art und Umfang der Konsultation gehen die Beurteilung mit ein.

Prüfungsmethode/n

Oral exam (approx. 30 minutes).

Prüfungsinhalt/e

Contents of the lecture.

Beurteilungskriterien/-maßstäbe

Emphasis is laid on reasonable knowledge of the definitions and facts and thorough understanding of the material of the course including the proofs. In case of partial fulfillment, the grade will be awarded freely depending on the knowledge shown. 

For the oral exam, you may bring copies of the slides of the lecture (containing formulae) and additional cheat-sheets containing formulae. How much and what you look up influences the grade.

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 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
  • Bachelorstudium Technische Mathematik (SKZ: 201, Version: 17W.1)
    • Fach: Diskrete Mathematik (Wahlfach)
      • 10.7 Symbolic Computation ( 2.0h VO / 3.0 ECTS)
        • 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
          Absolvierung im 4., 5., 6. Semester empfohlen
  • Bachelorstudium Technische Mathematik (SKZ: 201, Version: 22W.1)
    • Fach: Diskrete Mathematik (Wahlfach)
      • 10.7 Symbolic Computation ( 2.0h VO / 3.0 ECTS)
        • 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
  • Bachelorstudium Technische Mathematik (SKZ: 201, Version: 22W.1)
    • Fach: Angewandte Mathematik (Wahlfach)
      • 11.1 Wahl von weiteren Lehrveranstaltungen aus den Vertiefungsfächern ( 0.0h XX / 12.0 ECTS)
        • 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
  • Masterstudium Mathematics (SKZ: 401, Version: 18W.1)
    • Fach: Discrete Mathematics (Wahlfach)
      • 6.7 Selected Topics in Discrete Mathematics ( 2.0h VO / 3.0 ECTS)
        • 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
  • Masterstudium Mathematics (SKZ: 401, Version: 18W.1)
    • Fach: Applied Mathematics (Wahlfach)
      • Lehrveranstaltungen aus den Vertiefungsfächern ( 0.0h XX / 12.0 ECTS)
        • 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
  • Masterstudium Mathematics (SKZ: 401, Version: 22W.1)
    • Fach: Discrete Mathematics (Wahlfach)
      • 5.7 Selected Topics in Discrete Mathematics ( 2.0h VO / 3.0 ECTS)
        • 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
          Absolvierung im 1., 2., 3. Semester empfohlen
  • Masterstudium Mathematics (SKZ: 401, Version: 22W.1)
    • Fach: Applied Mathematics (Wahlfach)
      • 7.1 Wahl von weiteren Lehrveranstaltungen aus den Vertiefungsfächern ( 0.0h XX / 12.0 ECTS)
        • 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
          Absolvierung im 2., 3. Semester empfohlen

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Sommersemester 2019
  • 311.260 VO Symbolic Computation (2.0h / 3.0ECTS)
Sommersemester 2014
  • 311.260 VO Symbolic Computation (2.0h / 3.0ECTS)